The following pages link to PAGOdA (Q29397):
Displaying 4 items.
- A tetrachotomy of ontology-mediated queries with a covering axiom (Q2152500) (← links)
- Query inseparability for \(\mathcal{ALC}\) ontologies (Q2321290) (← links)
- PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner (Q3454515) (← links)
- Scalable Reasoning by Abstraction Beyond DL-Lite (Q5268436) (← links)