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 index ba6de8e..f293937 100644 --- 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()); } * 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> benchmarkTable2) { + this.datasetUnderTest.add(DatasetsBenchmarked.YAGO); + List fragments = new ArrayList<>(1); + fragments.add(LogicalFragmentBenchmarked.RHODF); + + for (DatasetsBenchmarked ds : this.datasetUnderTest) { + List allReasoners = new ArrayList<>(2); + allReasoners.add(ReasonerBenchmarked.STREAM); + for (ReasonerBenchmarked reasoner : allReasoners) { + benchmarkTable.put(ds, reasoner, new ArrayList()); + for (LogicalFragmentBenchmarked frag : fragments) { + benchmarkTable.get(ds, reasoner).add(frag); + } + } + } + } + + private void rdfoxBsbm( Table> benchmarkTable2) { List 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 index 1770041..90f7a29 100644 --- 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 index 20050d4..42bee90 100644 --- 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/ \ No newline at end of file +#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 new file mode 100644 index 0000000..1115eb5 --- /dev/null +++ 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 new file mode 100644 index 0000000..42bee90 --- /dev/null +++ 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 new file mode 100644 index 0000000..b831797 --- /dev/null +++ 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 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/target/classes/log4j.properties b/target/classes/log4j.properties new file mode 100644 index 0000000..8aa4d9b --- /dev/null +++ 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 \ No newline at end of file diff --git a/target/classes/owlim-fragments/rdfsplus-withaxiomatictriples.saev.unused b/target/classes/owlim-fragments/rdfsplus-withaxiomatictriples.saev.unused new file mode 100644 index 0000000..c522d76 --- /dev/null +++ b/target/classes/owlim-fragments/rdfsplus-withaxiomatictriples.saev.unused @@ -0,0 +1,725 @@ +Prefices +{ + rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns# + rdfs : http://www.w3.org/2000/01/rdf-schema# + owl : http://www.w3.org/2002/07/owl# + xsd : http://www.w3.org/2001/XMLSchema# + onto : http://www.ontotext.com/ +} + + +Axioms +{ + // ======================================================================== + // RDF axiomatic triples + // ======================================================================== + // The following RDF axiomatic triples were taken from here: + // http://www.w3.org/TR/rdf-mt/#RDFINTERP + // ======================================================================== + + + + + + + + + + + + // ======================================================================== + // RDFS axiomatic triples + // ======================================================================== + // The following RDFS axiomatic triples were taken from here: + // http://www.w3.org/TR/rdf-mt/#RDFSINTERP + // ======================================================================== + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + // ======================================================================== + // OWL Vocabulary + // ======================================================================== + // The following 'axiomatic triples for the OWL vocabulary were taken from here: + // http://www.w3.org/TR/2009/REC-owl2-rdf-based-semantics-20091027/#A_Set_of_Axiomatic_Triples + // ======================================================================== + + // Table 6.1: Axiomatic Triples for the Classes of the OWL 2 RDF-Based Vocabulary + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + // Table 6.2: Axiomatic Triples for the Properties of the OWL 2 RDF-Based Vocabulary + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + // Table 6.3: Axiomatic Triples for the Datatypes of the OWL 2 RDF-Based Semantics + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + // Table 6.4: Axiomatic Triples for the Facets of the OWL 2 RDF-Based Semantics + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + // Table 6.5: Additional Axiomatic Triples for Classes and Properties of the RDFS Vocabulary + + + + + + + + + + + + + + + + + + + + + // ======================================================================== + // OWL2 RL - Axioms about properties + // ======================================================================== + + // rule: prp-ap + // ------------ + + + + + + + + + + + + // ======================================================================== + // OWL2 RL - Axioms about classes + // ======================================================================== + + // rule: cls-thing + // --------------- + + + // rule: cls-nothing1 + // ------------------ + + + + // ======================================================================== + // OWL2 RL - Axioms about datatypes + // ======================================================================== + + // rule: dt-type1 + // -------------- + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +} + +Rules +{ +// ======================================================================== +// The Semantics of Equality +// ======================================================================== + + +Id: eq_sym + s o [Constraint s != o] + ------------------------------- + o s + +Id: eq_trans + x y [Constraint x != y] + y z [Constraint y != z] + ------------------------------- + x z + +Id: eq_rep_s + x y [Constraint x != y] + x p o + ------------------------------- + y p o + +Id: eq_rep_p + x y [Constraint x != y] + s x o + ------------------------------- + s y o + +Id: eq_rep_o + x y [Constraint x != y] + s p x + ------------------------------- + s p y + + +// ======================================================================== +// The Semantics of Axioms about Properties +// ======================================================================== + +// Id: prp-ap +// See the axiomatic triples in the Axioms section. + +Id: prp_dom + p c + x p y + ------------------------------- + x c + +Id: prp_rng + p c + x p y + ------------------------------- + y c + +Id: prp_fp + p + x p y1 [Constraint y1 != y2] + x p y2 [Cut] + ------------------------------- + y1 y2 + +Id: prp_ifp + p + x1 p y [Constraint x1 != x2] + x2 p y [Cut] + ------------------------------- + x1 x2 + + +Id: prp_symp + p + x p y + ------------------------------- + y p x + + +Id: prp_trp + p + x p y + y p z + ------------------------------- + x p z + +Id: prp_spo1 + p1 p2 + x p1 y + ------------------------------- + x p2 y + + +Id: prp_eqp1 + p1 p2 + x p1 y + ------------------------------- + x p2 y + +Id: prp_eqp2 + p1 p2 + x p2 y + ------------------------------- + x p1 y + + +Id: prp_inv1 + p1 p2 + x p1 y + ------------------------------- + y p2 x + +Id: prp_inv2 + p1 p2 + x p2 y + ------------------------------- + y p1 x + + +// ======================================================================== +// The Semantics of Classes +// ======================================================================== + +// Id: cls-thing +// (See the axiomatic triples in the Axioms section) + +// Id: cls-nothing1 +// (See the axiomatic triples in the Axioms section) + + + +// ======================================================================== +// The Semantics of Class Axioms +// ======================================================================== + +Id:cax_sco + c1 c2 [Constraint c1 != c2 ] + x c1 + ------------------------------- + x c2 + +Id: cax_eqc1 + c1 c2 [Constraint c1 != c2 ] + x c1 + ------------------------------- + x c2 + +Id: cax_eqc2 + c1 c2 [Constraint c1 != c2 ] + x c2 + ------------------------------- + x c1 + + +// ======================================================================== +// The Semantics of Datatypes +// ======================================================================== + +// Id: dt-type1 +// (See the axiomatic triples in the Axioms section) + +// These are not implemented (and probably not implementable) +// dt-type2 +// dt-eq +// dt-diff +// dt-not-type + + +// ======================================================================== +// The Semantics of Schema Vocabulary +// ======================================================================== + + +Id: scm_sco + c1 c2 + c2 c3 + ------------------------------- + c1 c3 + +Id: scm_eqc1 + c1 c2 [Constraint c1 != c2 ] + ------------------------------- + c1 c2 + c2 c1 + +Id: scm_eqc2 + c1 c2 [Constraint c1 != c2 ] + c2 c1 + ------------------------------- + c1 c2 + +Id: scm_spo + p1 p2 + p2 p3 + ------------------------------- + p1 p3 + +Id: scm_eqp1 + p1 p2 [Constraint p1 != p2 ] + ------------------------------- + p1 p2 + p2 p1 + +Id: scm_eqp2 + p1 p2 [Constraint p1 != p2 ] + p2 p1 + ------------------------------- + p1 p2 + +Id: scm_dom1 + p c1 + c1 c2 + ------------------------------- + p c2 + +Id: scm_dom2 + p2 c + p1 p2 + ------------------------------- + p1 c + +Id: scm_rng1 + p c1 + c1 c2 + ------------------------------- + p c2 + +Id: scm_rng2 + p2 c + p1 p2 + ------------------------------- + p1 c + +} diff --git a/target/classes/owlim-fragments/rdfsplus.pie b/target/classes/owlim-fragments/rdfsplus.pie new file mode 100644 index 0000000..af18064 --- /dev/null +++ b/target/classes/owlim-fragments/rdfsplus.pie @@ -0,0 +1,248 @@ +Prefices +{ + rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns# + rdfs : http://www.w3.org/2000/01/rdf-schema# + owl : http://www.w3.org/2002/07/owl# + xsd : http://www.w3.org/2001/XMLSchema# + onto : http://www.ontotext.com/ +} + + +Axioms +{ + +} + +Rules +{ +// ======================================================================== +// The Semantics of Equality +// ======================================================================== + + +Id: eq_sym + s o [Constraint s != o] + ------------------------------- + o s + +Id: eq_trans + x y [Constraint x != y] + y z [Constraint y != z] + ------------------------------- + x z + +Id: eq_rep_s + x y [Constraint x != y] + x p o + ------------------------------- + y p o + +Id: eq_rep_p + x y [Constraint x != y] + s x o + ------------------------------- + s y o + +Id: eq_rep_o + x y [Constraint x != y] + s p x + ------------------------------- + s p y + + +// ======================================================================== +// The Semantics of Axioms about Properties +// ======================================================================== + +// Id: prp-ap +// See the axiomatic triples in the Axioms section. + +Id: prp_dom + p c + x p y + ------------------------------- + x c + +Id: prp_rng + p c + x p y + ------------------------------- + y c + +Id: prp_fp + p + x p y1 [Constraint y1 != y2] + x p y2 [Cut] + ------------------------------- + y1 y2 + +Id: prp_ifp + p + x1 p y [Constraint x1 != x2] + x2 p y [Cut] + ------------------------------- + x1 x2 + + +Id: prp_symp + p + x p y + ------------------------------- + y p x + + +Id: prp_trp + p + x p y + y p z + ------------------------------- + x p z + +Id: prp_spo1 + p1 p2 + x p1 y + ------------------------------- + x p2 y + + +Id: prp_eqp1 + p1 p2 + x p1 y + ------------------------------- + x p2 y + +Id: prp_eqp2 + p1 p2 + x p2 y + ------------------------------- + x p1 y + + +Id: prp_inv1 + p1 p2 + x p1 y + ------------------------------- + y p2 x + +Id: prp_inv2 + p1 p2 + x p2 y + ------------------------------- + y p1 x + + +// ======================================================================== +// The Semantics of Classes +// ======================================================================== + +// Id: cls-thing +// (See the axiomatic triples in the Axioms section) + +// Id: cls-nothing1 +// (See the axiomatic triples in the Axioms section) + + + +// ======================================================================== +// The Semantics of Class Axioms +// ======================================================================== + +Id:cax_sco + c1 c2 [Constraint c1 != c2 ] + x c1 + ------------------------------- + x c2 + +Id: cax_eqc1 + c1 c2 [Constraint c1 != c2 ] + x c1 + ------------------------------- + x c2 + +Id: cax_eqc2 + c1 c2 [Constraint c1 != c2 ] + x c2 + ------------------------------- + x c1 + + +// ======================================================================== +// The Semantics of Datatypes +// ======================================================================== + +// Id: dt-type1 +// (See the axiomatic triples in the Axioms section) + +// These are not implemented (and probably not implementable) +// dt-type2 +// dt-eq +// dt-diff +// dt-not-type + + +// ======================================================================== +// The Semantics of Schema Vocabulary +// ======================================================================== + + +Id: scm_sco + c1 c2 + c2 c3 + ------------------------------- + c1 c3 + +Id: scm_eqc1 + c1 c2 [Constraint c1 != c2 ] + ------------------------------- + c1 c2 + c2 c1 + +Id: scm_eqc2 + c1 c2 [Constraint c1 != c2 ] + c2 c1 + ------------------------------- + c1 c2 + +Id: scm_spo + p1 p2 + p2 p3 + ------------------------------- + p1 p3 + +Id: scm_eqp1 + p1 p2 [Constraint p1 != p2 ] + ------------------------------- + p1 p2 + p2 p1 + +Id: scm_eqp2 + p1 p2 [Constraint p1 != p2 ] + p2 p1 + ------------------------------- + p1 p2 + +Id: scm_dom1 + p c1 + c1 c2 + ------------------------------- + p c2 + +Id: scm_dom2 + p2 c + p1 p2 + ------------------------------- + p1 c + +Id: scm_rng1 + p c1 + c1 c2 + ------------------------------- + p c2 + +Id: scm_rng2 + p2 c + p1 p2 + ------------------------------- + p1 c + +} diff --git a/target/classes/owlim-fragments/rhodf-withaxiomatictriples.save.unused b/target/classes/owlim-fragments/rhodf-withaxiomatictriples.save.unused new file mode 100644 index 0000000..99e5d79 --- /dev/null +++ b/target/classes/owlim-fragments/rhodf-withaxiomatictriples.save.unused @@ -0,0 +1,184 @@ +Prefices +{ + 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# +} + +Axioms +{ +// RDF axiomatic triples (from RDF Semantics, section 3.1): + + + + + + + + + + +// RDFS axiomatic triples (from RDF Semantics, section 4.1): + +/*[partialRDFS]*/ + + + + + + +/*[partialRDFS]*/ + + + + + +/*[partialRDFS]*/ + + + + + + + + + + + + + + + + + + + + + + + + + + + + +/*[partialRDFS]*/ + + + + + + + + + + + + + + + + + + + +} + + +Rules +{ + +// ======================================================================== +// The Semantics of Axioms about Properties +// ======================================================================== + +// Id: prp-ap +// See the axiomatic triples in the Axioms section. + +Id: prp_dom + p c + x p y + ------------------------------- + x c + +Id: prp_rng + p c + x p y + ------------------------------- + y c + + + +Id: prp_spo1 + p1 p2 + x p1 y + ------------------------------- + x p2 y + + + +// ======================================================================== +// The Semantics of Classes +// ======================================================================== + +// Id: cls-thing +// (See the axiomatic triples in the Axioms section) + +// Id: cls-nothing1 +// (See the axiomatic triples in the Axioms section) + + + +// ======================================================================== +// The Semantics of Class Axioms +// ======================================================================== + +Id:cax_sco + c1 c2 [Constraint c1 != c2 ] + x c1 + ------------------------------- + x c2 + +// ======================================================================== +// The Semantics of Datatypes +// ======================================================================== + +// Id: dt-type1 +// (See the axiomatic triples in the Axioms section) + +// These are not implemented (and probably not implementable) +// dt-type2 +// dt-eq +// dt-diff +// dt-not-type + + +// ======================================================================== +// The Semantics of Schema Vocabulary +// ======================================================================== + +Id: scm_dom2 + p2 c + p1 p2 + ------------------------------- + p1 c + +Id: scm_rng2 + p2 c + p1 p2 + ------------------------------- + p1 c + +Id: scm_sco + c1 c2 + c2 c3 + ------------------------------- + c1 c3 + +Id: scm_spo + p1 p2 + p2 p3 + ------------------------------- + p1 p3 + +} diff --git a/target/classes/owlim-fragments/rhodf.pie b/target/classes/owlim-fragments/rhodf.pie new file mode 100644 index 0000000..94044c9 --- /dev/null +++ b/target/classes/owlim-fragments/rhodf.pie @@ -0,0 +1,110 @@ +Prefices +{ + 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# +} + +Axioms +{ + +} + + +Rules +{ + +// ======================================================================== +// The Semantics of Axioms about Properties +// ======================================================================== + +// Id: prp-ap +// See the axiomatic triples in the Axioms section. + +Id: prp_dom + p c + x p y + ------------------------------- + x c + +Id: prp_rng + p c + x p y + ------------------------------- + y c + + + +Id: prp_spo1 + p1 p2 + x p1 y + ------------------------------- + x p2 y + + + +// ======================================================================== +// The Semantics of Classes +// ======================================================================== + +// Id: cls-thing +// (See the axiomatic triples in the Axioms section) + +// Id: cls-nothing1 +// (See the axiomatic triples in the Axioms section) + + + +// ======================================================================== +// The Semantics of Class Axioms +// ======================================================================== + +Id:cax_sco + c1 c2 [Constraint c1 != c2 ] + x c1 + ------------------------------- + x c2 + +// ======================================================================== +// The Semantics of Datatypes +// ======================================================================== + +// Id: dt-type1 +// (See the axiomatic triples in the Axioms section) + +// These are not implemented (and probably not implementable) +// dt-type2 +// dt-eq +// dt-diff +// dt-not-type + + +// ======================================================================== +// The Semantics of Schema Vocabulary +// ======================================================================== + +Id: scm_dom2 + p2 c + p1 p2 + ------------------------------- + p1 c + +Id: scm_rng2 + p2 c + p1 p2 + ------------------------------- + p1 c + +Id: scm_sco + c1 c2 [Constraint c1 != c3 ] + c2 c3 + ------------------------------- + c1 c3 + +Id: scm_spo + p1 p2 [Constraint p1 != p3 ] + p2 p3 + ------------------------------- + p1 p3 + +} diff --git a/target/maven-archiver/pom.properties b/target/maven-archiver/pom.properties new file mode 100644 index 0000000..7d34fbf --- /dev/null +++ b/target/maven-archiver/pom.properties @@ -0,0 +1,5 @@ +#Generated by Maven +#Thu Jul 07 17:05:00 CEST 2016 +version=0.0.1-SNAPSHOT +groupId=fr.ujm.tse.lt2c.satin +artifactId=inferray-benchmark diff --git a/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst b/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst new file mode 100644 index 0000000..9ec2aee --- /dev/null +++ b/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst @@ -0,0 +1,57 @@ +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$29.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$27.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$5.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$11.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$22.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$17.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/ReasonerBenchmarked.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/ReasonerBenchmarked$3.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$20.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchmarkExternalRun$1.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$3.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/ReasonerBenchmarked$1.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$25.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$23.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$14.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$7.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/LogicalFragmentBenchmarked$1.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/LogicalFragmentBenchmarked$4.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$19.class +fr/ujm/tse/lt2c/satin/perfstat/PerfResult.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/utils/ListableValues.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$6.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/utils/DatasetsUtil.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$15.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$16.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$8.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$21.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$26.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/BenchmarkType.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$10.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$30.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/ReasonerBenchmarked$6.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$2.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$9.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/utils/BenchmarkUtil.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$24.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchmarkExternalRun.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchmarkRunnerUtils.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$4.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/main/Benchmark.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/LogicalFragmentBenchmarked.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchmarkRunner.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/utils/ListableValuesHelper.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/ReasonerBenchmarked$4.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/CollectingLogOutputStream.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$18.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/ReasonerBenchmarked$2.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$13.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchRunConfiguration.class +fr/ujm/tse/lt2c/satin/reasoner/benchmark/runners/BenchmarkResult.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/ReasonerBenchmarked$5.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$28.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$1.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked$12.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/DatasetsBenchmarked.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/LogicalFragmentBenchmarked$2.class +fr/ujm/tse/lt2c/satin/inferray/benchmark/configuration/LogicalFragmentBenchmarked$3.class diff --git a/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/createdFiles.lst b/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/createdFiles.lst new file mode 100644 index 0000000..d084bbc --- /dev/null +++ b/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/createdFiles.lst @@ -0,0 +1,12 @@ +fr/ujm/tse/lt2c/inferray/benchmark/reasoners/Reasonable.class +fr/ujm/tse/lt2c/inferray/benchmark/utils/tests/UnzipTest.class +fr/ujm/tse/lt2c/inferray/benchmark/utils/tests/BenchmarkUtilsTest.class +fr/ujm/tse/lt2c/inferray/benchmark/configuration/tests/EnumsTest.class +fr/ujm/tse/lt2c/inferray/benchmark/utils/tests/IsIntegerTest.class +fr/ujm/tse/lt2c/inferray/benchmark/perfstataprsing/ParseResultTest.class +fr/ujm/tse/lt2c/inferray/benchmark/configuration/tests/myEnum.class +fr/ujm/tse/lt2c/inferray/benchmark/perfstataprsing/ParseResultTest39.class +fr/ujm/tse/lt2c/inferray/benchmark/reasoners/RunConfigurationResult.class +fr/ujm/tse/lt2c/inferray/benchmark/configuration/tests/CliTest.class +fr/ujm/tse/lt2c/inferray/benchmark/configuration/tests/DatasetsInitializationTest.class +fr/ujm/tse/lt2c/inferray/benchmark/configuration/tests/CliTest$1.class diff --git a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.xml b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.xml new file mode 100644 index 0000000..3b38d3c --- /dev/null +++ b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.xml @@ -0,0 +1,62 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.xml b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.xml new file mode 100644 index 0000000..d0748a6 --- /dev/null +++ b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.xml @@ -0,0 +1,65 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.xml b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.xml new file mode 100644 index 0000000..d0c76c4 --- /dev/null +++ b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.xml @@ -0,0 +1,62 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.xml b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.xml new file mode 100644 index 0000000..04371eb --- /dev/null +++ b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.xml @@ -0,0 +1,62 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.xml b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.xml new file mode 100644 index 0000000..140463b --- /dev/null +++ b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.xml @@ -0,0 +1,62 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.xml b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.xml new file mode 100644 index 0000000..f36d0fe --- /dev/null +++ b/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.xml @@ -0,0 +1,62 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.txt b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.txt new file mode 100644 index 0000000..cf6d4f8 --- /dev/null +++ b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.txt @@ -0,0 +1,4 @@ +------------------------------------------------------------------------------- +Test set: fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest +------------------------------------------------------------------------------- +Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 sec diff --git a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.txt b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.txt new file mode 100644 index 0000000..74ec131 --- /dev/null +++ b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.txt @@ -0,0 +1,4 @@ +------------------------------------------------------------------------------- +Test set: fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest +------------------------------------------------------------------------------- +Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec diff --git a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.txt b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.txt new file mode 100644 index 0000000..8368c76 --- /dev/null +++ b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.txt @@ -0,0 +1,4 @@ +------------------------------------------------------------------------------- +Test set: fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest +------------------------------------------------------------------------------- +Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.089 sec diff --git a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.txt b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.txt new file mode 100644 index 0000000..b3009f1 --- /dev/null +++ b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.txt @@ -0,0 +1,4 @@ +------------------------------------------------------------------------------- +Test set: fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest +------------------------------------------------------------------------------- +Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.002 sec diff --git a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.txt b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.txt new file mode 100644 index 0000000..3e06c8d --- /dev/null +++ b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.txt @@ -0,0 +1,4 @@ +------------------------------------------------------------------------------- +Test set: fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest +------------------------------------------------------------------------------- +Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.35 sec diff --git a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.txt b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.txt new file mode 100644 index 0000000..fac8f68 --- /dev/null +++ b/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.txt @@ -0,0 +1,4 @@ +------------------------------------------------------------------------------- +Test set: fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest +------------------------------------------------------------------------------- +Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.056 sec diff --git a/target/test-classes/test.zip b/target/test-classes/test.zip new file mode 100644 index 0000000..637abd3 Binary files /dev/null and b/target/test-classes/test.zip differ