Title :
The Application of Reasoning Techniques in Ontology Design
Author :
Zhao, Ailing ; Wang, Suihua
Author_Institution :
Coll. of Comput. & Inf. Technol., Henan Normal Univ., Xinxiang, China
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.
Keywords :
formal logic; inference mechanisms; knowledge representation languages; ontologies (artificial intelligence); OWL; description logic reasoners; expressive ontology languages; ontology design; reasoning techniques; web ontology language; Application software; Computer security; Decision making; Design methodology; Information security; Large-scale systems; Logic design; OWL; Ontologies; Process design; description logic; ontology design; reasoning;
Conference_Titel :
Multimedia Information Networking and Security, 2009. MINES '09. International Conference on
Conference_Location :
Hubei
Print_ISBN :
978-0-7695-3843-3
Electronic_ISBN :
978-1-4244-5068-8
DOI :
10.1109/MINES.2009.47
