The Application of Reasoning Techniques in Ontology Design
Ailing Zhao, Suihua Wang · 2009
Description logic reasoners can detect logical contradictions in the ontologies specified in a certain web ontology language, such as OWL. This paper discusses some reasoning problems involved in the process of ontology design and describes them in description logic. Due to the close relationship between the expressive ontology languages and description logic, description logic reasoners can find out some important implicit information in ontologies, such as classification relations and logical contradictions, etc. which can assist ontology engineers to design consistent and well-structured ontologies.