Guarded Ontology-Mediated Queries

DOI10.1007/978-3-030-64187-0_2OpenAlexW3167382126MaRDI QIDQ5015964

Gerald Berger, Pablo Barceló, Georg Gottlob, Andreas Pieris

Publication date: 10 December 2021

Published in: Hajnal Andréka and István Németi on Unity of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-64187-0_2

zbMATH Keywords

query evaluationconjunctive queriesguardednessquery containmenttuple-generating dependenciesfirst-order rewritabilityontology-mediated queries

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items

Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments

Cites Work

• Unnamed Item
• Towards more expressive ontology languages: the query answering problem
• On the finite controllability of conjunctive query answering in databases under open-world assumption
• On rules with existential variables: walking the decidability line
• Modal languages and bounded fragments of predicate logic
• Datalog vs first-order logic
• Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width.
• Taming the Infinite Chase: Query Answering under Expressive Relational Constraints
• Undecidable optimization problems for database logic programs
• Homomorphism preservation theorems
• The Theory of Stabilisation Monoids and Regular Cost Functions
• Equivalence of Datalog queries is undecidable
• The Bridge Between Regular Cost Functions and Omega-Regular Languages
• The Complexity of Boundedness for Guarded Logics
• A Step Up in Expressiveness of Decidable Fixpoint Logics
• On the Restraining Power of Guards
• Ontology-Based Data Access
• Guarded-Based Disjunctive Tuple-Generating Dependencies
• Dichotomies in Ontology-Mediated Querying with the Guarded Fragment
• Querying the Guarded Fragment
• Linking Data to Ontologies
• Guarded Negation