Combining decidability paradigms for existential rules
From MaRDI portal
Publication:5398317
DOI10.1017/S1471068413000550zbMATH Open1286.68044DBLPjournals/tplp/GottlobMP13OpenAlexW2145186931WikidataQ59259476 ScholiaQ59259476MaRDI QIDQ5398317FDOQ5398317
Authors: Georg Gottlob, Andreas Pieris, M. Manna 
Publication date: 27 February 2014
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068413000550
Recommendations
- On rules with existential variables: walking the decidability line
- Fast query answering over existential rules
- Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
- Extending acyclicity notions for existential rules
- Finite model reasoning over existential rules
Cites Work
- Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
- The DLV system for knowledge representation and reasoning
- Modal languages and bounded fragments of predicate logic
- Testing containment of conjunctive queries under functional and inclusion dependencies
- Monadic Datalog and the expressive power of languages for web information extraction
- Data exchange: semantics and query answering
- On rules with existential variables: walking the decidability line
- Towards more expressive ontology languages: the query answering problem
Cited In (9)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
- Knowledge base exchange: the case of OWL 2 QL
- Fast query answering over existential rules
- On rules with existential variables: walking the decidability line
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
- Corrigendum: ``Combining decidability paradigms for existential rules
- Title not available (Why is that?)
- Explanation-friendly query answering under uncertainty
- Finite model reasoning over existential rules
Uses Software
This page was built for publication: Combining decidability paradigms for existential rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398317)
