Query and Predicate Emptiness in Ontology-Based Data Access

DOI10.1613/JAIR.4866zbMath1357.68226OpenAlexW2347154127MaRDI QIDQ2805284

Meghyn Bienvenu, Franz Baader, Frank Wolter, Carsten Lutz

Publication date: 11 May 2016

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4866

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Database theory (68P15) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (8)

Temporal multi-valued logic with lost worlds in the past ⋮ Many-valued multi-modal logics, satisfiability problem ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ Ontology-Mediated Query Answering with Data-Tractable Description Logics ⋮ Logical foundations of information disclosure in ontology-based data integration ⋮ A logic-based framework for characterizing nexus of similarity within knowledge bases ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Branching time agents logics, satisfiability problem by rules in reduced form

This page was built for publication: Query and Predicate Emptiness in Ontology-Based Data Access