@article{Del-Pinto_Schmidt_2019, title={ABox Abduction via Forgetting in ALC}, volume={33}, url={https://ojs.aaai.org/index.php/AAAI/article/view/4128}, DOI={10.1609/aaai.v33i01.33012768}, abstractNote={<p>Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge. This paper investigates the use of forgetting, also known as uniform interpolation, to perform ABox abduction in description logic (<em>ALC</em>) ontologies. Non-abducibles are specified by a forgetting signature which can contain concept, but not role, symbols. The resulting hypotheses are semantically minimal and consist of a disjunction of ABox axioms. These disjuncts are each independent explanations, and are not redundant with respect to the background ontology or the other disjuncts, representing a form of hypothesis space. The observations and hypotheses handled by the method can contain both atomic or complex <em>ALC</em> concepts, excluding role assertions, and are not restricted to Horn clauses. Two approaches to redundancy elimination are explored in practice: full and approximate. Using a prototype implementation, experiments were performed over a corpus of real world ontologies to investigate the practicality of both approaches across several settings.</p>}, number={01}, journal={Proceedings of the AAAI Conference on Artificial Intelligence}, author={Del-Pinto, Warren and Schmidt, Renate A.}, year={2019}, month={Jul.}, pages={2768-2775} }