DL-Lite with Attributes and Sub-Roles (Full Version)


We extend the tractable DL-Lite languages by (i) relaxing the restriction on the allowed interaction between cardinality constraints and role inclusions; (ii) extending the languages with attributes. On the one hand, we push the limit on the use of number restrictions over role hierarchies and also show the effect of the presence of the ABox on such constraints. On the other hand, attributes—a notion borrowed from data models—associate concrete values from datatypes to abstract objects and in this way complement DL-Lite roles that describe relationships between abstract objects. We present complexity results for two most important reasoning problems in DL-Lite: combined complexity of KB satisfiability and data complexity of query answering.

2 Figures and Tables

Cite this paper

@inproceedings{Artale2011DLLiteWA, title={DL-Lite with Attributes and Sub-Roles (Full Version)}, author={Alessandro Artale and Roman Kontchakov}, year={2011} }