DL-Lite without UNA

Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev

Proc. of the 22nd Int. Workshop on Description Logics (DL 2009). Volume 477 of CEUR Workshop Proceedings, http://ceur-ws.org/. 2009.

In this paper, we investigate the impact of dropping the unique name assumption on both the combined and data complexity of reasoning in the logics of the è xtended DL-Lite family', classified according to the following features: (1) the presence or absence of role inclusion assertions; (2) the form of the allowed concept inclusions, where we consider four classes core, Krom, Horn, and Bool exhibiting different computational properties; (3) the form of the allowed numeric constraints, ranging from none, to global functionality constraints only, and to arbitrary number restrictions. We obtain tight complexity results for satisfiability and positive existential query answering problems for all of these logics.


@inproceedings{DL-2009-nouna,
   title = "DL-Lite  without UNA",
   year = "2009",
   author = "Alessandro Artale and Diego Calvanese and Roman Kontchakov
and Michael Zakharyaschev",
   booktitle = "Proc. of the 22nd Int. Workshop on Description Logics
(DL 2009)",
   volume = "477",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
pdf url