PAGOdA exploits a hybrid approach to answering conjunctive queries over OWL 2 ontologies that combines a datalog reasoner with a fully-fledged OWL 2 reasoner in order to provide scalable "pay as you go" performance. It delegates the bulk of the computation to RDFox and resorts to expensive reasoning by HermiT only as necessary to fully answer the query.
Currently, RDFox is used as the datalog reasoner and HermiT is used as the full OWL 2 reasoner.
PAGOdA with a command line interface can be downloaded below.
By downloading the sources and/or binaries of PAGOdA, you agree to the following academic licence. If the provided package doesn't work on your machine, you need to compile RDFox yourself following the instruction on https://github.com/KRR-Oxford/PAGOdA and replace JRDFox.jar in the downloaded jar file. If you want to use PAGOdA as a library in your project, you could download this pagoda.jar and import it in your project. Please make sure that you also add all dependencies to your project. If you would like to contribute to the project, you can fork the PAGOdA project on GitHub.
Command is of the following form
java -jar pagoda.jar ONTOLOGY_PATH [DATA_PATH] QUERY_PATH [ANS_PATH]where the data file is required to be in turtle format and queries in SPARQL syntax.
For more information, please refer to this guide.
Please check our evaluation page for JAIR 2015 submission.
Ontologies, datasets and queries that have used for DL 2014 can be downloaded here:
Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks