![]() | Up a level |
Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2022)
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 75.
pp. 1223-1291.
Artale, Alessandro, Kontchakov, Roman, Kovtunova, Alisa, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2021)
First-Order Rewritability of Ontology-Mediated Queries in Linear
Temporal Logic.
Artificial Intelligence, 299.
p. 103536.
Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2018)
Inseparability and Conservative Extensions of Description Logic
Ontologies: A Survey.
.
Botoeva, Elena, Konev, Boris ORCID: 0000-0002-6507-0494, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, Frank and Zakharyaschev, Michael
(2018)
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
CoRR, abs/18.
Kikot, Stanislav, Kurucz, Agi, Tanaka, Yoshihito, Wolter, Frank and Zakharyaschev, Michael
(2019)
KRIPKE COMPLETENESS OF STRICTLY POSITIVE MODAL LOGICS OVER MEET-SEMILATTICES WITH OPERATORS.
JOURNAL OF SYMBOLIC LOGIC, 84 (2).
pp. 533-588.
Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, F and Zakharyaschev, Michael
(2019)
Query Inseparability for ALC Ontologies.
Artificial Intelligence, 272.
pp. 1-51.
Artale, Alessandro, Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael
(2013)
Temporal Description Logic for Ontology-Based Data Access (Extended
Version).
Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank and Zakharyaschev, Michael
(2022)
Unique Characterisability and Learnability of Temporal Instance Queries.
[Preprint]
Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank and Zakharyaschev, Michael
(2022)
Unique Characterisability and Learnability of Temporal Instance Queries.
In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, 2022-7-31 - 2022-8-5.