基于描述逻辑的本体检错推理研究——以国共合作领域本体为例

发布时间：2018-11-28 20:04

【摘要】：本体检错推理在本体形式化汉语言的描述逻辑基础上,运用Tableau算法对本体的概念层次,声明的实例以及实例间复杂的语义关系进行检测,以保证本体库结构的逻辑一致性和知识描述的正确性。以国共合作领域本体库为例,探讨了本体检错推理的逻辑基础及Tableau算法的原理,分析本体检错推理的内容,并采用描述逻辑推理接口协议DIG集成描述逻辑推理引擎Racer实现了国共合作领域本体检错推理。
[Abstract]:On the basis of description logic of ontology formal Chinese language ontology error detection reasoning uses Tableau algorithm to detect ontology concept hierarchy declared examples and complex semantic relations between instances. In order to ensure the logical consistency of ontology library structure and the correctness of knowledge description. Taking the ontology library in the field of cooperation between the Kuomintang and Communist Party as an example, this paper discusses the logical basis of ontology error detection reasoning and the principle of Tableau algorithm, and analyzes the content of ontology error detection reasoning. The DIG integrated description logic inference engine Racer is used to realize the ontology error detection reasoning in the field of KMT cooperation.
【作者单位】：
【基金】：国家自然科学基金(批准号70373047) 教育部基地重大课题(批准号05JJD870004)研究成果之一 中南财经政法大学博士引进科研启动基金资助
【分类号】：B812

【参考文献】

相关硕士学位论文 前1条

1 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年

【共引文献】

相关硕士学位论文 前3条

1 董小峰;面向服务的企业数据语义检索技术研究[D];西北工业大学;2006年

2 蔡凤真;汉语通用数据库接口的研究与实现[D];中国石油大学;2007年

3 马雪;基于本体的隐性知识管理系统研究[D];西北大学;2008年

【二级参考文献】

相关期刊论文 前3条

1 史忠植,蒋运承,张海俊,董明楷;基于描述逻辑的主体服务匹配[J];计算机学报;2004年05期

2 袁梅宇;本体在信息交换中的建模方法[J];计算机应用研究;2004年02期

3 李浩,沈琦;Semantic Web与Agent的共生及融合[J];微机发展;2003年11期

【相似文献】

相关期刊论文 前6条

1 D.索博维拉;宇杰;;哲学与社会科学[J];世界哲学;1989年03期

2 张一兵;科学地理解人在社会历史发展中的主体地位[J];哲学动态;1994年07期

3 敬文东;迫不得已的文学史[J];读书;1998年09期

4 陈久和;遥感图像在师范地理教学中的应用研究[J];德州学院学报;2001年04期

5 李培,贺娇;OIL:构建语义网络的一种基础本体语言[J];情报科学;2004年10期

6 丘威;张立臣;;本体语言研究综述[J];情报杂志;2006年07期

相关会议论文 前6条

1 何召卫;陈俊亮;;本体相似研究综述[A];2005通信理论与技术新进展——第十届全国青年通信学术会议论文集[C];2005年

2 李勇;苏森;杨放春;;一种基于本体的Parlay业务能力自动发现机制[A];中国通信学会信息通信网络技术委员会2005年年会论文集[C];2005年

3 林培光;刘弘;樊孝忠;王涛;;一种新的语义网信息检索方法(英文)[A];全国语域web与本体能研讨会论文集[C];2006年

4 康达周;徐宝文;陆建江;李言辉;;支持语义web模糊本体的描述逻辑(英文)[A];全国语域web与本体能研讨会论文集[C];2006年

5 吴善明;沈建京;;本体驱动的分布式地理信息网络服务链[A];2007中国控制与决策学术年会论文集[C];2007年

6 吴伟蔚;陈力华;徐兆坤;刘长虹;;基于语义Web的交通信息系统[A];2007年中国智能自动化会议论文集[C];2007年

相关博士学位论文 前10条

1 贾育;基于演于构件的软件复用方法[D];中国科学院研究生院（软件研究所）;2002年

2 王真星;基于本体的计算机支持协同学习关键技术研究[D];复旦大学;2003年

3 胡鹤;本体方法及其时空推理应用研究[D];吉林大学;2004年

4 陈华钧;Web语义查询与推理研究[D];浙江大学;2004年

5 景东升;基于本体的地理空间信息语义表达和服务研究[D];中国科学院研究生院（遥感应用研究所）;2005年

6 马峻;产品协同设计过程中关键技术的研究与实现[D];西安理工大学;2005年

7 付相君;基于本体和Semantic Web技术的产品知识集成基础研究[D];浙江大学;2005年

8 于海波;基于规则和本体的应用安全策略研究[D];吉林大学;2006年

9 林松涛;模块化本体建设研究[D];北京邮电大学;2006年

10 韩永国;知识网格及其教育应用的关键技术研究[D];电子科技大学;2006年

相关硕士学位论文 前10条

1 夏俊;语义Web中基于本体知识库系统的自动推理研究[D];合肥工业大学;2004年

2 甘健侯;基于本体的语义Web知识发现及其应用的研究[D];云南师范大学;2004年

3 王乐;基于本体的服装企业信息交互的研究[D];东华大学;2005年

4 杨丽波;语义Web服务执行引擎设计[D];吉林大学;2005年

5 朱红梅;模型资源的语义表示和应用研究[D];山东科技大学;2005年

6 王鹏超;基于规划的语义Web服务组合[D];吉林大学;2005年

7 任涛;基于本体和描述逻辑的Web服务查找技术研究[D];山东大学;2005年

8 文斌;基于描述逻辑的语义Web知识推理研究[D];云南师范大学;2005年

9 李慧;语义Web服务发现机制的研究[D];江苏大学;2005年

10 吴昊;基于本体论的知识推理查询系统的研究[D];江苏大学;2005年

，

本文编号：2364112