A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello · 2004
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in DL. We also analyze the computational complexity of the problems, showing that the upper bound of our approach meets the complexity lower bound. The work is motivated by the need to offer a uniform approach to reasoning services useful in semantic-based matchmaking scenarios.