On rules with existential variables: Walking the decidability line

2011/04/19 by Jean-François Baget, Michel Leclère, Marie-Laure Mugnier +2 · 13 citations
Computer Science · #Semantic Web and Ontologies #Advanced Database Systems and Queries

paper · doi:10.1016/j.artint.2011.03.002

Cited by

• The Impact of Disjunction on Reasoning under Existential Rules: Research Summary
• Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
• Ontological Multidimensional Data Models and Contextual Data Qality
• Ontology-Mediated Queries: Combined Complexity and Succinctness of\n Rewritings via Circuit Complexity
• Queries with Guarded Negation (full version)
• Analysing Temporal Reasoning in Description Logics Using Formal Grammars
• Towards Universal Languages for Tractable Ontology Mediated Query Answering
• Existential Rule Languages with Finite Chase: Complexity and Expressiveness
• CQE under Epistemic Dependencies: Algorithms and Experiments (extended version)
• Expressive Completeness of Existential Rule Languages for Ontology-based\n Query Answering
• Distance-Based Approaches to Repair Semantics in Ontology-based Data\n Access
• Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation
• Ontologies and Data Management: A Brief Survey. [europepmc]