Combining decidability paradigms for existential rules
From MaRDI portal
Publication:5398317
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
- Data exchange: semantics and query answering
- Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues
- Modal languages and bounded fragments of predicate logic
- Monadic Datalog and the expressive power of languages for web information extraction
- On rules with existential variables: walking the decidability line
- Testing containment of conjunctive queries under functional and inclusion dependencies
- The DLV system for knowledge representation and reasoning
- 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
- On rules with existential variables: walking the decidability line
- Fast query answering over existential rules
- Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
- Corrigendum: ``Combining decidability paradigms for existential rules
- scientific article; zbMATH DE number 7566070 (Why is no real title available?)
- Explanation-friendly query answering under uncertainty
- Finite model reasoning over existential rules
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)
