submitted version

telecom-se · Jul 7, 2016 · 1be5199 · 1be5199
1 parent 360d95b
commit 1be5199
Show file tree

Hide file tree

Showing 27 changed files with 1,908 additions and 4 deletions.
diff --git a/src/main/java/fr/ujm/tse/lt2c/satin/reasoner/benchmark/main/Benchmark.java b/src/main/java/fr/ujm/tse/lt2c/satin/reasoner/benchmark/main/Benchmark.java
@@ -165,7 +165,8 @@ private void setBenchmarkTable() {
 		 * new ArrayList<LogicalFragmentBenchmarked>()); }
 		 * benchmarkTable.get(db, res).add(frag); } } } } }
 		 */
-		rdfoxForSlider(benchmarkTable);
+		sliderYago(benchmarkTable);
+		//rdfoxForSlider(benchmarkTable);
 //		rdfoxLubm(benchmarkTable);
 		// lubmOnly(benchmarkTable);
 		// owlimAndSliderAll(benchmarkTable);
@@ -225,6 +226,25 @@ private void rdfoxLubm(
 		}
 	}
 
+	private void sliderYago(
+		Table<DatasetsBenchmarked, ReasonerBenchmarked, List<LogicalFragmentBenchmarked>> benchmarkTable2) {
+		this.datasetUnderTest.add(DatasetsBenchmarked.YAGO);
+		List<LogicalFragmentBenchmarked> fragments = new ArrayList<>(1);
+		fragments.add(LogicalFragmentBenchmarked.RHODF);
+
+		for (DatasetsBenchmarked ds : this.datasetUnderTest) {
+			List<ReasonerBenchmarked> allReasoners = new ArrayList<>(2);
+			 allReasoners.add(ReasonerBenchmarked.STREAM);
+			for (ReasonerBenchmarked reasoner : allReasoners) {
+				benchmarkTable.put(ds, reasoner, new ArrayList<LogicalFragmentBenchmarked>());
+				for (LogicalFragmentBenchmarked frag : fragments) {
+					benchmarkTable.get(ds, reasoner).add(frag);
+				}
+			}
+		}
+	}
+
+
 	private void rdfoxBsbm(
 			Table<DatasetsBenchmarked, ReasonerBenchmarked, List<LogicalFragmentBenchmarked>> benchmarkTable2) {
 		List<DatasetsBenchmarked> datasetsUnderTest = new ArrayList<>();

diff --git a/src/main/java/fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchmarkRunnerUtils.java b/src/main/java/fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchmarkRunnerUtils.java
@@ -61,7 +61,7 @@ static CommandLine createPerfStatExternalCommand(final BenchRunConfiguration run
 //        String scriptCode = "cd " + runConfig.getExecutableDirectory() + " && java -Xmx" + runConfig.getMemory()
 //                + "m -cp .:./libs/* fr.ujm.tse.lt2c.satin.Benchmark ";
 
-        String scriptCode = "cd " + runConfig.getExecutableDirectory() + " && java -Xms22G -Xmx22G "
+        String scriptCode = "cd " + runConfig.getExecutableDirectory() + " && java -Xms1G -Xmx1G "
         + " -cp .:./libs/* fr.ujm.tse.lt2c.satin.Benchmark ";
 
         scriptCode += " -D '" + runConfig.getDataset() + "' ";

diff --git a/src/main/resources/inferray-benchmark.properties b/src/main/resources/inferray-benchmark.properties
@@ -1,5 +1,5 @@
 # where are datasets stored - if empty, they will be downloaded from ${INFERRAY_DATASETS_REMOTESTORAGE}
-INFERRAY_DATASETS_LOCALSTORAGE = /home/satin/datasets
+INFERRAY_DATASETS_LOCALSTORAGE = /home/ubuntu/datasets
 
 # remote hosting of inferray benchmark datasets. If the benchmark files are not present at ${INFERRAY_DATASETS_LOCALSTORAGE} or the removal of local storage was force using the corresponding program flag, the dataset will be download from ${INFERRAY_DATASETS_REMOTESTORAGE}
 INFERRAY_DATASETS_REMOTESTORAGE = http://datasets-satin.telecom-st-etienne.fr/cgravier/reasoning/
@@ -56,4 +56,4 @@ INFERRAY_DATASETS_FILENAMES_GRIDSUBCLASS_LVL10X10 = gridSubClassOf10x10.zip
 SUBCLASS_REAL_PRODUCTS = taxonomy_taxonomy.zip
 
 # path to owlim libs binaries (the "ext" folder in the owlimse distributed archive you get after asking for a licence.)
-#OWLIM_EXT_LIBS = /home/satin/libs/
+#OWLIM_EXT_LIBS = /home/satin/libs/
diff --git a/target/classes/command lines/Example of command lines b/target/classes/command lines/Example of command lines
@@ -0,0 +1,8 @@
+####### Building and assemble the inferray benchmark framework : clean install assembly:single
+
+
+
+####### Some runs.
+# Running the benchmark with 900 seconds timeout, one iteration, 12Go RAM on all daatsets 
+java -jar inferray-benchmark-0.0.1-SNAPSHOT-jar-with-dependencies.jar -T 900 -I 1 -M 14336 -E " /home/satin/inferray/ReasonersBenchmarked/target" -O /home/satin/benchmark-runs.txt -DS all -BRES /home/satin/benchmark.csv -BERR /home/satin/benchmark-errors.log
+
diff --git a/target/classes/inferray-benchmark.properties b/target/classes/inferray-benchmark.properties
@@ -0,0 +1,59 @@
+# where are datasets stored - if empty, they will be downloaded from ${INFERRAY_DATASETS_REMOTESTORAGE}
+INFERRAY_DATASETS_LOCALSTORAGE = /home/ubuntu/datasets
+
+# remote hosting of inferray benchmark datasets. If the benchmark files are not present at ${INFERRAY_DATASETS_LOCALSTORAGE} or the removal of local storage was force using the corresponding program flag, the dataset will be download from ${INFERRAY_DATASETS_REMOTESTORAGE}
+INFERRAY_DATASETS_REMOTESTORAGE = http://datasets-satin.telecom-st-etienne.fr/cgravier/reasoning/
+
+# names of the each dataset on the remote and local filesystem
+INFERRAY_DATASETS_FILENAMES_BSBM100k = BSBM_100k.zip
+INFERRAY_DATASETS_FILENAMES_BSBM200k = BSBM_200k.zip
+INFERRAY_DATASETS_FILENAMES_BSBM500k = BSBM_500k.zip
+INFERRAY_DATASETS_FILENAMES_BSBM1M = BSBM_1M.zip
+INFERRAY_DATASETS_FILENAMES_BSBM5M = BSBM_5M.zip
+INFERRAY_DATASETS_FILENAMES_BSBM10M = BSBM_10M.zip
+INFERRAY_DATASETS_FILENAMES_BSBM25M = BSBM_25M.zip
+INFERRAY_DATASETS_FILENAMES_BSBM50M = BSBM_50M.zip
+INFERRAY_DATASETS_FILENAMES_BSBM100M = BSBM_100M.zip
+INFERRAY_DATASETS_FILENAMES_WIKIONTOLOGY = wikipediaOntology.zip
+INFERRAY_DATASETS_FILENAMES_WORDNET = wordnetOntology.zip
+INFERRAY_DATASETS_FILENAMES_YAGO = yagoSchemaTaxo.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_10k = subClassOf10.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_20k = subClassOf20.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_50k = subClassOf50.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_100k = subClassOf100.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_200k = subClassOf200.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_500k = subClassOf500.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_1000k = subClassOf1000.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_2500k = subClassOf2500.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_5000k = subClassOf5000.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_7500k = subClassOf7500.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_10000k = subClassOf10000.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_15000k = subClassOf15000.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_20000k = subClassOf20000.zip
+INFERRAY_DATASETS_FILENAMES_SUBCLASS_25000k = subClassOf25000.zip
+INFERRAY_DATASETS_FILENAMES_LUBM_1 = LUBM_1.zip
+INFERRAY_DATASETS_FILENAMES_LUBM_5 = LUBM_5.zip
+INFERRAY_DATASETS_FILENAMES_LUBM_10 = LUBM_10.zip
+INFERRAY_DATASETS_FILENAMES_LUBM_25 = LUBM_25.zip
+INFERRAY_DATASETS_FILENAMES_LUBM_50 = LUBM_50.zip
+INFERRAY_DATASETS_FILENAMES_LUBM_75 = LUBM_75.zip
+INFERRAY_DATASETS_FILENAMES_LUBM_100 = LUBM_100.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL10 = binSubClassOf10.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL11 = binSubClassOf11.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL12 = binSubClassOf12.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL13 = binSubClassOf13.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL14 = binSubClassOf14.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL15 = binSubClassOf15.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL16 = binSubClassOf16.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL17 = binSubClassOf17.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL18 = binSubClassOf18.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL19 = binSubClassOf19.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL20 = binSubClassOf20.zip
+INFERRAY_DATASETS_FILENAMES_BINSUBCLASS_LVL21 = binSubClassOf21.zip	
+INFERRAY_DATASETS_FILENAMES_GRIDSUBCLASS_LVL7X5 = gridSubClassOf7x5.zip	
+INFERRAY_DATASETS_FILENAMES_GRIDSUBCLASS_LVL10X5 = gridSubClassOf10x5.zip	
+INFERRAY_DATASETS_FILENAMES_GRIDSUBCLASS_LVL10X10 = gridSubClassOf10x10.zip	
+SUBCLASS_REAL_PRODUCTS = taxonomy_taxonomy.zip
+
+# path to owlim libs binaries (the "ext" folder in the owlimse distributed archive you get after asking for a licence.)
+#OWLIM_EXT_LIBS = /home/satin/libs/
diff --git a/target/classes/inferray-files/rdfsAxiomatic.triples b/target/classes/inferray-files/rdfsAxiomatic.triples
@@ -0,0 +1,64 @@
+#Namespaces
+rdf      :  http://www.w3.org/1999/02/22-rdf-syntax-ns#
+rdfs     :  http://www.w3.org/2000/01/rdf-schema#
+xsd      :  http://www.w3.org/2001/XMLSchema#
+#Triples
+     <rdf:type> <rdf:type> <rdf:Property>
+     <rdf:subject> <rdf:type> <rdf:Property>
+     <rdf:predicate> <rdf:type> <rdf:Property>
+     <rdf:object> <rdf:type> <rdf:Property>
+     <rdf:first> <rdf:type> <rdf:Property>
+     <rdf:rest> <rdf:type> <rdf:Property>
+     <rdf:value> <rdf:type> <rdf:Property>
+     <rdf:_1> <rdf:type> <rdf:Property>
+     <rdf:nil> <rdf:type> <rdf:List>
+     <rdf:type> <rdfs:domain> <rdfs:Resource>
+     <rdfs:domain> <rdfs:domain> <rdf:Property>
+     <rdfs:range> <rdfs:domain> <rdf:Property>
+     <rdfs:subPropertyOf> <rdfs:domain> <rdf:Property>
+     <rdfs:subClassOf> <rdfs:domain> <rdfs:Class>
+     <rdf:subject> <rdfs:domain> <rdf:Statement>
+     <rdf:predicate> <rdfs:domain> <rdf:Statement>
+     <rdf:object> <rdfs:domain> <rdf:Statement>
+     <rdfs:member> <rdfs:domain> <rdfs:Resource>
+     <rdf:first> <rdfs:domain> <rdf:List>
+     <rdf:rest> <rdfs:domain> <rdf:List>
+     <rdfs:seeAlso> <rdfs:domain> <rdfs:Resource>
+     <rdfs:isDefinedBy> <rdfs:domain> <rdfs:Resource>
+     <rdfs:comment> <rdfs:domain> <rdfs:Resource>
+     <rdfs:label> <rdfs:domain> <rdfs:Resource>
+     <rdf:value> <rdfs:domain> <rdfs:Resource>
+     <rdf:type> <rdfs:range> <rdfs:Class>
+     <rdfs:domain> <rdfs:range> <rdfs:Class>
+     <rdfs:range> <rdfs:range> <rdfs:Class>
+     <rdfs:subPropertyOf> <rdfs:range> <rdf:Property>
+     <rdfs:subClassOf> <rdfs:range> <rdfs:Class>
+     <rdf:subject> <rdfs:range> <rdfs:Resource>
+     <rdf:predicate> <rdfs:range> <rdfs:Resource>
+     <rdf:object> <rdfs:range> <rdfs:Resource>
+     <rdfs:member> <rdfs:range> <rdfs:Resource>
+     <rdf:first> <rdfs:range> <rdfs:Resource>
+     <rdf:rest> <rdfs:range> <rdf:List>
+     <rdfs:seeAlso> <rdfs:range> <rdfs:Resource>
+     <rdfs:isDefinedBy> <rdfs:range> <rdfs:Resource>
+     <rdfs:comment> <rdfs:range> <rdfs:Literal>
+     <rdfs:label> <rdfs:range> <rdfs:Literal>
+     <rdf:value> <rdfs:range> <rdfs:Resource>
+     <rdf:Alt> <rdfs:subClassOf> <rdfs:Container>
+     <rdf:Bag> <rdfs:subClassOf> <rdfs:Container>
+     <rdf:Seq> <rdfs:subClassOf> <rdfs:Container>
+     <rdfs:ContainerMembershipProperty> <rdfs:subClassOf> <rdf:Property>
+     <rdf:_1> <rdf:type> <rdfs:ContainerMembershipProperty>
+     <rdf:_1> <rdfs:domain> <rdfs:Resource>
+     <rdf:_1> <rdfs:range> <rdfs:Resource>
+     <rdfs:isDefinedBy> <rdfs:subPropertyOf> <rdfs:seeAlso>
+     <rdf:XMLLiteral> <rdf:type> <rdfs:Datatype>
+     <rdf:XMLLiteral> <rdfs:subClassOf> <rdfs:Literal>
+     <rdfs:Datatype> <rdfs:subClassOf> <rdfs:Class>
+     <xsd:nonNegativeInteger> <rdf:type> <rdfs:Datatype>
+     <xsd:string> <rdf:type> <rdfs:Datatype>
+     <rdf:type> <rdfs:subPropertyOf> <rdf:type>
+     <rdfs:domain> <rdfs:subPropertyOf> <rdfs:domain>
+     <rdfs:range> <rdfs:subPropertyOf> <rdfs:range>
+     <rdfs:subPropertyOf> <rdfs:subPropertyOf> <rdfs:subPropertyOf>
+     <rdfs:subClassOf> <rdfs:subPropertyOf> <rdfs:subClassOf>
diff --git a/target/classes/log4j.properties b/target/classes/log4j.properties
@@ -0,0 +1,13 @@
+log4j.rootLogger=INFO, stdout
+
+log4j.appender.stdout=org.apache.log4j.ConsoleAppender
+log4j.appender.stdout.layout=org.apache.log4j.PatternLayout
+log4j.appender.stdout.layout.ConversionPattern=[%d{HH:mm:ss}] [%-5p] (%F:%M:%L) %m%n
+
+log4j.appender.file=org.apache.log4j.RollingFileAppender
+log4j.appender.file.File=logger.log
+log4j.appender.file.append=false
+log4j.appender.file.MaxFileSize=3MB
+log4j.appender.file.MaxBackupIndex=50
+log4j.appender.file.layout=org.apache.log4j.PatternLayout
+log4j.appender.file.layout.ConversionPattern=[%d{HH:mm:ss}] [%-5p] (%F:%M:%L) %m%n