 | Up a level |
Bötcher, A, Lutz, C and Wolter, F
(2018)
Complete approximation of horn DL ontologies.
.
Jung, Jean Christoph, Lutz, Carsten, Martel, Mauricio, Schneider, Thomas and Wolter, Frank
(2017)
Conservative Extensions in Guarded and Two-Variable Fragments.
Leibniz International Proceedings in Informatics, LIPIcs, 80.
Duarte, R, Konev, B 
ORCID: 0000-0002-6507-0494 and Ozaki, A
(2018)
Exact learning of EL ontologies.
.
Feier, C, Lutz, C and Wolter, F
(2018)
From conjunctive queries to SPARQL queries in ontology-mediated querying.
.
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.
.
Schewe, Sven ORCID: 0000-0002-9093-9518, Schneider, Thomas and Wijsen, Jef
(2019)
Special issue on Temporal Representation and Reasoning (TIME 2017).
THEORETICAL COMPUTER SCIENCE, 797.
p. 1.