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 andMost 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.

A Unified Framework for Non-standard Reasoning Services in Description Logics / Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Ragone, Azzurra. - STAMPA. - 215:(2010), pp. 479-484. (Intervento presentato al convegno 19th European Conference on Artificial Intelligence, ECAI 2010 tenutosi a Lisbon, Portugal nel August 16-20, 2010) [10.3233/978-1-60750-606-5-479].

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

Simona Colucci;Tommaso Di Noia;Eugenio Di Sciascio;Francesco M. Donini;
2010-01-01

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 andMost 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.
2010
19th European Conference on Artificial Intelligence, ECAI 2010
978-1-60750-605-8
A Unified Framework for Non-standard Reasoning Services in Description Logics / Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio; Donini, Francesco M.; Ragone, Azzurra. - STAMPA. - 215:(2010), pp. 479-484. (Intervento presentato al convegno 19th European Conference on Artificial Intelligence, ECAI 2010 tenutosi a Lisbon, Portugal nel August 16-20, 2010) [10.3233/978-1-60750-606-5-479].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11589/15415
Citazioni
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 4
social impact