Pages that link to "Item:Q3454515"
From MaRDI portal
The following pages link to PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner (Q3454515):
Displaying 4 items.
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- Completeness guarantees for incomplete ontology reasoners: theory and practice (Q2887081) (← links)
- Scalable Reasoning by Abstraction Beyond DL-Lite (Q5268436) (← links)