摘要
利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统(简称为DeRS).DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.
By using the defeasible logic＇s advantages of the capability in non-monotonicly representing and reasoning knowledge, the linear complexity and ease of implementation, a defeasible reasoning system for inconsistent ontologies （DeRS） was proposed, in which description logics was integrated with defeasible logic. DeRS constructs domain problems＇ hybrid knowledge bases consisting of ontologies defined by description logics and defeasible theories. A TBox in description logics was partitioned into a maximal consistent axioms set and a minimal inconsistent axioms set. After both of them being initialized, each axiom in the initialized consistent set was mapped into a strict rule while each axiom in another set was mapped into a defeasible rule by employing the different transforming algorithms respectively, and all of the produced rules were appended to the defeasible theory. In the end, the nonmonotonic defeasible reasoning was performed in the light of the defeasible inference conditions defined in this paper. In this way, the inferring from inconsistent ontologies was implemented and the lack of description logicsr nonmonotonicity was supplied. Theoretical proofs show that DeRS satisfies some basic properties, such as coherence, tractability, decidability, and soundness, etc.
出处
《华中科技大学学报（自然科学版）》
EI
CAS
CSCD
北大核心
2012年第1期40-44,共5页
Journal of Huazhong University of Science and Technology(Natural Science Edition)
基金
广东省自然科学基金资助项目(10252500002000001)
广东省教育部产学研结合项目(2010B090400235)
广东省科技计划资助项目(2011B010200011)
关键词
语义WEB
本体
不一致性
非单调推理
描述逻辑
可废止逻辑
semantic Web
ontologies
inconsistency
nonmonotonic reasoning
description logics
defeasible logic
