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, Kontchakov, Roman, Wolter, Frank and Zakharyaschev, Michael
(2013)
Temporal Description Logic for Ontology-Based Data Access (Extended
Version).