Kontchakov, Roman and Zakharyaschev, Michael (2008) DL-Lite and role inclusions. In: Domingue, J. and Anutariya, C. (eds.) ASWC 2008: The Semantic Web. Lecture Notes in Computer Science 5367. Springer, pp. 16-30. ISBN 9783540897033.
Abstract
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.
Metadata
| Item Type: | Book Section |
|---|---|
| School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
| Depositing User: | Sarah Hall |
| Date Deposited: | 25 Oct 2021 16:27 |
| Last Modified: | 09 Aug 2023 12:52 |
| URI: | https://eprints.bbk.ac.uk/id/eprint/46476 |
Statistics
Additional statistics are available via IRStats2.
Archive Staff Only (login required)
