diff --git a/.classpath b/.classpath deleted file mode 100644 index fc92e07..0000000 --- a/.classpath +++ /dev/null @@ -1,49 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - diff --git a/.project b/.project deleted file mode 100644 index bfe9f32..0000000 --- a/.project +++ /dev/null @@ -1,23 +0,0 @@ - - - inferray-benchmark - Benchmarking inferray against baselines for different logical fragments and triples volume. NO_M2ECLIPSE_SUPPORT: Project files created with the maven-eclipse-plugin are not supported in M2Eclipse. - - - - - org.eclipse.jdt.core.javabuilder - - - - - org.eclipse.m2e.core.maven2Builder - - - - - - org.eclipse.m2e.core.maven2Nature - org.eclipse.jdt.core.javanature - - diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index ec4300d..0000000 --- a/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,5 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.7 -org.eclipse.jdt.core.compiler.compliance=1.7 -org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning -org.eclipse.jdt.core.compiler.source=1.7 diff --git a/.settings/org.eclipse.m2e.core.prefs b/.settings/org.eclipse.m2e.core.prefs deleted file mode 100644 index f897a7f..0000000 --- a/.settings/org.eclipse.m2e.core.prefs +++ /dev/null @@ -1,4 +0,0 @@ -activeProfiles= -eclipse.preferences.version=1 -resolveWorkspaceProjects=true -version=1 diff --git a/README.md b/README.md index 98fdeb7..16ac22c 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@

- USE-RB + USE-RB

@@ -27,7 +27,7 @@ All these metrics are serialized in a result file, whose path is given as argume Here is an example on what can be drawn with the result file :

- example + example

