Similar Items: Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
- Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
- Datalog Rewritings of Regular Path Queries using Views
- On guarded extensions of MMSNP
- Natural Transformations as Rewrite Rules and Monad Composition
- Disjunctive bases: normal forms and model theory for modal logics
- $n$-permutability and linear Datalog implies symmetric Datalog