RDFox Tests
Welcome to the
RDFox evaluation page.
This page is in support of the submission "Combining Rewriting and Incremental Materialisation Maintenance for Datalog Programs with Equality" to IJCAI 2015.
A full version of the paper can be found
here.
This page contains downloads for the RDF triple store and datalog reasoning enginge
RDFox and the datasets used in our evaluation.
Systems
The experiments were conducted with the following version of
RDFox.zip,
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
UOBM,
and the real-world datasets
DBPedia,
Claros,
OpenCyc and
UniProt. The files for
each dataset can be found
here and are organised in folders as follows:
- facts contains html files which redirect to ziped RDF graphs for the dataset (i.e. different ABoxes);
- dlog contains rulesets derived from the ontologies in format suitable for RDFox;
Files with the extension -eq.dlog are those used in the rewriting approach whilst files
with +eqr.dlog contain the owl:sameAs axiomatisation at the very end.