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