## Table of Contents diff --git a/RemoteSystemsTempFiles/.project b/RemoteSystemsTempFiles/.project deleted file mode 100644 index 5447a64..0000000 --- a/RemoteSystemsTempFiles/.project +++ /dev/null @@ -1,12 +0,0 @@ - - - RemoteSystemsTempFiles - - - - - - - org.eclipse.rse.ui.remoteSystemsTempNature - - diff --git a/example-figure.png b/img/example-figure.png similarity index 100% rename from example-figure.png rename to img/example-figure.png diff --git a/userb.png b/img/userb.png similarity index 100% rename from userb.png rename to img/userb.png diff --git a/runBench-noperf.sh b/runBench-noperf.sh deleted file mode 100644 index 9a2d787..0000000 --- a/runBench-noperf.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/bash - -# T: timeout in seconds -# M: JVM max memory for each bench -# I: number of iterations to repeat for each bench -# E: location of ReasonersBenchamrked packaged jar file -# O: temporay output (where ReasonersBanchmarked wrote intermediate results) -# BRES: CSV file with all successful (timeout or not) run benchmarks) -# BERR: Error log file. -# DS: all for all available benchmark (filter in Benchmark#setBenchmarkTable) or test for a testing setting. - -cd ./target -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/benchmarkSmallTest.csv -BERR /home/satin/benchmark-errors.log diff --git a/runBench.sh b/runBench.sh deleted file mode 100755 index 1ba77a3..0000000 --- a/runBench.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash - -# T: timeout in seconds -# M: JVM max memory for each bench -# I: number of iterations to repeat for each bench -# E: location of ReasonersBenchamrked packaged jar file -# O: temporay output (where ReasonersBanchmarked wrote intermediate results) -# BRES: CSV file with all successful (timeout or not) run benchmarks) -# BERR: Error log file. -# DS: all for all available benchmark (filter in Benchmark#setBenchmarkTable) or test for a testing setting. -#Create jar for reasonersBenchmarked - -results="/home/satin/inferray-slider-total.csv" - -cd ../ReasonersBenchmarked -mvn clean install -cd ../Benchmark -#Create jar for benchmark -mvn clean install assembly:single -cd ./target -java -jar inferray-benchmark-0.0.1-SNAPSHOT-jar-with-dependencies.jar -T 900 -I 5 -M 30000 -E "/home/satin/inferray/ReasonersBenchmarked/target" -O /home/satin/benchmark-runs.txt -DS all -BRES $results -BERR /home/satin/benchmark-errors.log diff --git a/target/classes/command lines/Example of command lines b/target/classes/command lines/Example of command lines deleted file mode 100644 index 1115eb5..0000000 --- a/target/classes/command lines/Example of command lines +++ /dev/null @@ -1,8 +0,0 @@ -####### 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 deleted file mode 100644 index 42bee90..0000000 --- a/target/classes/inferray-benchmark.properties +++ /dev/null @@ -1,59 +0,0 @@ -# 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 deleted file mode 100644 index b831797..0000000 --- a/target/classes/inferray-files/rdfsAxiomatic.triples +++ /dev/null @@ -1,64 +0,0 @@ -#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 deleted file mode 100644 index 8aa4d9b..0000000 --- a/target/classes/log4j.properties +++ /dev/null @@ -1,13 +0,0 @@ -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 deleted file mode 100644 index c522d76..0000000 --- a/target/classes/owlim-fragments/rdfsplus-withaxiomatictriples.saev.unused +++ /dev/null @@ -1,725 +0,0 @@ -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 deleted file mode 100644 index af18064..0000000 --- a/target/classes/owlim-fragments/rdfsplus.pie +++ /dev/null @@ -1,248 +0,0 @@ -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 deleted file mode 100644 index 99e5d79..0000000 --- a/target/classes/owlim-fragments/rhodf-withaxiomatictriples.save.unused +++ /dev/null @@ -1,184 +0,0 @@ -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 deleted file mode 100644 index 94044c9..0000000 --- a/target/classes/owlim-fragments/rhodf.pie +++ /dev/null @@ -1,110 +0,0 @@ -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 deleted file mode 100644 index 7d34fbf..0000000 --- a/target/maven-archiver/pom.properties +++ /dev/null @@ -1,5 +0,0 @@ -#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 deleted file mode 100644 index 9ec2aee..0000000 --- a/target/maven-status/maven-compiler-plugin/compile/default-compile/createdFiles.lst +++ /dev/null @@ -1,57 +0,0 @@ -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 deleted file mode 100644 index d084bbc..0000000 --- a/target/maven-status/maven-compiler-plugin/testCompile/default-testCompile/createdFiles.lst +++ /dev/null @@ -1,12 +0,0 @@ -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 deleted file mode 100644 index 3b38d3c..0000000 --- a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.xml +++ /dev/null @@ -1,62 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ 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 deleted file mode 100644 index d0748a6..0000000 --- a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.xml +++ /dev/null @@ -1,65 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ 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 deleted file mode 100644 index d0c76c4..0000000 --- a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.xml +++ /dev/null @@ -1,62 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ 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 deleted file mode 100644 index 04371eb..0000000 --- a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.xml +++ /dev/null @@ -1,62 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ 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 deleted file mode 100644 index 140463b..0000000 --- a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.xml +++ /dev/null @@ -1,62 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ 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 deleted file mode 100644 index f36d0fe..0000000 --- a/target/surefire-reports/TEST-fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.xml +++ /dev/null @@ -1,62 +0,0 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \ 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 deleted file mode 100644 index cf6d4f8..0000000 --- a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.CliTest.txt +++ /dev/null @@ -1,4 +0,0 @@ -------------------------------------------------------------------------------- -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 deleted file mode 100644 index 74ec131..0000000 --- a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.configuration.tests.EnumsTest.txt +++ /dev/null @@ -1,4 +0,0 @@ -------------------------------------------------------------------------------- -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 deleted file mode 100644 index 8368c76..0000000 --- a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.perfstataprsing.ParseResultTest.txt +++ /dev/null @@ -1,4 +0,0 @@ -------------------------------------------------------------------------------- -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 deleted file mode 100644 index b3009f1..0000000 --- a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.BenchmarkUtilsTest.txt +++ /dev/null @@ -1,4 +0,0 @@ -------------------------------------------------------------------------------- -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 deleted file mode 100644 index 3e06c8d..0000000 --- a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.IsIntegerTest.txt +++ /dev/null @@ -1,4 +0,0 @@ -------------------------------------------------------------------------------- -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 deleted file mode 100644 index fac8f68..0000000 --- a/target/surefire-reports/fr.ujm.tse.lt2c.inferray.benchmark.utils.tests.UnzipTest.txt +++ /dev/null @@ -1,4 +0,0 @@ -------------------------------------------------------------------------------- -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 deleted file mode 100644 index 637abd3..0000000 Binary files a/target/test-classes/test.zip and /dev/null differ diff --git a/testBench.sh b/testBench.sh deleted file mode 100755 index 9e71325..0000000 --- a/testBench.sh +++ /dev/null @@ -1 +0,0 @@ -perf stat -B --repeat 1 -e branch-misses,LLC-loads,LLC-load-misses,LLC-stores,LLC-store-misses,LLC-prefetches,LLC-prefetch-misses,cache-references,cache-misses,cycles,instructions,branches,L1-dcache-prefetches,L1-dcache-prefetch-misses,cpu-clock,task-clock,cpu-cycles,stalled-cycles-frontend,stalled-cycles-backend,L1-dcache-loads,L1-dcache-load-misses,dTLB-loads,dTLB-load-misses,node-loads,node-load-misses,page-faults,L1-icache-loads,L1-icache-load-misses sh tmp.tmp