Query and Predicate Emptiness in Ontology-Based Data Access | Zendy

Franz Baader | Zendy; Meghyn Bienvenu | Zendy; Carsten Lutz | Zendy; Frank Wolter | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Query and Predicate Emptiness in Ontology-Based Data Access

Author(s) -

Franz Baader,

Meghyn Bienvenu,

Carsten Lutz,

Frank Wolter

Publication year - 2016

Publication title -

journal of artificial intelligence research

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.79

H-Index - 123

eISSN - 1943-5037

pISSN - 1076-9757

DOI - 10.1613/jair.4866

Subject(s) - predicate (mathematical logic) , emptiness , computer science , ontology , sparql , query language , information retrieval , programming language , semantic web , rdf , philosophy , theology , epistemology

International audienceIn ontology-based data access (OBDA), database querying is enriched with an ontology that provides domain knowledge and additional vocabulary for query formulation. 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 databases formulated in a given vocabulary. 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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research