PAGOdA

swMATH17539MaRDI QIDQ29397FDOQ29397

Author name not available (Why is that?)

Cited In (4)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• A tetrachotomy of ontology-mediated queries with a covering axiom
• PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner
• Scalable Reasoning by Abstraction Beyond DL-Lite

This page was built for software: PAGOdA