PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner

DOI10.1613/JAIR.4757zbMATH Open1343.68073OpenAlexW2106251409MaRDI QIDQ3454515

Yavor Nenov, Ian Horrocks, Yujiao Zhou, Bernardo Cuenca Grau, Mark Kaminski

Publication date: 25 November 2015

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.4757

Mathematics Subject Classification ID

Database theory (68P15) Knowledge representation (68T30)

Related Items (3)

A tetrachotomy of ontology-mediated queries with a covering axiom ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Scalable Reasoning by Abstraction Beyond DL-Lite

Uses Software

• Pellet
• SPARQL
• HermiT
• PAGOdA
• Datalog
• Hydrowl

Recommendations

• Unnamed Item 👍 👎
• Towards more expressive ontology languages: the query answering problem 👍 👎
• Query Answering over Description Logic Ontologies 👍 👎
• Ontology-Mediated Query Answering with Data-Tractable Description Logics 👍 👎
• Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures 👍 👎
• Reasoning on Datalog± Ontologies with Abductive Logic Programming 👍 👎
• Ontology Querying: Datalog Strikes Back 👍 👎

This page was built for publication: PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner