Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts. Since its introduction in 1992, LCS have been successfully employed as a logical tool for a variety of applications, spanning from inductive learning, to bottom-up construction of knowledge bases, information retrieval, to name a few. The best known algorithm for computing LCS uses structural comparison on normal forms, and the most expressive DL it is applied to is ALEN. We provide a general tableau-based calculus for computing LCS, via substitutions on concept terms containing concept variables. We show the applicability of our method to an expressive DL (but without disjunction and full negation), discuss complexity issues, and show the generality of our proposal.

A Tableaux-based method for computing least common subsumers for expressive description logics / Donini, F. M.; Colucci, Simona; DI NOIA, Tommaso; DI SCIASCIO, Eugenio. - In: IJCAI. - ISSN 1045-0823. - 477:(2009), pp. 739-745. (Intervento presentato al convegno 21st International Joint Conference on Artificial Intelligence, IJCAI-09 tenutosi a Pasadena, CA, USA nel July 11-17, 2009).

A Tableaux-based method for computing least common subsumers for expressive description logics

COLUCCI, Simona;DI NOIA, Tommaso;DI SCIASCIO, Eugenio
2009-01-01

Abstract

Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts. Since its introduction in 1992, LCS have been successfully employed as a logical tool for a variety of applications, spanning from inductive learning, to bottom-up construction of knowledge bases, information retrieval, to name a few. The best known algorithm for computing LCS uses structural comparison on normal forms, and the most expressive DL it is applied to is ALEN. We provide a general tableau-based calculus for computing LCS, via substitutions on concept terms containing concept variables. We show the applicability of our method to an expressive DL (but without disjunction and full negation), discuss complexity issues, and show the generality of our proposal.
2009
21st International Joint Conference on Artificial Intelligence, IJCAI-09
978-1-57735-426-0
A Tableaux-based method for computing least common subsumers for expressive description logics / Donini, F. M.; Colucci, Simona; DI NOIA, Tommaso; DI SCIASCIO, Eugenio. - In: IJCAI. - ISSN 1045-0823. - 477:(2009), pp. 739-745. (Intervento presentato al convegno 21st International Joint Conference on Artificial Intelligence, IJCAI-09 tenutosi a Pasadena, CA, USA nel July 11-17, 2009).
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/21211
Citazioni
  • Scopus 19
  • ???jsp.display-item.citation.isi??? 8
social impact