Difference between revisions of "Singleton Property Reasoning"
From Knoesis wiki
| Line 13: | Line 13: | ||
= How to use = | = How to use = | ||
| − | + | == Setting up files == | |
| − | + | ||
| − | == | + | |
<pre> | <pre> | ||
1. mkdir lubmsp | 1. mkdir lubmsp | ||
2. cd lubmsp | 2. cd lubmsp | ||
| − | 3. Download the | + | 3. Download all the files provided in the Download section above into this folder |
| − | 4. Run the code, the number of university may be 50, 500, or 1000 | + | 4. tar -xzvf queries.tar.gz |
| + | 5. You may want to install the rlwrap package for command history | ||
| + | </pre> | ||
| + | |||
| + | Here we explain the step-by-step to generate the LUBM-SP datasets, and run the query evaluation | ||
| + | |||
| + | == Generate LUBM-SP == | ||
| + | |||
| + | <pre> | ||
| + | 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 | 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.nt: the original LUBM in the form of ntriples | ||
LUBM_500_sp.nt: the LUBM-SP 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 | LUBM_500.rdf: the original LUBM in the form of RDF/XML | ||
| − | |||
</pre> | </pre> | ||
| Line 34: | Line 41: | ||
<pre> | <pre> | ||
1. cd lubmsp | 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 | ||
| + | |||
</pre> | </pre> | ||
Revision as of 10:43, 4 May 2015
Contents
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
