基于描述逻辑的本体调试关键技术的研究

描述逻辑是一阶谓词逻辑的可判定子集，具有强大的推理机支持。它被看成是一种重要的本体语言，为Web本体语言OWL提供逻辑基础。但是，它继承了一阶谓词逻辑的一个弱点，就是不能够处理逻辑不一致性。本体调试为解决这一弱点提供了实际解决方案。近年来，国内外对本体调试的工作取得了一些研究成果，并被用于处理一些现实的本体。但是，要使得本体调试工具能够处理大规模本体并在实际应用中发挥作用，我们还需要解决本体调试的可伸缩性和调试结果的易懂性等关键问题。本项目首先研究基于描述逻辑的本体调试新算法和提升本体调试可伸缩性的优化技术。为了避免本体更新时的重复计算，研究递增式本体调试技术。最后，为了设计用户友好的本体调试工具，研究如何改进已有的可视化技术，以图形化的形式展示调试结果。本项目的研究成果对描述逻辑的理论研究和在语义Web及其他领域的成功应用发挥重要作用。

描述逻辑是一阶谓词逻辑的可判定子集，具有强大的推理机支持。它被看成是一种重要的本体语言，为Web本体语言OWL提供逻辑基础。描述逻辑已经被广泛应用于语义Web、医疗等领域，用于知识的建模。虽然描述逻辑具有较强的知识表示能力，它继承了一阶谓词逻辑的一个弱点，就是不能够处理逻辑不一致性。本体调试为解决这一弱点提供了实际解决方案。近年来，国内外对本体调试的工作取得了一些研究成果，并被用于处理一些现实的本体。但是，要使得本体调试工具能够处理大规模本体并在实际应用中发挥作用，我们还需要解决本体调试的可伸缩性和动态性等关键问题。本项目将研究对大规模OWL本体调试的创新技术，并且考虑在本体变化的情况下如何对本体进行调试。首先提出了描述逻辑DL-Lite和EL+ 中本体调试新算法和提升本体调试可伸缩性的优化技术。实验证明新的算法和优化技术对Snomed CT和UOBM等超过百万公理的本体调试是高效的。其次提出了针对OWL 2 RL的并行调试技术。实验证明并行调试算法可以处理LUBM1000等上亿三元组的本体调试。为了避免本体更新时的重复计算，研究递增式本体调试技术。实验说明该递增式调试技术可以有效避免重复计算，提高调试效率。本项目的研究成果对描述逻辑的理论研究和在语义Web及其他领域的成功应用发挥重要作用。