混合知识库的拆分与更新（扩展版）
Splitting and Updating Hybrid Knowledge Bases (Extended Version)
摘要：
多年来，非单调规则已被证明是一种非常有表达力且有用的知识表示范式。它们最近被用来补充描述逻辑（DL）的表达能力，导致研究的综合形式框架，通常被称为混合知识库，DL公理和规则都可以用来表示知识。需要使用这些混合知识库在动态领域的发展，要求更新运营商，其中，由于描述逻辑和规则通常更新的方式有很大的不同，已被证明是一个非常困难的任务。在[SL 10]中，采取了解决这个问题的第一步，并提出了混合知识库的更新算子。尽管它的意义-不仅是第一个更新运营商的混合知识库在文献中，但也因为它有一些应用-这个运营商被定义为一个有限的一类问题，只有ABox被允许改变，这大大降低了它的适用性。在动态场景中使用混合知识库的许多应用需要更新DL公理和规则。在本文中，现实世界的应用程序的动机，我们引入了一个大类的混合知识库的DL组件以及规则组件允许动态变化的更新操作。我们介绍了分裂序列和分裂定理的混合知识库，使用它们来定义一个模块化的更新语义，研究其基本性质，并说明其使用的一个现实的例子，货物进口。
英文摘要：
Over the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to as hybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use these hybrid knowledge bases in dynamic domains has called for the development of update operators, which, given the substantially different way Description Logics and rules are usually updated, has turned out to be an extremely difficult task. In [SL10], a first step towards addressing this problem was taken, and an update operator for hybrid knowledge bases was proposed. Despite its significance -- not only for being the first update operator for hybrid knowledge bases in the literature, but also because it has some applications - this operator was defined for a restricted class of problems where only the ABox was allowed to change, which considerably diminished its applicability. Many applications that use hybrid knowledge bases in dynamic scenarios require both DL axioms and rules to be updated. In this paper, motivated by real world applications, we introduce an update operator for a large class of hybrid knowledge bases where both the DL component as well as the rule component are allowed to dynamically change. We introduce splitting sequences and splitting theorem for hybrid knowledge bases, use them to define a modular update semantics, investigate its basic properties, and illustrate its use on a realistic example about cargo imports.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
