Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
DOI10.4230/LIPICS.ICDT.2017.1zbMATH Open1402.68046OpenAlexW2604510960MaRDI QIDQ3174890FDOQ3174890
Authors: Cristina Feier, Antti Kuusisto, Carsten Lutz 
Publication date: 18 July 2018
Full work available at URL: https://doi.org/10.4230/LIPIcs.ICDT.2017.1
Recommendations
- Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
- Rewriting logic and its applications (extended selected papers from WRLA 2014)
- Rewriting logic and its applications (extended selected papers from WRLA 2014)
- Tractable reasoning with DL-programs over Datalog-rewritable description logics
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
- scientific article; zbMATH DE number 1615226
- Rewrite rule systems for modal propositional logic
Analysis of algorithms and problem complexity (68Q25) Knowledge representation (68T30) Logic programming (68N17) Database theory (68P15) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)
Cited In (9)
- A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies
- Rewritability in monadic disjunctive Datalog, MMSNP, and expressive description logics
- The data complexity of ontology-mediated queries with closed predicates
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog
- A dichotomy for first-order reducts of unary structures
- Rewriting guarded existential rules into small Datalog programs
- The language of stratified sets is confluent and strongly normalising
- Emptiness problems for distributed automata
This page was built for publication: Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk).
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3174890)
