描述逻辑与可废止逻辑整合的不一致本体非单调推理方法

摘要

本发明名称为“描述逻辑与可废止逻辑整合的不一致本体非单调推理方法”，属于计算机应用技术领域。在语义Web环境中，本体往往是不一致的，但描述逻辑及描述逻辑推理机都无法对其进行非单调推理。本发明利用可废止逻辑非单调的知识表示和推理及线性的计算复杂性和易于实现等优点，将其与描述逻辑进行整合，从而有效解决上述问题。本发明首先使用这两种逻辑对领域问题进行混合建模，并将描述逻辑的TBox划分为最大一致公理集和最小不一致公理集，然后利用两个转换算法，将公理集映射为可废止逻辑相应的规则，并添加到可废止逻辑中，最后利用可废止逻辑原有的规则和新增的四个可废止推理规则进行非单调推理。本发明在语义Web中具有广阔的应用前景。