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 ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael
(2018)
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
CoRR, abs/18.
pp. 27-89.
Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X
(2021)
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).
In: 34th International Workshop on Description Logics, 2021-9-19 - 2021-9-21, Bratislava.
Botoeva, Elena, Lutz, Carsten, Ryzhikov, Vladislav, Wolter, F and Zakharyaschev, Michael
(2019)
Query Inseparability for ALC Ontologies.
Artificial Intelligence, 272.
pp. 1-51.
Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael
(2023)
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
In: Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, 2023-8-19 - 2023-8-25.
Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X 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 ORCID: 0000-0002-4470-606X 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.