The Application of Reasoning Techniques in Ontology Design

摘要：

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 wellstructured ontologies.

关键词： reasoning description logic ontology design

作者: Ailing Zhao Suihua Wang

作者单位: College of Computer and Information Technology Henan Normal University, Xinxiang, China

会议类型: 国际会议

会议名称: The First International Conference on Multimedia Information Networking and Security(第一届国际多媒体网络信息安全会议 MINES 2009)

会议地点: 武汉

会议语种:英文

页码: 1254-1257

在线出版日期: 2009-11-18（万方平台首次上网日期，不代表论文的发表时间）