PAGOdA

MaRDI QIDQ29397swMATHFDO

Official website https://www.cs.ox.ac.uk/isg/tools/PAGOdA/

Cited in

(10)

• Query inseparability for \(\mathcal{ALC}\) ontologies
• A tetrachotomy of ontology-mediated queries with a covering axiom
• ContentCVS
• Scalable reasoning by abstraction beyond DL-Lite
• CEX
• Hydrowl
• Ontop
• MASTRO
• Polyanna
• PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

This page was built for software: PAGOdA