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.
Hernich, A, Lutz, C, Papacchini, F ORCID: 0000-0002-0310-7378 and Wolter, F
(2018)
Horn rewritability vs PTime query evaluation for description logic TBoxes.
.
Artale, Alessandro, Jung, Jean Christoph, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X
(2023)
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
ACM Transactions on Computational Logic, 24 (4).
pp. 1-51.
Artale, Alessandro, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X
(2021)
On Free Description Logics with Definite Descriptions.
In: 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}, 2020-11-12 - 2021-11-18.
Artale, Alessandro, Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael
(2013)
Temporal Description Logic for Ontology-Based Data Access (Extended
Version).