ACM Transactions on Computational Logic

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2014) A cookbook for temporal conceptual data modelling with description logic. ACM Transactions on Computational Logic 15 (3), ISSN 1529-3785.

Artificial Intelligence

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2021) First-order rewritability of ontology-mediated queries in linear temporal logic. Artificial Intelligence 299 , ISSN 0004-3702.

CEUR Workshop Proceedings

Gerasimova, O. and Kikot, S. and Podolskii, V. and Zakharyaschev, Michael (2017) On the data complexity of ontology-mediated queries with a covering axiom. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR Workshop Proceedings.

Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) On the parameterised complexity of tree-shaped ontology-mediated queries in OWL2QL. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879. CEUR.

Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) Optimal nonrecursive datalog rewritings of linear TGDs and bounded (Hyper)Tree-width queries. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR.

Artale, A. and Ibáñez-García, Y. and Kontchakov, Roman and Ryzhikov, Vladislav (2011) DL-Lite with attributes and sub-roles (extended abstract). In: UNSPECIFIED (ed.) Proceedings of the DL Home 2011 International Workshop on Description Logics (DL2011) - Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745. CEUR Workshop Proceedings.

Journal of Artificial Intelligence Research

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2022) First-Order Rewritability and complexity of Two-Dimensional Temporal Ontology-Mediated Queries. Journal of Artificial Intelligence Research 75 , pp. 1223-1291. ISSN 1076-9757.

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyashchev, Michael (2022) First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. Journal of Artificial Intelligence Research 75 , pp. 1223-1291. ISSN 1076-9757.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) The DL-Lite family and relations. Journal of Artificial Intelligence Research 36 (1), pp. 1-69. ISSN 1076-9757.

Lecture Notes in Computer Science

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2011) Tailoring temporal description logics for reasoning over temporal conceptual models. In: Tinelli, C. and Sofronie-Stokkermans, V. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 6989. Berlin, Germany: Springer, pp. 1-11. ISBN 9783642243639.