Combining decidability paradigms for existential rules

DOI10.1017/S1471068413000550zbMATH Open1286.68044DBLPjournals/tplp/GottlobMP13OpenAlexW2145186931WikidataQ59259476 ScholiaQ59259476MaRDI QIDQ5398317FDOQ5398317

M. Manna, Andreas Pieris, Georg Gottlob

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

zbMATH Keywords

complexitydecidabilityquery answeringguardednessstickinessdatalog extensions

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

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 (6)

• Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM
• Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
• Knowledge base exchange: the case of OWL 2 QL
• Title not available (Why is that?)
• Explanation-friendly query answering under uncertainty
• Finite model reasoning over existential rules

Uses Software

• CodeQuest

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)