Sciweavers

KR
2010
Springer

Query and Predicate Emptiness in Description Logics

13 years 8 months ago
Query and Predicate Emptiness in Description Logics
Ontologies can be used to provide an enriched vocabulary for the formulation of queries over instance data. We identify query emptiness and predicate emptiness as two central reasoning services in this context. Query emptiness asks whether a given query has an empty answer over all data sets formulated in a given signature. Predicate emptiness is defined analogously, but quantifies universally over all queries that contain a given predicate. In this paper, we determine the computational complexity of query emptiness and predicate emptiness in the EL, DL-Lite, and ALC-families of description logics, investigate the connection to ontology modules, and perform a practical case study to evaluate the new reasoning services.
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where KR
Authors Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Comments (0)