We give a classification of the complexity of DL-Lite logics extended with role inclusion axioms. We show that the data complexity of instance checking becomes P-hard in the presence of functionality constraints, and coNP-hard if arbitrary number restrictions are allowed, even with primitive concept inclusions. The combined complexity of satisfiability in this case jumps to ExpTime. On the other side, the combined complexity for the logics without number restrictions depends only on the form of concept inclusions and can range from NLogSpace and P to NP; the data complexity for such logics stays in LogSpace. © 2008 Springer Berlin Heidelberg.
CITATION STYLE
Kontchakov, R., & Zakharyaschev, M. (2008). DL-lite and role inclusions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5367 LNCS, pp. 16–30). https://doi.org/10.1007/978-3-540-89704-0_2
Mendeley helps you to discover research relevant for your work.