Title: The Application of Reasoning Techniques in Ontology Design
Abstract: 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.
Publication Year: 2009
Publication Date: 2009-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot