Pages that link to "Item:Q286087"

The following pages link to Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087):

Displaying 2 items.

• A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
• Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic (Q6135954) (← links)