摘要翻译：
多年来，非单调规则被证明是一种非常有表现力和有用的知识表示范式。它们最近被用来补充描述逻辑(DLs)的表达能力，导致了集成形式框架的研究，通常被称为混合知识库，其中DL公理和规则都可以用来表示知识。在动态领域中使用这些混合知识库的需要要求开发更新算子，由于描述逻辑和规则通常更新的方式大相径庭，因此更新算子是一项极其困难的任务。在[SL10]中，我们对解决这个问题迈出了第一步，提出了一种混合知识库的更新算子。尽管它很重要--不仅因为它是文献中第一个用于混合知识库的更新操作符，而且因为它有一些应用--但这个操作符是为仅允许更改ABox的受限问题定义的，这大大降低了它的适用性。许多在动态场景中使用混合知识库的应用程序需要更新DL公理和规则。本文从实际应用的角度出发，针对一类混合知识库引入了一种更新算子，在这种混合知识库中，允许DL组件和规则组件进行动态变化。介绍了混合知识库的分裂序列和分裂定理，利用它们定义了模块化更新语义，研究了模块化更新语义的基本性质，并以货物进口为例说明了模块化更新语义的应用。
---
英文标题：
《Splitting and Updating Hybrid Knowledge Bases (Extended Version)》
---
作者：
Martin Slota and Jo\~ao Leite and Terrance Swift
---
最新提交年份：
2011
---
分类信息：

一级分类：Computer Science        计算机科学
二级分类：Artificial Intelligence        人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--

---
英文摘要：
  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.
---
PDF链接：
https://arxiv.org/pdf/1105.0288