 | Up a level |
Botoeva, E, Kontchakov, R, Ryzhikov, V, Wolter, F and Zakharyaschev, M
(2016)
Games for query inseparability of description logic knowledge bases.
Artificial Intelligence, 234.
pp. 78-119.
Artale, A, Kontchakov, R, Kovtunova, A, Ryzhikov, V, Wolter, F 
ORCID: 0000-0002-4470-606X and Zakharyaschev, M
(2017)
Ontology-mediated query answering over temporal data: A survey.
.
Botoeva, E, Kontchakov, R, Ryzhikov, V, Wolter, F and Zakharyaschev, M
(2014)
Query Inseparability for Description Logic Knowledge Bases.
.
Fortin, M, Konev, B ORCID: 0000-0002-6507-0494, Ryzhikov, V, Savateev, Y, Wolter, F and Zakharyaschev, M
(2022)
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps.
.