Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms

I. Gocev, G. Meditskos, N. Bassiliades, "Towards Explaining DL Non-entailments by Utilizing Subtree Isomorphisms", Proc. 24th International Conference on Information Integration and Web Intelligence (iiWAS2022), 28-30 Nov 2022, virtual conference, LNCS, vol 13635, Springer, pp. 385–390, 2022.

We present our current state of research on explaining non-entailments by finding isomorphic subtrees of EL-description trees. Our approach extends the set of abducible axioms that consist only of concepts to role restrictions as well. We argue how our approach could find solutions to abduction problems in scenarios where other methods cannot, and illustrate this via an example comparing our approach to existing ones.