The Data Complexity of Description Logic Ontologies

We analyze the data complexity of ontology-mediated querying where the ontologies are formulated in a description logic (DL) of the ALC family and queries are conjunctive queries, positive existential queries, or acyclic conjunctive queries. Our approach is non-uniform in the sense that we aim to un...

Full description

Bibliographic Details
Main Authors: Carsten Lutz, Frank Wolter
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2017-11-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/2203/pdf