@online{Haifani2205.08449,
TITLE = {Connection-minimal Abduction in {EL} via Translation to {FOL} -- Technical Report},
AUTHOR = {Haifani, Fajar and Koopmann, Patrick and Tourret, Sophie and Weidenbach, Christoph},
LANGUAGE = {eng},
URL = {https://arxiv.org/abs/2205.08449},
EPRINT = {2205.08449},
EPRINTTYPE = {arXiv},
YEAR = {2022},
ABSTRACT = {Abduction in description logics finds extensions of a knowledge base to make<br>it entail an observation. As such, it can be used to explain why the<br>observation does not follow, to repair incomplete knowledge bases, and to<br>provide possible explanations for unexpected observations. We consider TBox<br>abduction in the lightweight description logic EL, where the observation is a<br>concept inclusion and the background knowledge is a TBox, i.e., a set of<br>concept inclusions. To avoid useless answers, such problems usually come with<br>further restrictions on the solution space and/or minimality criteria that help<br>sort the chaff from the grain. We argue that existing minimality notions are<br>insufficient, and introduce connection minimality. This criterion follows<br>Occam's razor by rejecting hypotheses that use concept inclusions unrelated to<br>the problem at hand. We show how to compute a special class of<br>connection-minimal hypotheses in a sound and complete way. Our technique is<br>based on a translation to first-order logic, and constructs hypotheses based on<br>prime implicates. We evaluate a prototype implementation of our approach on<br>ontologies from the medical domain.<br>},
}