Information Systems Group

― Knowledge Representation and Reasoning

PAGOdA Tests

Welcome to the PAGOdA evaluation page. This page is in support of the submission "PAGOdA: Pay-as-you-go Ontology Query Answering Using a Datalog Reasoner" to JAIR 2015. This page contains downloads for "pay-as-you-go" ontology query answering engine PAGOdA, ontologies, datasets and queries used in our evaluation.


The experiments were conducted with the following version of PAGOdA, distributed under the following academic licence. The zip file contains libraries and executables which are precompiled for 64-bit Red Hat Enterprise Linux Server 6.3, kernel version 2.6.32. Additionally, the zip file contains the source code which can be viewed and compiled using the Eclipse IDE. Usage instructions can be found here.

Test Datasets

We conducted our evaluation with the synthetic dataset LUBM, UOBM and the real-world datasets FLY Anatomy, DBPedia + Travel, NPD FactPages, ChEMBL, Reactome and UniProt. The files for each test case can be found here and are organised in folders as follows:

  • *.owl is the ontology file for each test case;
  • *.sparql contains test SPARQL queries;
  • *.zip or *.ttl contains test dataset, or a directory data contains datasets of different sizes;
  • *.ans contains the answers for each test queries on a dataset.