整合描述逻辑与可废止逻辑的不一致本体推理系统

本文主要探讨了一种名为"一种不一致本体的可废止推理系统"（DeRS）的创新方法，该研究发表于2012年的华中科技大学学报（自然科学版）。论文的核心在于利用可废止逻辑的优势，如非单调知识表示、高效的推理能力和线性计算复杂性，来解决描述逻辑在处理不一致本体时的局限性。 描述逻辑通常用于构建和管理语义网中的本体，但在实际应用中，本体可能存在不一致性，即TBox（理论箱）中可能包含矛盾或冲突的信息。DeRS通过将TBox分解为最大的一致公理集和最小的不一致公理集，实现了对不一致性的处理。这个过程首先进行初始化，将一致部分作为硬性规则，不一致部分转化为可废止规则，这些规则被融入到一个可废止理论框架中。 可废止逻辑允许在推理过程中根据新的证据动态调整结论，这种非单调性是描述逻辑所缺乏的特性。作者设计了一套新的可废止推理规则，使得DeRS能够在面对不一致本体时进行有效的推理，确保了推理结果的协调性和可靠性。这种方法还展示了易处理性和可判定性，使得不一致本体的问题处理更加高效且易于实现。 论文的研究成果对于扩展描述逻辑的适用范围和提高语义网的处理能力具有重要意义，尤其是在处理现实世界中复杂和动态变化的信息环境时。通过引入可废止推理，DeRS能够有效地降低不一致本体带来的问题，从而推动了语义Web技术的发展。关键词包括：语义Web、本体、不一致性、非单调推理、描述逻辑以及可废止逻辑，这些都体现了研究的核心内容和关注点。