PAGOdA
From MaRDI portal
Software:29397
No author found.
Related Items (4)
PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner ⋮ A tetrachotomy of ontology-mediated queries with a covering axiom ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Scalable Reasoning by Abstraction Beyond DL-Lite
This page was built for software: PAGOdA
