| 徐国虎,许芳,董慧.基于描述逻辑的本体检错推理研究——以国共合作领域本体为例[J].中国图书馆学报,2008,34(1): |
| 基于描述逻辑的本体检错推理研究——以国共合作领域本体为例 |
| A Study of Ontology Error Checking Reasoning Based on Description Logic |
| |
| DOI： |
| 中文关键词: 描述逻辑，本体检错，领域本体，本体推理，本体库结构，知识描述 |
| 英文关键词: Description logic,Ontology error checking,Domain ontology,Ontology reasoning,Ontology database structure,Knowledge description |
| 基金项目:国家自然科学基金资助项目(批准号70373047)和教育部基地重大课题(批准号05JJD870004)研究成果之一，并得到中南财经政法大学博士引进科研启动基金资助 |
|
| 摘要点击次数: 4466 |
| 全文下载次数: 2474 |
| 中文摘要: |
| 本体检错推理在本体形式化汉语言的描述逻辑基础上，运用Tableau算法对本体的概念层次，声明的实例以及实例间复杂的语义关系进行检测，以保证本体库结构的逻辑一致性和知识描述的正确性。以国共合作领域本体库为例，探讨了本体检错推理的逻辑基础及Tableau算法的原理，分析本体检错推理的内容，并采用描述逻辑推理接口协议DIG集成描述逻辑推理引擎Racer实现了国共合作领域本体检错推理。图1。参考文献8。 |
| 英文摘要: |
| 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. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
