论文部分内容阅读
下一代语义网使用本体来表示知识，引入规则来增强知识表达力和自动推理能力。OWL-DL与SWRL分别是语义网中应用最广泛的本体语言和规则语言，两者的结合具有强大的知识表达力。但由于SWRL规则的推理不可判定，无法得到可靠的推理算法，限制了其应用。德国卡尔斯鲁厄大学的Boris Motik等人将OWL-DL对应的描述逻辑SHOIN(D)与规则结合，通过将规则限制在所谓的“DL-safe规则”(事实上是SWRL的一个可判定子集)范围内，提出了一种可满足性检测可判定的推理算法。但是在实际应用中仍有大量含规则知识库因其规则集不满足“DL-safe规则”的严格限制而无法使用上述推理算法，本文旨在确保含规则知识库的可满足性检测可判定的前提下，对“DL-safe规则”的限制进行放松，使知识表示及推理的应用范围扩大。主要内容包括以下四个方面：
(1)针对含规则知识库中因复合关系的使用被隐式引入到ABox中的个体(称匿名个体)，对“DL-safe规则”进行了放松，提出了“放松DL-safe规则”的定义。
(2)形式化证明了含“放松DL-safe规则”知识库的可满足性检测是可判定的。
(3)为了使含“放松DL-safe规则”知识库仍能运用Boris Motik等人提出的推理算法，提出了一个判断转换算法AJC，该算法不仅能判断含规则知识库是否满足“放松DL-safe规则”，而且能将满足“放松DL-safe规则”的知识库等价转换为满足“DL-safe规则”的知识库；同时分析了算法时间复杂度。
(4)在以上理论研究的基础上，开发了实现AJC算法的原型工具KBRC，并通过实验进行了案例研究，验证了算法的有效性与时间复杂度。
研究结果表明：“放松DL-safe规则”涵盖了Boris Motik等人提出的“DL-safe规则”，依然是SWRL，规则的一个可判定子集。研究成果可满足性检测可判定的含规则知识库中的规则限制有了一定的放松，从而使Boris Motik等人提出的推理算法可应用于更一般的含规则知识库，亦即可应用于语义网上更普遍的场合。