论文部分内容阅读
利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统(简称为DeRS).DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.
By using the advantages of non-monotonic knowledge representation and reasoning ability of abolished logic, linear computational complexity and easy implementation, this paper proposes an inconsistent ontology abolished reasoning system (DeRS) by integrating descriptive logic and abolished logic .DeRS Using the ontology defined by the description logic and the abolished theory to model the domain problem, the TBox is divided into the largest consistent axiom and the smallest inconsistent axiom, and then initialized. Then the axioms of consistent axioms and The axioms of inconsistent axioms are respectively mapped into hard rules and abolished rules, and added to the abolished theories. Finally, non-monotonic absurd inferences are finally solved with the newly defined absconded inference rules, thus solving the inconsistent ontology reasoning problem and making up Described the logic in the non-monotonic aspects of the deficiencies.The results show that DeRS has the basic nature of coordination, ease of handling, judgability, reliability and so on.