Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
Carsten Lutz, Leif Sabellek
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence
Main track. Pages 1181-1187.
https://doi.org/10.24963/ijcai.2017/164
We consider ontology-mediated queries (OMQs) based on an EL
ontology and an atomic query (AQ), provide an ultimately
fine-grained analysis of data complexity and study rewritability
into linear Datalog-aiming to capture linear recursion in SQL.
Our main results are that every such OMQ is in AC0,
NL-complete or PTime-complete, and that containment in NL
coincides with rewritability into linear Datalog (whereas
containment in AC0 coincides with rewritability into first-order
logic). We establish natural characterizations of the three cases,
show that deciding linear Datalog rewritability (as well as the
mentioned complexities) is ExpTime-complete, give a way to
construct linear Datalog rewritings when they exist, and prove that
there is no constant bound on the arity of IDB relations in linear
Datalog rewritings.
Keywords:
Knowledge Representation, Reasoning, and Logic: Description Logics and Ontologies
Multidisciplinary Topics and Applications: Database Systems