 | Up a level |
Bötcher, A, Lutz, C and Wolter, F
(2018)
Complete approximation of horn DL ontologies.
.
Konev, B 
ORCID: 0000-0002-6507-0494, Lutz, C, Wolter, F and Zakharyaschev, M
(2016)
Conservative Rewritability of Description Logic TBoxes.
In: Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, 2016-7-9 - 2016-7-15, New York.
Konev, B ORCID: 0000-0002-6507-0494, Lutz, C, Wolter, F and Zakharyaschev, M
(2015)
Conservative rewritability of description logic TBoxes: First results.
In: 28th International Workshop on Description Logics, 2015-6-7 - 2015-6-10, Athens.
Bienvenu, M, Hansen, P, Lutz, C and Wolter, F
(2016)
First order-rewritability and containment of conjunctive queries in horn description logics.
In: IJCAI, 2016-7-10 - 2016-7-20, New York.
Feier, C, Lutz, C and Wolter, F
(2018)
From conjunctive queries to SPARQL queries in ontology-mediated querying.
.
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.
.
Bienvenu, M, ten Cate, B, Lutz, C and Wolter, F
(2014)
Ontology-Based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP.
ACM Transactions on Database Systems, 39 (4).
pp. 1-44.