徐国虎,许芳,董慧.基于描述逻辑的本体检错推理研究——以国共合作领域本体为例[J].中国图书馆学报,2008,34(1):
A Study of Ontology Error Checking Reasoning Based on Description Logic
基于描述逻辑的本体检错推理研究——以国共合作领域本体为例
  
DOI:
Key words:Description logic,Ontology error checking,Domain ontology,Ontology reasoning,Ontology database structure,Knowledge description
中文关键词:  描述逻辑,本体检错,领域本体,本体推理,本体库结构,知识描述
基金项目:国家自然科学基金资助项目(批准号70373047)和教育部基地重大课题(批准号05JJD870004)研究成果之一,并得到中南财经政法大学博士引进科研启动基金资助
Author NameAffiliation
Xu Guohu 中南财经政法大学工商管理学院武汉 430064 
Xu Fang 中南民族大学管理学院武汉 430074 
Dong Hui 武汉大学信息管理学院武汉 430072 
Hits: 4436
Download times: 2457
Abstract:
In this paper, the authors introduce the definition of ontology error checking reasoning. Taking the domain ontology database of the Cooperation between Kuomintang and the Communist Party of China as an example, the authors analyze the logical basis of ontology error checking reasoning and the principles of Tableau algorithm, analyze the contents of ontology error checking reasoning, and realize the error checking reasoning for the domain ontology of the Cooperation between Kuomintang and the Communist Party of China by using the description logic reasoning interface protocol DGI and integrted description logic reasoning engine Racer. 1 fig. 8 refs.
中文摘要:
      本体检错推理在本体形式化汉语言的描述逻辑基础上,运用Tableau算法对本体的概念层次,声明的实例以及实例间复杂的语义关系进行检测,以保证本体库结构的逻辑一致性和知识描述的正确性。以国共合作领域本体库为例,探讨了本体检错推理的逻辑基础及Tableau算法的原理,分析本体检错推理的内容,并采用描述逻辑推理接口协议DIG集成描述逻辑推理引擎Racer实现了国共合作领域本体检错推理。图1。参考文献8。
View Full Text   View/Add Comment  Download reader