Singleton Property Reasoning
From Knoesis wiki
Downloads
The packages are available for download at sourceforge.net
How to use
Here we explain the step-by-step to generate the LUBM-SP datasets
Generate LUBM-SP
1. mkdir lubmsp 2. cd lubmsp 3. Download the lubmsp_1.0.0.jar into this folder 4. Run the code, n is the number of university, n = 50, 500, 1000 java -jar lubmsp_1.0.0.jar -univ n -index 0 -onto http://knoesis.org/lubmsp