A Unified Framework for Non-standard Reasoning Services in Description Logics

  • Authors:

  • Simona Colucci;Tommaso Di Noia;Eugenio Di Sciascio;Francesco M. Donini;Azzurra Ragone

  • Affiliations:

  • Politecnico di Bari, Italy, email: s.colucci@poliba.it;Politecnico di Bari, Italy, email: t.dinoia@poliba.it;Politecnico di Bari, Italy, email: disciascio@poliba.it;Università della Tuscia, Viterbo, Italy, email: donini@unitus.it;Politecnico di Bari, Italy, email: a.ragone@poliba.it

  • Venue:
  • Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Non-standard reasoning in Description Logics (DLs) comprises computing a Least Common Subsumer (LCS), a Concept Difference, a Concept Unifier, or an Interpolant Concept, to name a few. Although some reasoning services have been unified already (e.g., LCS and Most Specific Concept), the definition of non-standard problems and the computation that solve them are very different from each other. We propose to unify the definitions of non-standard services as special Second-order sentences in DLs; when the solution concepts are optimal with respect to some preferences, a fixpoint replaces the Second-order quantification. Moreover, we propose to combine the well-known Tableaux calculi for DLs with rules that compute substitutions of Concept Variables. We prove soundness and completeness of the combined calculus and we give a sufficient condition for termination, which covers some non-trivial cases.