基于可拓理论的描述逻辑扩展
传统描述逻辑不适合于处理信息不全、存在隐性知识甚至存在矛盾前提的问题,所以作为语义Web的逻辑基础它是不充分的,为此引入可拓学中的物元及其发散规则对它进行了扩充.首先给出了物元的语义解释,然后引入物元及其发散规则扩充Tableau算法,生成了Tableau-E算法和Tableau-E′算法,从而实现了对实例断言集Abox的扩展以及一致性检测,弥补了传统描述逻辑的不足.
语义Web、描述逻辑、可拓学、物元、发散规则
28
TP18(自动化基础理论)
国家自然科学基金资助项目60673131
2008-09-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
2071-2073,2076