东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 期刊 > 期刊详情页

带传递关系和存在量词的描述逻辑MSC推理

期刊名称：计算机研究与发展, 2009, 已录用
时间：0
分类：TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
作者机构：[1]广西师范大学计算机科学与信息工程学院,广西桂林541004, [2]中国科学院计算机科学国家重点实验室,北京100190
相关基金：国家自然科学基金项目（60663001,60573010,60673135）;中国科学院计算机科学国家重点实验室开放课题项目（SYSKF0904）;广西自然科学基金项目（桂科青0640030,桂科自0991100）;广西科学研究与技术开发计划基金项目（桂科攻0719001-11）
相关项目：程序及代数结构的逻辑性质

关键词：描述逻辑, 传递关系, 存在量词, MSC, 描述树, 描述图, description logic, transitive role,, existential restriction, MSC, description tree, description graph

中文摘要：

分析了描述逻辑非标准推理的重要性，特别分析了描述逻辑MSC推理的研究现状和存在的问题．针对目前描述逻辑MSC推理不能同时处理传递关系和存在量词的不足，研究了带传递关系和存在量词的描述逻辑εL＋的MSC推理问题．提出了一种新的εL＋描述图，利用描述树和描述图给出了描述逻辑εL＋的MSC近似推理算法，并利用εL＋-描述树同态和εL＋描述树描述图同态证明了MSC近似推理算法的正确性．作为一个附带的结果，利用εL＋-描述树描述图同态给出了εL＋的实例推理算法，也证明了实例推理算法的正确性．

英文摘要：

Description logic is a logical reconstruction of the flame-based knowledge representation languages, with the aim of providing simple well-established declarative semantics to capture the meaning of structured representation of knowledge. The fundamentality of non-standard inferences in description logic, especially the current research progress and existing problems of the MSC （most specific concept） inference in description logic, are analyzed in this paper. Aiming at the insufficiency of the MSC inference in description logics which can not deal with transitive roles and existential restrictions, the MSC inference for description logic with transitive roles and existential restrictions εL＋ is studied. A kind of new εL＋-description graph is presented. The inference algorithm of approximating MSC in description logic with transitive roles and existential restrictions εL^＋ is presented using description tree and description graph, and its correctness is proved using εL＋ description trees homomorphism and description graph homomorphism. As a by-product, the instance reasoning algorithm in description logic with transitive roles and existential restrictions εL＋ is presented using εL＋ -description tree and description graph homomorphism, and its correctness is also proved. Theoretical foundation for the MSC inference for more expressive description logics such as ALe is provided through the MSC inference algorithm of εL＋.

同期刊论文项目