表达性描述逻辑的基于签名的溯因--技术报告
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
