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

22nd International Workshop on Description Logics (DL 2009), Volume 477 - 2009
Download the publication : Donini_et_al_dl_09.pdf [249Ko]  

BibTex references


@InProceedings{DCDD09a,
author = {Francesco M. Donini and Simona Colucci and Tommaso {Di Noia} and Eugenio {Di Sciascio}},
title = "A Tableaux-based Method for Computing Least Common
Subsumers for Expressive Description Logics",
booktitle = "22nd International Workshop on Description Logics
(DL 2009)",
series = "CEUR Workshop Proceedings",
volume = "477",
year = "2009",
url = "http://www-ictserv.poliba.it/publications/2009/DCD
D09a"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy