一种面向DL-Lite本体原子断言的不一致度量算法

摘要：

本体在语义web中扮演很重要的角色.本体的重用、合并或者进一步扩展都有可能导致本体不一致.度量不一致可以为解决本体不一致提供一些额外的信息.目前很多度量不一致度的方法都是基于复杂的描述逻辑,不适合具有大数据量的本体.本文从简单的描述逻辑DL-Lite入手,通过分析DL-Lite的特点.给出了原子断言不一致度的定义和一种能够有效计算原子断言不一致度的算法.算法复杂度的分析及实际的应用表明该方法是有意义的.

关键词：DL-Lite、度量不一致、原子断言

所属期刊栏目：46

分类号：TP18(自动化基础理论)

资助基金：国家"973"重点基础研究发展计划2007CB307100,2007CB307106;北京市科技计划项目Z09050600910902

在线出版日期：2010-06-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：115-121