论文标题
通过翻译到FOL的连接最小绑架 - 技术报告
Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
论文作者
论文摘要
描述逻辑中的绑架发现了知识库的扩展，以使其需要观察。因此，它可以用来解释为什么观察结果不遵循，修复不完整的知识库，并为意外观察提供可能的解释。我们考虑了轻量级描述中的Tbox绑架逻辑EL，其中观察是一个概念包含，背景知识是Tbox，即一组概念包含。为了避免无用的答案，此类问题通常会对解决方案空间和/或最小值标准的进一步限制，这些问题有助于从谷物中分类谷壳。我们认为，现有的最小概念不足，并且引入了连接最小的概念。该标准通过拒绝使用与当前问题无关的概念包含物的假设来遵循OCCAM的剃须刀。我们展示了如何以声音和完整的方式计算特殊的连接最小假设。我们的技术基于对一阶逻辑的翻译，并基于主要含义构建假设。我们评估了从医学领域的本体论方法的原型实施。
Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to repair incomplete knowledge bases, and to provide possible explanations for unexpected observations. We consider TBox abduction in the lightweight description logic EL, where the observation is a concept inclusion and the background knowledge is a TBox, i.e., a set of concept inclusions. To avoid useless answers, such problems usually come with further restrictions on the solution space and/or minimality criteria that help sort the chaff from the grain. We argue that existing minimality notions are insufficient, and introduce connection minimality. This criterion follows Occam's razor by rejecting hypotheses that use concept inclusions unrelated to the problem at hand. We show how to compute a special class of connection-minimal hypotheses in a sound and complete way. Our technique is based on a translation to first-order logic, and constructs hypotheses based on prime implicates. We evaluate a prototype implementation of our approach on ontologies from the medical domain.
