Pages that link to "Item:Q2999102"
From MaRDI portal
The following pages link to Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics (Q2999102):
Displaying 8 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- From description-logic programs to multi-context systems (Q516031) (← links)
- Enhancing context knowledge repositories with justifiable exceptions (Q1749389) (← links)
- Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog (Q2302291) (← links)
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies (Q2352492) (← links)
- Stepwise Debugging of Description-Logic Programs (Q2900544) (← links)
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). (Q3174890) (← links)
- Inlining External Sources in Answer Set Programs (Q4957183) (← links)
