Description logic based quantifier restriction and query of an OWL ontology

It is important to represent the knowledge residing on WWW in a uniform manner understandable by both man and machine to make it semantic. Thus some taxonomy is needed to make representations of the web contents which can be machine readable and usable .This taxonomy can be thought of as ontology. This paper proposes to relate Description logic (DL) and Web ontology language (OWL) based Ontology and demonstrate how a OWL ontology quantifier description can enable DL query to generate inferences there by demonstrating the machine interpretability aspect of the ontology and thus render support to the Semantic web