A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics

Donini, Francesco M.; Colucci, Simona; Di Noia, Tommaso; Di Sciascio, Eugenio

A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics

Francesco M. Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

Download BibTeX Cite

Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence. Pages 739-744.

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.Francesco Maria Donini, Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio

Francesco M. Donini, Simona Colucci, Tommaso Di Noia, and Eugenio Di Sciascio. 2009. A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics. In Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09. IJCAI, 739–744. https://ijcai.org/proceedings/2009/128

@inproceedings{ijcai2009p128,
  title     = {A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics},
  author    = {Donini, Francesco M. and Colucci, Simona and Di Noia, Tommaso and Di Sciascio, Eugenio},
  booktitle = {Proceedings of the Twenty-First International Joint Conference on
               Artificial Intelligence, {IJCAI-09}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Hiroaki Kitano},
  pages     = {739--744},
  year      = {2009},
  url       = {https://ijcai.org/proceedings/2009/128},
}

TY  - CPAPER
TI  - A Tableaux-Based Method for Computing Least Common Subsumers for Expressive Description Logics
AU  - Donini, Francesco M.
AU  - Colucci, Simona
AU  - Di Noia, Tommaso
AU  - Di Sciascio, Eugenio
T2  - Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, IJCAI-09
PB  - International Joint Conferences on Artificial Intelligence
PY  - 2009
SP  - 739
EP  - 744
UR  - https://ijcai.org/proceedings/2009/128
ER  -