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

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