Singleton Property Reasoning

Downloads

The packages are available for download at sourceforge.net

LUBM-SP: http://sourceforge.net/projects/graphke/files/lubmsp_1.0.0.jar/download

LUBM-SP ontology: http://sourceforge.net/projects/graphke/files/lubmsp_onto.nt/download

SPARQL queries http://sourceforge.net/projects/graphke/files/queries.tar.gz/download

Jena Query evaluation http://sourceforge.net/projects/graphke/files/lubmsp_query_eval_1.0.0.jar/download

How to use

Setting up files

1. mkdir lubmsp
2. cd lubmsp
3. Download all the files provided in the Download section above into this folder
4. tar -xzvf queries.tar.gz
5. You may want to install the rlwrap package for command history

Here we explain the step-by-step to generate the LUBM-SP datasets, and run the query evaluation

Generate LUBM-SP

1. cd lubmsp
2. Run the code, the number of university may be 50, 500, or 1000
java -jar lubmsp_1.0.0.jar -univ 500 -index 0 -onto http://knoesis.org/lubmsp
3. Check for three data files generated
LUBM_500.nt: the original LUBM in the form of ntriples
LUBM_500_sp.nt: the LUBM-SP in the form of ntriples
LUBM_500.rdf: the original LUBM in the form of RDF/XML

Query evaluation in Jena

1. cd lubmsp
2. java -jar lubmsp_query_eval_1.0.0.jar 
or
rlwrap java -jar lubmsp_query_eval_1.0.0.jar
reasoner
rdfs
ontology
lubmsp_onto.nt
instances
LUBM_500_sp.nt
query
queries/lubm_query1.sparql