论文标题
基于签名的绑架表达描述逻辑 - 技术报告
Signature-Based Abduction for Expressive Description Logics -- Technical Report
论文作者
论文摘要
基于签名的绑架旨在在指定的名称集（签名）上建立假设，该名称签名解释了相对于某些背景知识的观察。这种类型的绑架对于诸如诊断之类的任务很有用，在这些任务中，用于观察到的症状的词汇与期望解释这些症状的词汇不同。我们提出了第一个完整的方法解决基于签名的绑架，以表达在表达性描述逻辑ALC中表达的观测值，该观察值可以包括Tbox和Abox公理，从而解决了知识基础绑架问题。该方法可以保证计算有限且完整的假设，并在一组现实的知识库中进行评估。
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge. This type of abduction is useful for tasks such as diagnosis, where the vocabulary used for observed symptoms differs from the vocabulary expected to explain those symptoms. We present the first complete method solving signature-based abduction for observations expressed in the expressive description logic ALC, which can include TBox and ABox axioms, thereby solving the knowledge base abduction problem. The method is guaranteed to compute a finite and complete set of hypotheses, and is evaluated on a set of realistic knowledge bases.
