SuccessConsole Output

[INFO] 
[INFO] -------------------< org.dllearner:components-core >--------------------
[INFO] Building DL Learner Core Components 1.4.1-SNAPSHOT                 [2/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ components-core ---
[INFO] 
[INFO] --- jacoco-maven-plugin:0.8.4:prepare-agent (default) @ components-core ---
[INFO] argLine set to "-javaagent:/usr/share/tomcat8/.m2/repository/org/jacoco/org.jacoco.agent/0.8.4/org.jacoco.agent-0.8.4-runtime.jar=destfile=/usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/jacoco.exec"
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ components-core ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 7 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ components-core ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 570 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/main/java/org/dllearner/kb/dataset/TONESDataset.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/main/java/org/dllearner/kb/dataset/TONESDataset.java uses or overrides a deprecated API.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/main/java/org/dllearner/kb/dataset/TONESDataset.java: Recompile with -Xlint:deprecation for details.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/main/java/org/dllearner/utilities/ReasoningUtils.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/main/java/org/dllearner/utilities/ReasoningUtils.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:testResources (default-testResources) @ components-core ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 31 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ components-core ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 108 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/test-classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/test/java/org/dllearner/algorithms/pattern/OWLPatternDetectionTest.java: Some input files use or override a deprecated API.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/test/java/org/dllearner/algorithms/pattern/OWLPatternDetectionTest.java: Recompile with -Xlint:deprecation for details.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/QTLTest.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/QTLTest.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.0:test (default-test) @ components-core ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/surefire-reports
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.algorithms.meta.DisjunctiveCELATest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%
[.....] 9%
[.....] 18%
[=....] 27%
[=....] 36%
[==...] 45%
[==...] 54%
[===..] 63%
[===..] 72%
[====.] 81%
[====.] 90%materialising object properties ...
materialising datatype properties
...TBox materialised in 1581 ms.
computing next partial solution...
start class:Thing
more accurate (50.00%) class expression found after 50ms: Thing
more accurate (55.00%) class expression found after 126ms: A9
more accurate (60.00%) class expression found after 220ms: A10 or A2
more accurate (65.00%) class expression found after 489ms: A1 or A2 or A4
more accurate (70.00%) class expression found after 3s306ms: A1 or A10 or A3 or A6
Algorithm terminated successfully (time: 10s 0ms, 54603 descriptions tested, 39189 nodes in the search tree).

number of retrievals: 54776
retrieval reasoning time: 1s 498ms ( 0ms per retrieval)
(complex) subsumption checks: 200 (0 multiple)
subsumption reasoning time: 27ms ( 0ms per subsumption check)
overall reasoning time: 1s 525ms

solutions:
1: A1 or A10 or A3 or A6 (pred. acc.: 70.00%, F-measure: 57.14%)
2: A1 or A10 or A3 or A5 (pred. acc.: 70.00%, F-measure: 57.14%)
3: A1 or A10 or A3 or A4 (pred. acc.: 70.00%, F-measure: 57.14%)
4: A1 or A10 or A2 or A9 (pred. acc.: 70.00%, F-measure: 57.14%)
5: A1 or A10 or A2 or A8 (pred. acc.: 70.00%, F-measure: 57.14%)
6: A1 or A10 or A2 or A7 (pred. acc.: 70.00%, F-measure: 57.14%)
7: A1 or A10 or A2 or A6 (pred. acc.: 70.00%, F-measure: 57.14%)
8: A1 or A10 or A2 or A5 (pred. acc.: 70.00%, F-measure: 57.14%)
9: A1 or A10 or A2 or A4 (pred. acc.: 70.00%, F-measure: 57.14%)
10: A1 or A10 or A2 or A3 (pred. acc.: 70.00%, F-measure: 57.14%)

new partial solution found: A1 or A10 or A3 or A6(accuracy: 0.7)
computing next partial solution...
start class:Thing
more accurate (37.50%) class expression found after 0ms: Thing
more accurate (68.75%) class expression found after 3ms: A9
more accurate (75.00%) class expression found after 157ms: A5 or A7
more accurate (81.25%) class expression found after 2s60ms: A2 or A8 or A9
Algorithm terminated successfully (time: 10s 0ms, 63349 descriptions tested, 44845 nodes in the search tree).

number of retrievals: 118219
retrieval reasoning time: 3s 174ms ( 0ms per retrieval)
(complex) subsumption checks: 385 (0 multiple)
subsumption reasoning time: 83ms ( 0ms per subsumption check)
overall reasoning time: 3s 258ms

solutions:
1: A2 or A8 or A9 (pred. acc.: 81.25%, F-measure: 66.67%)
2: A2 or A7 or A9 (pred. acc.: 81.25%, F-measure: 66.67%)
3: A2 or A7 or A8 (pred. acc.: 81.25%, F-measure: 66.67%)
4: A2 or A5 or A9 (pred. acc.: 81.25%, F-measure: 66.67%)
5: A2 or A5 or A8 (pred. acc.: 81.25%, F-measure: 66.67%)
6: A2 or A5 or A7 (pred. acc.: 81.25%, F-measure: 66.67%)
7: A2 or A4 or A9 (pred. acc.: 81.25%, F-measure: 66.67%)
8: A2 or A4 or A8 (pred. acc.: 81.25%, F-measure: 66.67%)
9: A2 or A4 or A7 (pred. acc.: 81.25%, F-measure: 66.67%)
10: A2 or A4 or A5 (pred. acc.: 81.25%, F-measure: 66.67%)

new partial solution found: A2 or A8 or A9(accuracy: 0.8125)
computing next partial solution...
start class:Thing
more accurate (23.08%) class expression found after 0ms: Thing
more accurate (84.62%) class expression found after 2ms: A7
more accurate (92.31%) class expression found after 941ms: A5 or A7
Algorithm terminated successfully (time: 10s 0ms, 62668 descriptions tested, 30710 nodes in the search tree).

number of retrievals: 182898
retrieval reasoning time: 4s 818ms ( 0ms per retrieval)
(complex) subsumption checks: 14723 (0 multiple)
subsumption reasoning time: 295ms ( 0ms per subsumption check)
overall reasoning time: 5s 113ms

solutions:
1: A7 or (A5) (pred. acc.: 92.31%, F-measure: 80.00%)
2: A7 or (A4) (pred. acc.: 92.31%, F-measure: 80.00%)
3: A5 or (A7) (pred. acc.: 92.31%, F-measure: 80.00%)
4: A5 or (A4) (pred. acc.: 92.31%, F-measure: 80.00%)
5: A5 or A7 (pred. acc.: 92.31%, F-measure: 80.00%)
6: A4 or (A7) (pred. acc.: 92.31%, F-measure: 80.00%)
7: A4 or (A5) (pred. acc.: 92.31%, F-measure: 80.00%)
8: A4 or A7 (pred. acc.: 92.31%, F-measure: 80.00%)
9: A4 or A5 (pred. acc.: 92.31%, F-measure: 80.00%)
10: (A5 or A7) (pred. acc.: 92.31%, F-measure: 80.00%)

new partial solution found: A7 or (A5)(accuracy: 0.9230769230769231)
computing next partial solution...
start class:Thing
more accurate (9.09%) class expression found after 1ms: Thing
more accurate (100.00%) class expression found after 3ms: A4
Algorithm terminated successfully (time: 10s 3ms, 11053 descriptions tested, 4516 nodes in the search tree).

number of retrievals: 193985
retrieval reasoning time: 5s 433ms ( 0ms per retrieval)
(complex) subsumption checks: 14741 (0 multiple)
subsumption reasoning time: 296ms ( 0ms per subsumption check)
overall reasoning time: 5s 729ms

solutions:
1: A4 (pred. acc.: 100.00%, F-measure: 100.00%)
2: A4 or A9 (pred. acc.: 100.00%, F-measure: 100.00%)
3: A4 or A8 (pred. acc.: 100.00%, F-measure: 100.00%)
4: A4 or A7 (pred. acc.: 100.00%, F-measure: 100.00%)
5: A4 or A6 (pred. acc.: 100.00%, F-measure: 100.00%)
6: A4 or A5 (pred. acc.: 100.00%, F-measure: 100.00%)
7: A3 or A4 (pred. acc.: 100.00%, F-measure: 100.00%)
8: A2 or A4 (pred. acc.: 100.00%, F-measure: 100.00%)
9: A10 or A4 (pred. acc.: 100.00%, F-measure: 100.00%)
10: A1 or A4 (pred. acc.: 100.00%, F-measure: 100.00%)

new partial solution found: A4(accuracy: 1.0)
finished computation in 40s 25ms.
 top 10 solutions:
1: A4 or (A1 or A10 or A3 or A6) or (A2 or A8 or A9) or (A7 or (A5)) 100.00%
2: (A1 or A10 or A3 or A6) or (A2 or A8 or A9) or (A7 or (A5)) 92.31%
3: (A1 or A10 or A3 or A6) or (A2 or A8 or A9) 81.25%
4: (A1 or A10 or A3 or A6) 70.00%

[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 43.099 s - in org.dllearner.algorithms.meta.DisjunctiveCELATest
[INFO] Running org.dllearner.algorithms.schema.RDFSSchemaGeneratorTest
generating RDFS schema...
A
Started learning of SubClassOf axioms for class http://dl-learner.org/test/A...
...finished learning of SubClassOf axioms for class http://dl-learner.org/test/A in 83ms.
Found 1 axiom candidates. 
Best axiom candidate is A SubClassOf B with an accuracy of 0.6428
B
Started learning of SubClassOf axioms for class http://dl-learner.org/test/B...
...finished learning of SubClassOf axioms for class http://dl-learner.org/test/B in 18ms.
Found 1 axiom candidates. 
Best axiom candidate is B SubClassOf A with an accuracy of 0.7951
A
Started learning of SubClassOf axioms for class http://dl-learner.org/test/A...
...finished learning of SubClassOf axioms for class http://dl-learner.org/test/A in 21ms.
Found 1 axiom candidates. 
Best axiom candidate is A SubClassOf B with an accuracy of 0.8369
B
Started learning of SubClassOf axioms for class http://dl-learner.org/test/B...
...finished learning of SubClassOf axioms for class http://dl-learner.org/test/B in 15ms.
Found 1 axiom candidates. 
Best axiom candidate is B SubClassOf A with an accuracy of 0.8369
generated schema:
B SubClassOf A
A SubClassOf B
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.813 s - in org.dllearner.algorithms.schema.RDFSSchemaGeneratorTest
[INFO] Running org.dllearner.algorithms.schema.SchemaGeneratorTest
Started learning of ObjectPropertyRange axioms for object property http://dl-learner.org/data/p...
...finished learning of ObjectPropertyRange axioms for object property http://dl-learner.org/data/p in 158ms.
Found 3 axiom candidates. 
Best axiom candidate is ⊤ ⊑ ∀ p.C with an accuracy of 0.9976
Started learning of ObjectPropertyDomain axioms for object property http://dl-learner.org/data/p...
...finished learning of ObjectPropertyDomain axioms for object property http://dl-learner.org/data/p in 99ms.
Found 3 axiom candidates. 
Best axiom candidate is ∃ p.⊤ ⊑ B with an accuracy of 0.9976
Started learning of ObjectPropertyRange axioms for object property http://dl-learner.org/data/p...
...finished learning of ObjectPropertyRange axioms for object property http://dl-learner.org/data/p in 141ms.
Found 3 axiom candidates. 
Best axiom candidate is ⊤ ⊑ ∀ p.C with an accuracy of 0.9988
Started learning of ObjectPropertyDomain axioms for object property http://dl-learner.org/data/p...
...finished learning of ObjectPropertyDomain axioms for object property http://dl-learner.org/data/p in 131ms.
Found 3 axiom candidates. 
Best axiom candidate is ∃ p.⊤ ⊑ A with an accuracy of 0.9988
Started learning of ObjectPropertyRange axioms for object property http://dl-learner.org/data/p...
...finished learning of ObjectPropertyRange axioms for object property http://dl-learner.org/data/p in 209ms.
Found 3 axiom candidates. 
Best axiom candidate is ⊤ ⊑ ∀ p.C with an accuracy of 0.6664
Started learning of ObjectPropertyDomain axioms for object property http://dl-learner.org/data/p...
...finished learning of ObjectPropertyDomain axioms for object property http://dl-learner.org/data/p in 141ms.
Found 3 axiom candidates. 
Best axiom candidate is ∃ p.⊤ ⊑ C with an accuracy of 0.6664
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.76 s - in org.dllearner.algorithms.schema.SchemaGeneratorTest
[INFO] Running org.dllearner.algorithms.pattern.OWLAxiomRenamerTest
A SubClassOf B->A_1 SubClassOf A_2
B SubClassOf C->A_1 SubClassOf A_2
A SubClassOf B and (r some C)->A_1 SubClassOf A_2 and (p some A_3)
A SubClassOf C and (s some B)->A_1 SubClassOf A_2 and (p some A_3)
A SubClassOf B and (r some (A or B))->A_1 SubClassOf A_2 and (p some (A_1 or A_2))
A SubClassOf B and (s some (A or B))->A_1 SubClassOf A_2 and (p some (A_1 or A_2))
A_1 DisjointWith class_set
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.006 s - in org.dllearner.algorithms.pattern.OWLAxiomRenamerTest
[INFO] Running org.dllearner.algorithms.qtl.heuristics.QueryTreeEditDistanceTest
TREE [
<A>
	<p> ---> ?
		<p> ---> <A1>
]
TREE [
<B>
	<p> ---> <B1>
		<p> ---> <A1>
]
TREE [
<C>
	<p> ---> ?
		<p> ---> ?
]
d(t1,t2) = 0.14310084364067377
d(t1,t3) = 0.15415067982725827
d(t2,t3) = 0.22314355131420993
[INFO] Tests run: 8, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.04 s - in org.dllearner.algorithms.qtl.heuristics.QueryTreeEditDistanceTest
[INFO] Running org.dllearner.algorithms.qtl.operations.lgg.LGGGeneratorRDFSTest
SPARQL KB setup:
Endpoint:       in-memory model          
Profile:        org.apache.jena.ontology.impl.OWLProfile@6c052730

TREE [
<http://dl-learner.org/test/x1>
	<http://dl-learner.org/test/r> ---> <http://dl-learner.org/test/y1>
]
TREE [
<http://dl-learner.org/test/x2>
	rdf:type ---> <http://dl-learner.org/test/A>
]
TREE [
?
	rdf:type ---> <http://dl-learner.org/test/A>
]
TREE [
<http://dl-learner.org/test/x3>
	<http://dl-learner.org/test/s> ---> <http://dl-learner.org/test/y2>
]
TREE [
<http://dl-learner.org/test/x4>
	rdf:type ---> <http://dl-learner.org/test/B>
		rdfs:subClassOf ---> <http://dl-learner.org/test/C>
]
LCS(http://dl-learner.org/test/C, http://dl-learner.org/test/B)Preparing class subsumption hierarchy ...
... done in 8ms
 = null
TREE [
?
]
TREE [
<http://dl-learner.org/test/x5>
	<http://dl-learner.org/test/t> ---> <http://dl-learner.org/test/y3>
		rdf:type ---> <http://dl-learner.org/test/B>
]
TREE [
<http://dl-learner.org/test/x6>
	<http://dl-learner.org/test/t> ---> <http://dl-learner.org/test/y4>
]
LCS(http://dl-learner.org/test/B, http://dl-learner.org/test/C) = null
TREE [
?
	<http://dl-learner.org/test/t> ---> ?
		rdf:type ---> <http://dl-learner.org/test/C>
]
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.649 s - in org.dllearner.algorithms.qtl.operations.lgg.LGGGeneratorRDFSTest
[INFO] Running org.dllearner.algorithms.qtl.operations.TreePruningTest
[3ecfd2768b3a0697e5b0a5656ff46067, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/C]
[http://test.org/b, http://test.org/p2, "lit"]
[http://test.org/b, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/B]
[http://test.org/b, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/A]
[http://test.org/t3, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, 866a7dfab2ee47b7d174c97024453213]
[http://test.org/t3, http://test.org/p, http://test.org/c]
[http://test.org/c, http://test.org/p, 7d5516db557aaa0d28a8c3b9aaa95946]
[http://test.org/c, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/D]
[http://test.org/c, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, 7d5516db557aaa0d28a8c3b9aaa95946]
[http://test.org/c, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/A]
[e36fab895cd3c85a4691e3992075338e, http://www.w3.org/2000/01/rdf-schema#subClassOf, 9fda738e1bed407c43120e7f4af238cd]
[29ffde458e3533d26ddd8f3a8367fd13, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/C]
[http://test.org/a, http://test.org/p2, 665db779e8574f3c47750ea0e38d8954]
[http://test.org/a, http://test.org/p2, 3ecfd2768b3a0697e5b0a5656ff46067]
[http://test.org/a, http://test.org/p2, 29ffde458e3533d26ddd8f3a8367fd13]
[http://test.org/a, http://test.org/p1, http://test.org/b]
[http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, e36fab895cd3c85a4691e3992075338e]
[http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, 866a7dfab2ee47b7d174c97024453213]
[http://test.org/t2, http://test.org/p, http://test.org/c]
[7d5516db557aaa0d28a8c3b9aaa95946, http://test.org/p1, 8dc39c581bf0b557c5a676c77de8bc74]
TREE [
<http://test.org/a>
	<http://test.org/p1> ---> <http://test.org/b>
		<http://test.org/p2> ---> "lit"
		rdf:type ---> <http://test.org/A>
		rdf:type ---> <http://test.org/B>
	<http://test.org/p2> ---> ?
		rdf:type ---> <http://test.org/C>
	<http://test.org/p2> ---> ?
		rdf:type ---> <http://test.org/C>
	<http://test.org/p2> ---> ?
]
TREE [
<http://test.org/a>
	<http://test.org/p1> ---> <http://test.org/b>
		<http://test.org/p2> ---> "lit"
		rdf:type ---> <http://test.org/A>
		rdf:type ---> <http://test.org/B>
	<http://test.org/p2> ---> ?
		rdf:type ---> <http://test.org/C>
]
TREE [
<http://test.org/t2>
	<http://test.org/p> ---> <http://test.org/c>
		<http://test.org/p> ---> ?
			<http://test.org/p1> ---> ?
		rdf:type ---> ?
			<http://test.org/p1> ---> ?
		rdf:type ---> <http://test.org/A>
		rdf:type ---> <http://test.org/D>
	rdf:type ---> ?
	rdf:type ---> ?
		rdfs:subClassOf ---> ?
]
TREE [
<http://test.org/t2>
	<http://test.org/p> ---> <http://test.org/c>
		<http://test.org/p> ---> ?
			<http://test.org/p1> ---> ?
		rdf:type ---> ?
			<http://test.org/p1> ---> ?
		rdf:type ---> <http://test.org/A>
		rdf:type ---> <http://test.org/D>
]
TREE [
<http://test.org/t3>
	<http://test.org/p> ---> <http://test.org/c>
		<http://test.org/p> ---> ?
			<http://test.org/p1> ---> ?
		rdf:type ---> ?
			<http://test.org/p1> ---> ?
		rdf:type ---> <http://test.org/A>
		rdf:type ---> <http://test.org/D>
	rdf:type ---> ?
]
TREE [
<http://test.org/t3>
	<http://test.org/p> ---> <http://test.org/c>
		rdf:type ---> <http://test.org/A>
		rdf:type ---> <http://test.org/D>
]
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 s - in org.dllearner.algorithms.qtl.operations.TreePruningTest
[INFO] Running org.dllearner.algorithms.qtl.operations.LCSTest
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in org.dllearner.algorithms.qtl.operations.LCSTest
[INFO] Running org.dllearner.algorithms.qtl.operations.LGGTest
Operation took 72ms
Tree 1
TREE [
<http://test.org/a5>
	rdf:type ---> <http://test.org/A>
		rdfs:subClassOf ---> <http://test.org/B>
]
Tree 2
TREE [
<http://test.org/a6>
	rdf:type ---> <http://test.org/B>
]
LGG_simple(T1,T2)
TREE [
?
	rdf:type ---> ?
]
Target LGG
TREE [
?
	rdf:type ---> <http://test.org/B>
]
LCS(http://test.org/A, http://test.org/B) = http://test.org/B
LGG_RDFS(T1,T2)
TREE [
?
	rdf:type ---> <http://test.org/B>
]
Tree 1
TREE [
<http://test.org/a1>
	<http://test.org/r> ---> <http://test.org/A>
		rdfs:subClassOf ---> <http://test.org/B>
]
Tree 2
TREE [
<http://test.org/a2>
	<http://test.org/s> ---> <http://test.org/A>
		rdfs:subClassOf ---> <http://test.org/B>
]
LGG_simple(T1,T2)
TREE [
?
]
Target LGG
TREE [
?
	<http://test.org/s> ---> <http://test.org/A>
		rdfs:subClassOf ---> <http://test.org/B>
]
LGG_RDFS(T1,T2)
TREE [
?
	<http://test.org/s> ---> <http://test.org/A>
		rdfs:subClassOf ---> <http://test.org/B>
]
Tree 3
TREE [
<http://test.org/a1>
	<http://test.org/r> ---> <http://test.org/A>
		rdfs:subClassOf ---> <http://test.org/B>
]
Tree 4
TREE [
<http://test.org/a2>
	<http://test.org/s> ---> <http://test.org/A>
		rdfs:subClassOf ---> <http://test.org/B>
]
Target LGG
TREE [
?
	<http://test.org/s> ---> ?
		<http://test.org/p> ---> ?
]
LGG_RDFS(T3,T4)
TREE [
?
	<http://test.org/s> ---> ?
		<http://test.org/p> ---> ?
]
TREE [
?
	dbo:activeYearsStartYear ---> ?^^xsd:gYear
	dbo:birthDate ---> ?^^xsd:date
	dbo:birthName ---> ?^^rdf:langString
	dbo:birthPlace ---> ?
		<http://dbpedia.org/ontology/PopulatedPlace/areaTotal> ---> ?^^dt:squareKilometre
		dbo:areaCode ---> ?^^xsd:string
		dbo:areaLand ---> ?^^xsd:double
		dbo:areaTotal ---> ?^^xsd:double
		dbo:areaWater ---> ?^^xsd:double
		dbo:country ---> dbpedia:United_States
		dbo:elevation ---> ?^^xsd:double
		dbo:isPartOf ---> ?
		dbo:leaderTitle ---> "Mayor"@en
		dbo:leaderTitle ---> ?^^rdf:langString
		dbo:populationTotal ---> ?^^xsd:nonNegativeInteger
		dbo:postalCode ---> ?^^xsd:string
		dbo:timeZone ---> ?
		dbo:type ---> ?
		dbo:utcOffset ---> ?^^xsd:string
		rdf:type ---> dbo:City
		rdf:type ---> dbo:Location
		rdf:type ---> dbo:Place
		rdf:type ---> dbo:PopulatedPlace
		rdf:type ---> dbo:Settlement
	dbo:birthYear ---> ?^^xsd:gYear
	dbo:occupation ---> ?
		dbo:title ---> ?^^rdf:langString
		rdf:type ---> dbo:PersonFunction
	dbo:spouse ---> ?
		dbo:activeYearsStartYear ---> ?^^xsd:gYear
		dbo:birthDate ---> ?^^xsd:date
		dbo:birthName ---> ?^^rdf:langString
		dbo:birthPlace ---> dbpedia:Los_Angeles
		dbo:birthYear ---> ?^^xsd:gYear
		dbo:occupation ---> ?
		dbo:relative ---> ?
		dbo:spouse ---> ?
		rdf:type ---> dbo:Agent
		rdf:type ---> dbo:Person
	rdf:type ---> dbo:Agent
	rdf:type ---> dbo:Person
]
[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.448 s - in org.dllearner.algorithms.qtl.operations.LGGTest
[INFO] Running org.dllearner.algorithms.qtl.operations.SubsumptionTest
[efc33aec5caca3f4614e3315689c261b, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/A]
[594cee8b57c08534c12d47badfa7156a, http://www.w3.org/2000/01/rdf-schema#subClassOf, efc33aec5caca3f4614e3315689c261b]
[http://test.org/t3, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, 29cf5207e5ac8a978515c57a05961142]
[29cf5207e5ac8a978515c57a05961142, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/B]
[a2, http://test.org/p1, 6a4d637512d0f0c0c58c84f376e13ec6]
[fbd2ee990ebc90094eb0e480502759d0, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/A]
[http://test.org/t1, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/A]
[6a4d637512d0f0c0c58c84f376e13ec6, http://test.org/p2, http://test.org/b]
[http://test.org/t4, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, 594cee8b57c08534c12d47badfa7156a]
[http://test.org/A, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/B]
[http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, fbd2ee990ebc90094eb0e480502759d0]
[a1, http://test.org/p1, 0f59c8397fe9c03e1e3608e40f3f893d]
TREE [
<t1>
	rdf:type ---> <A>
		rdfs:subClassOf ---> <B>
]
TREE [
<t2>
	rdf:type ---> ?
		rdfs:subClassOf ---> <A>
			rdfs:subClassOf ---> <B>
]
TREE [
<t3>
	rdf:type ---> ?
		rdfs:subClassOf ---> <B>
]
TREE [
<t4>
	rdf:type ---> ?
		rdfs:subClassOf ---> ?
			rdfs:subClassOf ---> <A>
]
TREE [
?
	<p1> ---> ?
]
TREE [
?
	<p1> ---> ?
		<p2> ---> <b>
]
TREE [
?
	<http://test.org/p1> ---> ?
]
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.026 s - in org.dllearner.algorithms.qtl.operations.SubsumptionTest
[INFO] Running org.dllearner.algorithms.qtl.QTLTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 s - in org.dllearner.algorithms.qtl.QTLTest
[INFO] Running org.dllearner.algorithms.qtl.TreeSubsumptionTest
	?(0)
	--- r ---
		?(0)
		--- s ---
			?(0)
		--- t ---
			?(0)
			--- u ---
				A(0)
	?(0)
	--- r ---
		?(0)
		--- s ---
			?(0)
		--- t ---
			?(0)
			--- u ---
				?(0)
[INFO] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.62 s - in org.dllearner.algorithms.qtl.TreeSubsumptionTest
[INFO] Running org.dllearner.core.AnnComponentManagerTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.32 s - in org.dllearner.core.AnnComponentManagerTest
[INFO] Running org.dllearner.learningproblems.ClassAsInstanceLearningProblemTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
No negative examples set
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.015 s - in org.dllearner.learningproblems.ClassAsInstanceLearningProblemTest
[INFO] Running org.dllearner.kb.OWLAPIOntologyTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.135 s - in org.dllearner.kb.OWLAPIOntologyTest
[INFO] Running org.dllearner.kb.sparql.SparqlKnowledgeSourceTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.046 s - in org.dllearner.kb.sparql.SparqlKnowledgeSourceTest
[INFO] Running org.dllearner.test.PunningTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%
[.....] 8%
[.....] 16%
[=....] 25%
[=....] 33%
[==...] 41%
[==...] 50%
[==...] 58%
[===..] 66%
[===..] 75%materialising object properties ...

[====.] 83%
[====.] 91%materialising datatype properties
...TBox materialised in 4 ms.
Classes: [Auto, Bahn, Fahrrad, Fahrzeug, Gummireifen, Moped, Schubkarre, Tram, Transporthilfe, Werkstoff]
Individuals: [Auto, BRIDGESTONE_XYZ, DEMA_ABC23, Fahrrad, GUMMI, Gummireifen, HEIDENAU_K36, Moped, PNEUMANT_4711, Schubkarre, CLIPSO90MG#4567, MIFA23#3456, S51#2345, SIEMENS425#567, TATRAT3#678, TRABANT601#1234]
Fahrzeug
[MIFA23#3456, S51#2345, SIEMENS425#567, TATRAT3#678, TRABANT601#1234]
Fahrzeug ⊓ (∃ relatedTo.⊤)
[MIFA23#3456, S51#2345, TRABANT601#1234]
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.⊤))
[MIFA23#3456, S51#2345, TRABANT601#1234]
###############
Refinements:
Auto ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Bahn ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrrad ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.⊤))
1.0
Fahrzeug ⊓ Gummireifen ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ Transporthilfe ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ Werkstoff ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ (Fahrzeug ⊔ Fahrzeug) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
1.0
Fahrzeug ⊓ (Fahrzeug ⊔ Gummireifen) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
1.0
Fahrzeug ⊓ (Fahrzeug ⊔ Transporthilfe) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
1.0
Fahrzeug ⊓ (Fahrzeug ⊔ Werkstoff) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
1.0
Fahrzeug ⊓ (Gummireifen ⊔ Gummireifen) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ (Gummireifen ⊔ Transporthilfe) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ (Gummireifen ⊔ Werkstoff) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ (Transporthilfe ⊔ Transporthilfe) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ (Transporthilfe ⊔ Werkstoff) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ (Werkstoff ⊔ Werkstoff) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Fahrzeug ⊓ (∃ relatedTo.⊤) ⊓ (∃ relatedTo.(∃ bereifung.⊤))
1.0
Fahrzeug ⊓ (∃ relatedTo.(Fahrzeug ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(Gummireifen ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(Transporthilfe ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(Werkstoff ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Fahrzeug ⊔ Fahrzeug) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Fahrzeug ⊔ Gummireifen) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Fahrzeug ⊔ Transporthilfe) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Fahrzeug ⊔ Werkstoff) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Gummireifen ⊔ Gummireifen) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Gummireifen ⊔ Transporthilfe) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Gummireifen ⊔ Werkstoff) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Transporthilfe ⊔ Transporthilfe) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Transporthilfe ⊔ Werkstoff) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((Werkstoff ⊔ Werkstoff) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((∃ relatedTo.⊤) ⊓ (∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((∃ bereifung.⊤) ⊓ (∃ bereifung.⊤)))
1.0
Fahrzeug ⊓ (∃ relatedTo.((∃ bereifung.⊤) ⊓ (∃ bestehtAus.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.((∃ bereifung.⊤) ⊓ (∀ bereifung.⊤)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.Fahrzeug))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.Gummireifen))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.Transporthilfe))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.Werkstoff))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.⊤)) ⊓ (∃ bereifung.⊤)
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.⊤)) ⊓ (∃ bestehtAus.⊤)
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.⊤)) ⊓ (∀ relatedTo.⊤)
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Fahrzeug)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Fahrzeug ⊔ Fahrzeug)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Fahrzeug ⊔ Gummireifen)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Fahrzeug ⊔ Transporthilfe)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Fahrzeug ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Gummireifen)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Gummireifen ⊔ Gummireifen)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Gummireifen ⊔ Transporthilfe)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Gummireifen ⊔ Werkstoff)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Transporthilfe)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Transporthilfe ⊔ Transporthilfe)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Transporthilfe ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ Werkstoff ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ (∃ relatedTo.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ (∃ bereifung.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ (∃ bestehtAus.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ (∀ relatedTo.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ (∀ bereifung.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Fahrzeug ⊔ (∀ bestehtAus.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Gummireifen)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Gummireifen ⊔ Gummireifen)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Gummireifen ⊔ Transporthilfe)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Gummireifen ⊔ Werkstoff)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Transporthilfe)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Transporthilfe ⊔ Transporthilfe)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Transporthilfe ⊔ Werkstoff)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Werkstoff)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ Werkstoff ⊔ Werkstoff)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ (∃ relatedTo.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ (∃ bereifung.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ (∃ bestehtAus.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ (∀ relatedTo.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ (∀ bereifung.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Gummireifen ⊔ (∀ bestehtAus.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ Transporthilfe)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ Transporthilfe ⊔ Transporthilfe)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ Transporthilfe ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ Werkstoff ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ (∃ relatedTo.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ (∃ bereifung.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ (∃ bestehtAus.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ (∀ relatedTo.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ (∀ bereifung.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Transporthilfe ⊔ (∀ bestehtAus.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ Werkstoff ⊔ Werkstoff)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ (∃ relatedTo.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ (∃ bereifung.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ (∃ bestehtAus.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ (∀ relatedTo.⊤))))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ (∀ bereifung.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(Werkstoff ⊔ (∀ bestehtAus.⊤))))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(∃ relatedTo.⊤)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(∃ bereifung.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(∃ bestehtAus.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(∀ relatedTo.⊤)))
-1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(∀ bereifung.⊤)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(∀ bestehtAus.⊤)))
1.0
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(≤ 1 relatedTo.⊤)))
1.0
Fahrzeug ⊓ (≥ 2 relatedTo.(∃ bereifung.⊤))
-1.0
Moped ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
Tram ⊓ (∃ relatedTo.(∃ bereifung.⊤))
-1.0
###############
Fahrzeug ⊓ (∃ relatedTo.(∃ bereifung.(∃ relatedTo.⊤)))
[MIFA23#3456, S51#2345, TRABANT601#1234]
Entities that are class and individual:
[http://ex.org/Auto, http://ex.org/Gummireifen, http://ex.org/Schubkarre, http://ex.org/Fahrrad, http://ex.org/Moped]
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.326 s - in org.dllearner.test.PunningTest
[INFO] Running org.dllearner.test.junit.RefinementOperatorTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Compound ⊓ Compound
Compound ⊓ (¬Alcohol)
Compound ⊓ (¬Alkyl_halide)
Compound ⊓ (¬Amine)
Compound ⊓ (¬Amino)
Compound ⊓ (¬Ar_halide)
Compound ⊓ (¬Arsenic-101)
Compound ⊓ (¬Barium-115)
Compound ⊓ (¬Bond-1)
Compound ⊓ (¬Bond-2)
Compound ⊓ (¬Bond-3)
Compound ⊓ (¬Bond-7)
Compound ⊓ (¬Bromine-94)
Compound ⊓ (¬Calcium-84)
Compound ⊓ (¬Carbon-10)
Compound ⊓ (¬Carbon-14)
Compound ⊓ (¬Carbon-15)
Compound ⊓ (¬Carbon-16)
Compound ⊓ (¬Carbon-17)
Compound ⊓ (¬Carbon-19)
Compound ⊓ (¬Carbon-191)
Compound ⊓ (¬Carbon-192)
Compound ⊓ (¬Carbon-193)
Compound ⊓ (¬Carbon-21)
Compound ⊓ (¬Carbon-22)
Compound ⊓ (¬Carbon-232)
Compound ⊓ (¬Carbon-26)
Compound ⊓ (¬Carbon-27)
Compound ⊓ (¬Carbon-29)
Compound ⊓ (¬Chlorine-93)
Compound ⊓ (¬Compound)
Compound ⊓ (¬Copper-96)
Compound ⊓ (¬Cyanate)
Compound ⊓ (¬Di10)
Compound ⊓ (¬Di227)
Compound ⊓ (¬Di23)
Compound ⊓ (¬Di232)
Compound ⊓ (¬Di260)
Compound ⊓ (¬Di281)
Compound ⊓ (¬Di48)
Compound ⊓ (¬Di51)
Compound ⊓ (¬Di64)
Compound ⊓ (¬Di66)
Compound ⊓ (¬Di67a)
Compound ⊓ (¬Di8)
Compound ⊓ (¬Ester)
Compound ⊓ (¬Ether)
Compound ⊓ (¬Ethoxy)
Compound ⊓ (¬Five_ring)
Compound ⊓ (¬Fluorine-92)
Compound ⊓ (¬Gallium)
Compound ⊓ (¬Halide10)
Compound ⊓ (¬Hydrogen-1)
Compound ⊓ (¬Hydrogen-2)
Compound ⊓ (¬Hydrogen-3)
Compound ⊓ (¬Hydrogen-8)
Compound ⊓ (¬Imine)
Compound ⊓ (¬Iodine-95)
Compound ⊓ (¬Ketone)
Compound ⊓ (¬Krypton-83)
Compound ⊓ (¬Lead-121)
Compound ⊓ (¬Manganese-85)
Compound ⊓ (¬Mercury-120)
Compound ⊓ (¬Methanol)
Compound ⊓ (¬Methoxy)
Compound ⊓ (¬Methyl)
Compound ⊓ (¬Molybdenum)
Compound ⊓ (¬Nitro)
Compound ⊓ (¬Nitrogen-31)
Compound ⊓ (¬Nitrogen-32)
Compound ⊓ (¬Nitrogen-33)
Compound ⊓ (¬Nitrogen-34)
Compound ⊓ (¬Nitrogen-35)
Compound ⊓ (¬Nitrogen-36)
Compound ⊓ (¬Nitrogen-37)
Compound ⊓ (¬Nitrogen-38)
Compound ⊓ (¬Nitrogen-499)
Compound ⊓ (¬Non_ar_5c_ring)
Compound ⊓ (¬Non_ar_6c_ring)
Compound ⊓ (¬Non_ar_hetero_5_ring)
Compound ⊓ (¬Non_ar_hetero_6_ring)
Compound ⊓ (¬Oxygen-40)
Compound ⊓ (¬Oxygen-41)
Compound ⊓ (¬Oxygen-42)
Compound ⊓ (¬Oxygen-45)
Compound ⊓ (¬Oxygen-49)
Compound ⊓ (¬Oxygen-50)
Compound ⊓ (¬Oxygen-51)
Compound ⊓ (¬Oxygen-52)
Compound ⊓ (¬Oxygen-53)
Compound ⊓ (¬Phenol)
Compound ⊓ (¬Phosphorus-60)
Compound ⊓ (¬Phosphorus-61)
Compound ⊓ (¬Phosphorus-62)
Compound ⊓ (¬Ring_size_4)
Compound ⊓ (¬Selenium-102)
Compound ⊓ (¬Six_ring)
Compound ⊓ (¬Sodium-81)
Compound ⊓ (¬Sulfide)
Compound ⊓ (¬Sulfo)
Compound ⊓ (¬Sulfur-70)
Compound ⊓ (¬Sulfur-72)
Compound ⊓ (¬Sulfur-74)
Compound ⊓ (¬Sulfur-75)
Compound ⊓ (¬Sulfur-76)
Compound ⊓ (¬Sulfur-77)
Compound ⊓ (¬Sulfur-78)
Compound ⊓ (¬Sulfur-79)
Compound ⊓ (¬Tellurium-129)
Compound ⊓ (¬Tin-113)
Compound ⊓ (¬Titanium-134)
Compound ⊓ (¬Vanadium)
Compound ⊓ (¬Zinc-87)
Compound ⊓ (∃ amesTestPositive.({false}))
Compound ⊓ (∃ amesTestPositive.({true}))
Compound ⊓ (∃ chromaberr.({false}))
Compound ⊓ (∃ chromaberr.({true}))
Compound ⊓ (∃ chromex.({false}))
Compound ⊓ (∃ chromex.({true}))
Compound ⊓ (∃ cytogen_ca.({false}))
Compound ⊓ (∃ cytogen_ca.({true}))
Compound ⊓ (∃ cytogen_sce.({false}))
Compound ⊓ (∃ cytogen_sce.({true}))
Compound ⊓ (∃ drosophila_rt.({false}))
Compound ⊓ (∃ drosophila_rt.({true}))
Compound ⊓ (∃ drosophila_slrl.({false}))
Compound ⊓ (∃ drosophila_slrl.({true}))
Compound ⊓ (∃ isMutagenic.({false}))
Compound ⊓ (∃ isMutagenic.({true}))
Compound ⊓ (∃ micronuc_f.({false}))
Compound ⊓ (∃ micronuc_f.({true}))
Compound ⊓ (∃ micronuc_m.({false}))
Compound ⊓ (∃ micronuc_m.({true}))
Compound ⊓ (∃ mouse_lymph.({false}))
Compound ⊓ (∃ mouse_lymph.({true}))
Compound ⊓ (∃ salmonella.({false}))
Compound ⊓ (∃ salmonella.({true}))
Compound ⊓ (∃ salmonella_n.({false}))
Compound ⊓ (∃ salmonella_n.({true}))
Compound ⊓ (∃ salmonella_reduc.({false}))
Compound ⊓ (∃ salmonella_reduc.({true}))
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
∃ p.⊤
∃ p⁻.⊤
∀ p.⊤
∀ p⁻.⊤
≤ 0 p.⊤
∃ p.self
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
∃ p.⊤
∃ p⁻.⊤
∀ p.⊤
∀ p⁻.⊤
∃ p.{b}
∃ p.{c}
∃ p⁻.{b}
∃ p⁻.{c}
≤ 4 p.⊤
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
limo
car ⊓ (∃ hasOwner.man)
limo ⊓ (∃ hasOwner.person)
∃ hasOwner.man
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
male ⊓ male
male ⊓ (female ⊔ female)
male ⊓ (female ⊔ male)
male ⊓ (male ⊔ male)
male ⊓ (¬female)
male ⊓ (¬male)
male ⊓ (∃ hasChild.⊤)
male ⊓ (∀ hasChild.⊤)
topObjectProperty
  hasChild

Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Connection ⊓ EPC ⊓ (∃ hasModelElements.Object)
EPC ⊓ Model ⊓ (∃ hasModelElements.Object)
EPC ⊓ Object ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ Connection) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ Model) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ Object) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬AND)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬Connection)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬EPC_RS002)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬EPC_RS004)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬Event)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬Function)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬OR)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Connection ⊔ (¬XOR)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ Model) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ Object) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬AND)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬Connection)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬EPC_RS002)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬EPC_RS004)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬Event)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬Function)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬OR)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Model ⊔ (¬XOR)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ Object) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬AND)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬Connection)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬EPC_RS002)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬EPC_RS004)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬Event)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬Function)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬OR)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (Object ⊔ (¬XOR)) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬AND) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬Connection) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬EPC_RS002) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬EPC_RS004) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬Event) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬Function) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬OR) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (¬XOR) ⊓ (∃ hasModelElements.Object)
EPC ⊓ (∃ hasModelElements.Event)
EPC ⊓ (∃ hasModelElements.Function)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (∃ hasModelElements.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (∃ nextObject.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (∃ previousObjects.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (∃ sourceObject.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (∃ targetObject.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (∀ hasModelElements.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (≤ 4 hasModelElements.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (≤ 4 nextObject.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (≤ 4 previousObjects.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (≤ 0 sourceObject.⊤)
EPC ⊓ (∃ hasModelElements.Object) ⊓ (≤ 0 targetObject.⊤)
EPC ⊓ (∃ hasModelElements.Rule)
EPC ⊓ (∃ hasModelElements.(Object ⊓ Object))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ Connection)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ Model)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ Object)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬AND))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬Connection))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬EPC_RS002))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬EPC_RS004))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬Event))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬Function))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬OR))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Connection ⊔ (¬XOR))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ Model)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ Object)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬AND))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬Connection))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬EPC_RS002))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬EPC_RS004))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬Event))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬Function))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬OR))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Model ⊔ (¬XOR))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ Object)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬AND))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬Connection))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬EPC_RS002))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬EPC_RS004))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬Event))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬Function))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬OR))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (Object ⊔ (¬XOR))))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬AND)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬Connection)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬EPC_RS002)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬EPC_RS004)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬Event)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬Function)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬OR)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (¬XOR)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (∃ hasModelElements.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (∃ nextObject.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (∃ previousObjects.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (∃ sourceObject.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (∃ targetObject.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (≤ 4 hasModelElements.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (≤ 4 nextObject.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (≤ 4 previousObjects.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (≤ 0 sourceObject.⊤)))
EPC ⊓ (∃ hasModelElements.(Object ⊓ (≤ 0 targetObject.⊤)))
EPC ⊓ (≥ 2 hasModelElements.Object)
EPC_RS002 ⊓ (∃ hasModelElements.Object)
EPC_RS004 ⊓ (∃ hasModelElements.Object)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
 UNIT TEST INCOMPLETE AFTER FRAMEWORK CHANGE, BECAUSE CLASS HIERARCHY IS NOT PASSED TO REFINEMENT OPERATOR 
∃ hasPiece.(∃ hasLowerRankThan.(BKing ⊓ WRook))
∃ hasPiece.(∃ hasLowerRankThan.(WKing ⊓ WRook))
∃ hasPiece.(∃ hasLowerRankThan.(WRook ⊓ WRook))
∃ hasPiece.(∃ hasLowerRankThan.(WRook ⊓ (¬BKing)))
∃ hasPiece.(∃ hasLowerRankThan.(WRook ⊓ (¬WKing)))
∃ hasPiece.(∃ hasLowerRankThan.(WRook ⊓ (¬WRook)))
∃ hasPiece.(≥ 2 hasLowerRankThan.(WRook ⊓ ⊤))
≥ 2 hasPiece.(∃ hasLowerRankThan.(WRook ⊓ ⊤))
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
car ⊓ (∃ hasOwner.man)
car ⊓ (∃ hasOwner.woman)
limo ⊓ (∃ hasOwner.person)
suv ⊓ (∃ hasOwner.person)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
(¬Requirement) ⊔ (∀ isCreatedBy.(¬Creditor))
(¬AbstractRequirement) ⊔ (∀ isCreatedBy.(¬Creditor))
(¬Requirement) ⊔ (∀ isCreatedBy.(¬Stakeholder))
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
female
male
person ⊓ person
person ⊓ (City ⊔ City)
person ⊓ (City ⊔ person)
person ⊓ (person ⊔ person)
person ⊓ (¬City)
person ⊓ (¬fatherBornInLeipzig)
person ⊓ (¬female)
person ⊓ (∃ birthPlaceOf.⊤)
person ⊓ (∃ isChildOf.⊤)
[INFO] Tests run: 11, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.062 s - in org.dllearner.test.junit.RefinementOperatorTest
[INFO] Running org.dllearner.test.junit.ReasonerTest
Notice: root element does not have an xml:base. Relative IRIs will be resolved against file:/usr/share/tomcat8/.jenkins/jobs/DL-Learner%20Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/test/resources/nlp2rdf/positives.owl
Notice: root element does not have an xml:base. Relative IRIs will be resolved against file:/usr/share/tomcat8/.jenkins/jobs/DL-Learner%20Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/test/resources/nlp2rdf/string.owl
Notice: root element does not have an xml:base. Relative IRIs will be resolved against file:/usr/share/tomcat8/.jenkins/jobs/DL-Learner%20Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/src/test/resources/nlp2rdf/sso.owl
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%
[.....] 0%
[.....] 1%
[.....] 1%
[.....] 2%
[.....] 2%
[.....] 3%
[.....] 3%
[.....] 4%
[.....] 4%
[.....] 5%
[.....] 5%
[.....] 6%
[.....] 6%
[.....] 7%
[.....] 7%
[.....] 8%
[.....] 8%
[.....] 9%
[.....] 9%
[.....] 10%
[.....] 10%
[.....] 11%
[.....] 11%
[.....] 12%
[.....] 12%
[.....] 13%
[.....] 13%
[.....] 14%
[.....] 14%
[.....] 15%
[.....] 15%
[.....] 16%
[.....] 17%
[.....] 17%
[.....] 18%
[.....] 18%
[.....] 19%
[.....] 19%
[=....] 20%
[=....] 20%
[=....] 21%
[=....] 21%
[=....] 22%
[=....] 22%
[=....] 23%
[=....] 23%
[=....] 24%
[=....] 24%
[=....] 25%
[=....] 25%
[=....] 26%
[=....] 26%
[=....] 27%
[=....] 27%
[=....] 28%
[=....] 28%
[=....] 29%
[=....] 29%
[=....] 30%
[=....] 30%
[=....] 31%
[=....] 31%
[=....] 32%
[=....] 32%
[=....] 33%
[=....] 34%
[=....] 34%
[=....] 35%
[=....] 35%
[=....] 36%
[=....] 36%
[=....] 37%
[=....] 37%
[=....] 38%
[=....] 38%
[=....] 39%
[=....] 39%
[==...] 40%
[==...] 40%
[==...] 41%
[==...] 41%
[==...] 42%
[==...] 42%
[==...] 43%
[==...] 43%
[==...] 44%
[==...] 44%
[==...] 45%
[==...] 45%
[==...] 46%
[==...] 46%
[==...] 47%
[==...] 47%
[==...] 48%
[==...] 48%
[==...] 49%
[==...] 50%
[==...] 50%
[==...] 51%
[==...] 51%materialising object properties ...

[==...] 52%
[==...] 52%
[==...] 53%
[==...] 53%
[==...] 54%
[==...] 54%
[==...] 55%
[==...] 55%
[==...] 56%
[==...] 56%
[==...] 57%
[==...] 57%
[==...] 58%
[==...] 58%
[==...] 59%
[==...] 59%
[===..] 60%
[===..] 60%
[===..] 61%
[===..] 61%
[===..] 62%
[===..] 62%
[===..] 63%
[===..] 63%
[===..] 64%
[===..] 64%
[===..] 65%
[===..] 65%
[===..] 66%
[===..] 67%
[===..] 67%
[===..] 68%
[===..] 68%
[===..] 69%
[===..] 69%
[===..] 70%
[===..] 70%
[===..] 71%
[===..] 71%
[===..] 72%
[===..] 72%
[===..] 73%
[===..] 73%
[===..] 74%
[===..] 74%
[===..] 75%
[===..] 75%
[===..] 76%
[===..] 76%
[===..] 77%
[===..] 77%
[===..] 78%
[===..] 78%
[===..] 79%
[===..] 79%
[====.] 80%
[====.] 80%
[====.] 81%
[====.] 81%
[====.] 82%
[====.] 82%
[====.] 83%
[====.] 84%
[====.] 84%
[====.] 85%
[====.] 85%
[====.] 86%
[====.] 86%
[====.] 87%
[====.] 87%
[====.] 88%
[====.] 88%
[====.] 89%
[====.] 89%
[====.] 90%
[====.] 90%
[====.] 91%
[====.] 91%
[====.] 92%
[====.] 92%
[====.] 93%
[====.] 93%
[====.] 94%
[====.] 94%materialising datatype properties

[====.] 95%
[====.] 95%
[====.] 96%
[====.] 96%
[====.] 97%
[====.] 97%
[====.] 98%
[====.] 98%
[====.] 99%...TBox materialised in 1272 ms.
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.793 s - in org.dllearner.test.junit.ReasonerTest
[INFO] Running org.dllearner.test.junit.UtilitiesTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
[]: 
  classes: []
  object properties: [hasChild, married]
[hasChild]: 
  classes: []
  object properties: []
[married]: 
  classes: []
  object properties: []

[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in org.dllearner.test.junit.UtilitiesTest
[INFO] Running org.dllearner.test.junit.ConfigOptionTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in org.dllearner.test.junit.ConfigOptionTest
[INFO] Running org.dllearner.test.junit.ParserTest
∃ someproperty.{someindividual}
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in org.dllearner.test.junit.ParserTest
[INFO] Running org.dllearner.test.junit.HeuristicTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
[INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.135 s - in org.dllearner.test.junit.HeuristicTest
[INFO] Running org.dllearner.test.junit.PropertyAxiomLearningTest
Started learning of ObjectPropertyDomain axioms for object property http://dllearner.org/test/op1...
Generating sample...
...done. Sample size: 232 triples
Learning of ObjectPropertyDomain axioms ...
    50%
    100%
 ... ObjectPropertyDomain axioms finished
...finished learning of ObjectPropertyDomain axioms for object property http://dllearner.org/test/op1 in 71ms.
Found 2 axiom candidates. 
Best axiom candidate is ∃ op1.⊤ ⊑ A with an accuracy of 0.7126
∃ op1.⊤ ⊑ A(0.7126037418604017)
Started learning of ReflexiveObjectProperty axioms for object property http://dbpedia.org/ontology/influencedBy...
Cannot make ReflexiveObjectProperty axiom suggestions for empty object property http://dbpedia.org/ontology/influencedBy
[]
Started learning of SymmetricObjectProperty axioms for object property http://dbpedia.org/ontology/influencedBy...
Cannot make SymmetricObjectProperty axiom suggestions for empty object property http://dbpedia.org/ontology/influencedBy
[]
Started learning of FunctionalObjectProperty axioms for object property http://dbpedia.org/ontology/league...
Cannot make FunctionalObjectProperty axiom suggestions for empty object property http://dbpedia.org/ontology/league
[]
Started learning of EquivalentObjectProperties axioms for object property http://dllearner.org/test/op1...
Generating sample...
...done. Sample size: 191 triples
Learning of EquivalentObjectProperties axioms ...
    100%
 ... EquivalentObjectProperties axioms finished
...finished learning of EquivalentObjectProperties axioms for object property http://dllearner.org/test/op1 in 41ms.
Found 1 axiom candidates. 
Best axiom candidate is op1 ≡ op2 with an accuracy of 0.4626
op1 ≡ op2(0.4626865671641791)
Started learning of DisjointDataProperties axioms for data property http://dbpedia.org/ontology/height...
Cannot make DisjointDataProperties axiom suggestions for empty data property http://dbpedia.org/ontology/height
[]
Started learning of ObjectPropertyRange axioms for object property http://dbpedia.org/ontology/writer...
Cannot make ObjectPropertyRange axiom suggestions for empty object property http://dbpedia.org/ontology/writer
[]
Started learning of EquivalentDataProperties axioms for data property http://dbpedia.org/ontology/height...
Cannot make EquivalentDataProperties axiom suggestions for empty data property http://dbpedia.org/ontology/height
[]
Started learning of SubObjectPropertyOf axioms for object property http://dllearner.org/test/op1...
Generating sample...
...done. Sample size: 191 triples
Learning of SubObjectPropertyOf axioms ...
    100%
 ... SubObjectPropertyOf axioms finished
...finished learning of SubObjectPropertyOf axioms for object property http://dllearner.org/test/op1 in 24ms.
Found 1 axiom candidates. 
Best axiom candidate is op1 ⊑ op2 with an accuracy of 0.4626
op1 ⊑ op2(0.4626865671641791)
[INFO] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.151 s - in org.dllearner.test.junit.PropertyAxiomLearningTest
[INFO] Running org.dllearner.test.junit.SimulationTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
[INFO] Tests run: 7, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.037 s - in org.dllearner.test.junit.SimulationTest
[INFO] Running org.dllearner.test.junit.ComponentTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in org.dllearner.test.junit.ComponentTest
[INFO] Running org.dllearner.test.junit.LiteralLearningTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 2 ms.
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (100.00%) class expression found after 4ms: ∃ stringValue.({X})
Algorithm terminated successfully (time: 846ms, 1000 descriptions tested, 811 nodes in the search tree).

number of retrievals: 1345
retrieval reasoning time: 53ms ( 0ms per retrieval)
(complex) subsumption checks: 975 (0 multiple)
subsumption reasoning time: 59ms ( 0ms per subsumption check)
overall reasoning time: 112ms

solutions:
1: ∃ stringValue.({X}) (pred. acc.: 100.00%, F-measure: 100.00%)
2: (∃ stringValue.({X})) (pred. acc.: 100.00%, F-measure: 100.00%)
3: A ⊓ (∃ stringValue.({X})) (pred. acc.: 100.00%, F-measure: 100.00%)
4: A (pred. acc.: 50.00%, F-measure: 66.67%)
5: ⊤ (pred. acc.: 50.00%, F-measure: 66.67%)
6: A (pred. acc.: 50.00%, F-measure: 66.67%)
7: ⊤ (pred. acc.: 50.00%, F-measure: 66.67%)
8: A (pred. acc.: 50.00%, F-measure: 66.67%)
9: A ⊔ (∃ stringValue.({Y})) (pred. acc.: 50.00%, F-measure: 66.67%)
10: A ⊔ (∃ stringValue.({X})) (pred. acc.: 50.00%, F-measure: 66.67%)

Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 1 ms.
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (66.67%) class expression found after 26ms: ∃ value.(dateTime[≤ 2001-01-24T12:34:56])
more accurate (83.33%) class expression found after 51ms: ∃ value.(dateTime[≤ 1972-01-22T11:11:11])
more accurate (100.00%) class expression found after 167ms: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 1972-01-22T11:11:11])
Algorithm terminated successfully (time: 884ms, 1000 descriptions tested, 729 nodes in the search tree).

number of retrievals: 1063
retrieval reasoning time: 481ms ( 0ms per retrieval)
(complex) subsumption checks: 107 (0 multiple)
subsumption reasoning time: 61ms ( 0ms per subsumption check)
overall reasoning time: 542ms

solutions:
1: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 1972-01-22T11:11:11]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 1971-01-24T02:22:22]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(dateTime[≤ 1972-01-22T11:11:11]) (pred. acc.: 83.33%, F-measure: 85.71%)
4: ∃ value.(dateTime[≤ 1971-01-24T02:22:22]) (pred. acc.: 83.33%, F-measure: 85.71%)
5: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 2001-01-24T12:34:56]) (pred. acc.: 83.33%, F-measure: 85.71%)
6: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 1999-01-03T04:33:21]) (pred. acc.: 83.33%, F-measure: 85.71%)
7: ∃ value.(dateTime[≥ 1970-01-05T10:09:10 , ≤ 1972-01-22T11:11:11]) (pred. acc.: 83.33%, F-measure: 85.71%)
8: ∃ value.(dateTime[≥ 1970-01-05T10:09:10 , ≤ 1971-01-24T02:22:22]) (pred. acc.: 83.33%, F-measure: 85.71%)
9: ∃ value.(dateTime[≥ 1950-01-31T21:19:00 , ≤ 1972-01-22T11:11:11]) (pred. acc.: 83.33%, F-measure: 85.71%)
10: ∃ value.(dateTime[≥ 1950-01-31T21:19:00 , ≤ 1971-01-24T02:22:22]) (pred. acc.: 83.33%, F-measure: 85.71%)

Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 2 ms.
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 6ms: ∃ value.(double[≤ 101.0])
more accurate (100.00%) class expression found after 6ms: ∃ value.(double[≤ 55.0])
Algorithm terminated successfully (time: 1s 410ms, 1000 descriptions tested, 925 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 57ms ( 0ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 130ms ( 0ms per subsumption check)
overall reasoning time: 188ms

solutions:
1: ∃ value.(double[≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(double[≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(double[≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(double[≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(double[≤ 5.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(double[≤ 3.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(double[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(double[≥ 1.0 , ≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(double[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(double[≥ 105.5])) ⊔ (∃ value.(double[≤ 9.5])) (pred. acc.: 100.00%, F-measure: 100.00%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 69ms: ∃ value.(double[≤ 101.0])
more accurate (100.00%) class expression found after 77ms: ∃ value.(double[≤ 55.0])
Algorithm terminated successfully (time: 4s 238ms, 1000 descriptions tested, 925 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 3s 556ms ( 2ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 68ms ( 0ms per subsumption check)
overall reasoning time: 3s 625ms

solutions:
1: ∃ value.(double[≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(double[≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(double[≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(double[≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(double[≤ 5.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(double[≤ 3.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(double[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(double[≥ 1.0 , ≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(double[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(double[≥ 105.5])) ⊔ (∃ value.(double[≤ 9.5])) (pred. acc.: 100.00%, F-measure: 100.00%)

Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 2 ms.
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 12ms: ∃ value.(short[≤ 101])
more accurate (100.00%) class expression found after 12ms: ∃ value.(short[≤ 55])
Algorithm terminated successfully (time: 793ms, 1000 descriptions tested, 923 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 61ms ( 0ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 138ms ( 0ms per subsumption check)
overall reasoning time: 199ms

solutions:
1: ∃ value.(short[≤ 9]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(short[≤ 7]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(short[≤ 6]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(short[≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(short[≤ 5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(short[≤ 3]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(short[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(short[≥ 1 , ≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(short[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(short[≥ 105])) ⊔ (∃ value.(short[≤ 9])) (pred. acc.: 100.00%, F-measure: 100.00%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 20ms: ∃ value.(short[≤ 101])
more accurate (100.00%) class expression found after 25ms: ∃ value.(short[≤ 55])
Algorithm terminated successfully (time: 3s 282ms, 1000 descriptions tested, 923 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 2s 638ms ( 2ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 62ms ( 0ms per subsumption check)
overall reasoning time: 2s 701ms

solutions:
1: ∃ value.(short[≤ 9]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(short[≤ 7]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(short[≤ 6]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(short[≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(short[≤ 5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(short[≤ 3]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(short[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(short[≥ 1 , ≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(short[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(short[≥ 105])) ⊔ (∃ value.(short[≤ 9])) (pred. acc.: 100.00%, F-measure: 100.00%)

Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 1 ms.
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (66.67%) class expression found after 2ms: ∃ value.(gMonth[≤ --11])
more accurate (83.33%) class expression found after 6ms: ∃ value.(gMonth[≤ --05])
more accurate (100.00%) class expression found after 41ms: ∃ value.(gMonth[≥ --03 , ≤ --05])
Algorithm terminated successfully (time: 369ms, 1000 descriptions tested, 752 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 169ms ( 0ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 17ms ( 0ms per subsumption check)
overall reasoning time: 186ms

solutions:
1: ∃ value.(gMonth[≥ --03 , ≤ --05]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(gMonth[≤ --05]) (pred. acc.: 83.33%, F-measure: 85.71%)
3: ∃ value.(gMonth[≥ --03 , ≤ --11]) (pred. acc.: 83.33%, F-measure: 85.71%)
4: ∃ value.(gMonth[≥ --03 , ≤ --10]) (pred. acc.: 83.33%, F-measure: 85.71%)
5: ∃ value.(gMonth[≥ --03 , ≤ --09]) (pred. acc.: 83.33%, F-measure: 85.71%)
6: ∃ value.(gMonth[≥ --03 , ≤ --08]) (pred. acc.: 83.33%, F-measure: 85.71%)
7: ∃ value.(gMonth[≥ --03 , ≤ --07]) (pred. acc.: 83.33%, F-measure: 85.71%)
8: ∃ value.(gMonth[≥ --03 , ≤ --06]) (pred. acc.: 83.33%, F-measure: 85.71%)
9: ∃ value.(gMonth[≥ --02 , ≤ --05]) (pred. acc.: 83.33%, F-measure: 85.71%)
10: ∃ value.(gMonth[≥ --01 , ≤ --05]) (pred. acc.: 83.33%, F-measure: 85.71%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (66.67%) class expression found after 8ms: ∃ value.(gMonth[≤ --11])
more accurate (83.33%) class expression found after 25ms: ∃ value.(gMonth[≤ --05])
more accurate (100.00%) class expression found after 131ms: ∃ value.(gMonth[≥ --03 , ≤ --05])
Algorithm terminated successfully (time: 1s 546ms, 1000 descriptions tested, 752 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 1s 352ms ( 1ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 6ms ( 0ms per subsumption check)
overall reasoning time: 1s 359ms

solutions:
1: ∃ value.(gMonth[≥ --03 , ≤ --05]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(gMonth[≤ --05]) (pred. acc.: 83.33%, F-measure: 85.71%)
3: ∃ value.(gMonth[≥ --03 , ≤ --11]) (pred. acc.: 83.33%, F-measure: 85.71%)
4: ∃ value.(gMonth[≥ --03 , ≤ --10]) (pred. acc.: 83.33%, F-measure: 85.71%)
5: ∃ value.(gMonth[≥ --03 , ≤ --09]) (pred. acc.: 83.33%, F-measure: 85.71%)
6: ∃ value.(gMonth[≥ --03 , ≤ --08]) (pred. acc.: 83.33%, F-measure: 85.71%)
7: ∃ value.(gMonth[≥ --03 , ≤ --07]) (pred. acc.: 83.33%, F-measure: 85.71%)
8: ∃ value.(gMonth[≥ --03 , ≤ --06]) (pred. acc.: 83.33%, F-measure: 85.71%)
9: ∃ value.(gMonth[≥ --02 , ≤ --05]) (pred. acc.: 83.33%, F-measure: 85.71%)
10: ∃ value.(gMonth[≥ --01 , ≤ --05]) (pred. acc.: 83.33%, F-measure: 85.71%)

4
-1
Same sorting:false
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 0 ms.
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 2ms: ∃ value.(integer[≤ 101])
more accurate (100.00%) class expression found after 2ms: ∃ value.(integer[≤ 55])
Algorithm terminated successfully (time: 772ms, 1000 descriptions tested, 926 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 45ms ( 0ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 91ms ( 0ms per subsumption check)
overall reasoning time: 137ms

solutions:
1: ∃ value.(integer[≤ 9]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(integer[≤ 7]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(integer[≤ 6]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(integer[≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(integer[≤ 5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(integer[≤ 3]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(integer[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(integer[≥ 1 , ≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(integer[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(integer[≥ 105])) ⊔ (∃ value.(integer[≤ 9])) (pred. acc.: 100.00%, F-measure: 100.00%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 19ms: ∃ value.(integer[≤ 101])
more accurate (100.00%) class expression found after 23ms: ∃ value.(integer[≤ 55])
Algorithm terminated successfully (time: 3s 49ms, 1000 descriptions tested, 926 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 2s 457ms ( 1ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 44ms ( 0ms per subsumption check)
overall reasoning time: 2s 501ms

solutions:
1: ∃ value.(integer[≤ 9]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(integer[≤ 7]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(integer[≤ 6]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(integer[≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(integer[≤ 5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(integer[≤ 3]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(integer[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(integer[≥ 1 , ≤ 55]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(integer[≤ 55])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(integer[≥ 105])) ⊔ (∃ value.(integer[≤ 9])) (pred. acc.: 100.00%, F-measure: 100.00%)

Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 0 ms.
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 2ms: ∃ value.(float[≤ 101.0])
more accurate (100.00%) class expression found after 3ms: ∃ value.(float[≤ 55.0])
Algorithm terminated successfully (time: 752ms, 1000 descriptions tested, 922 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 42ms ( 0ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 100ms ( 0ms per subsumption check)
overall reasoning time: 143ms

solutions:
1: ∃ value.(float[≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(float[≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(float[≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(float[≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(float[≤ 5.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(float[≤ 3.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(float[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(float[≥ 1.0 , ≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(float[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(float[≥ 105.5])) ⊔ (∃ value.(float[≤ 9.5])) (pred. acc.: 100.00%, F-measure: 100.00%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (83.33%) class expression found after 19ms: ∃ value.(float[≤ 101.0])
more accurate (100.00%) class expression found after 23ms: ∃ value.(float[≤ 55.0])
Algorithm terminated successfully (time: 3s 290ms, 1000 descriptions tested, 922 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 2s 618ms ( 2ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 64ms ( 0ms per subsumption check)
overall reasoning time: 2s 682ms

solutions:
1: ∃ value.(float[≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(float[≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
3: ∃ value.(float[≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
4: ∃ value.(float[≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
5: ∃ value.(float[≤ 5.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
6: ∃ value.(float[≤ 3.5]) (pred. acc.: 100.00%, F-measure: 100.00%)
7: (∃ value.(float[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
8: ∃ value.(float[≥ 1.0 , ≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%)
9: Number ⊓ (∃ value.(float[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (∃ value.(float[≥ 105.5])) ⊔ (∃ value.(float[≤ 9.5])) (pred. acc.: 100.00%, F-measure: 100.00%)

Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%materialising object properties ...
materialising datatype properties

[==...] 50%...TBox materialised in 0 ms.
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (66.67%) class expression found after 13ms: ∃ value.(date[≤ 2001-09-24])
more accurate (83.33%) class expression found after 23ms: ∃ value.(date[≤ 1971-09-24])
more accurate (100.00%) class expression found after 60ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24])
Algorithm terminated successfully (time: 381ms, 1000 descriptions tested, 746 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 195ms ( 0ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 10ms ( 0ms per subsumption check)
overall reasoning time: 206ms

solutions:
1: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(date[≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
3: ∃ value.(date[≥ 1970-01-22 , ≤ 2001-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
4: ∃ value.(date[≥ 1970-01-22 , ≤ 1999-03-03]) (pred. acc.: 83.33%, F-measure: 85.71%)
5: ∃ value.(date[≥ 1970-01-22 , ≤ 1980-04-10]) (pred. acc.: 83.33%, F-measure: 85.71%)
6: ∃ value.(date[≥ 1970-01-22 , ≤ 1976-11-29]) (pred. acc.: 83.33%, F-measure: 85.71%)
7: ∃ value.(date[≥ 1970-01-22 , ≤ 1974-10-06]) (pred. acc.: 83.33%, F-measure: 85.71%)
8: ∃ value.(date[≥ 1970-01-22 , ≤ 1972-03-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
9: ∃ value.(date[≥ 1970-01-05 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
10: ∃ value.(date[≥ 1950-12-31 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)

start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (66.67%) class expression found after 12ms: ∃ value.(date[≤ 2001-09-24])
more accurate (83.33%) class expression found after 36ms: ∃ value.(date[≤ 1971-09-24])
more accurate (100.00%) class expression found after 181ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24])
Algorithm terminated successfully (time: 2s 269ms, 1000 descriptions tested, 746 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 2s 74ms ( 1ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 5ms ( 0ms per subsumption check)
overall reasoning time: 2s 80ms

solutions:
1: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) (pred. acc.: 100.00%, F-measure: 100.00%)
2: ∃ value.(date[≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
3: ∃ value.(date[≥ 1970-01-22 , ≤ 2001-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
4: ∃ value.(date[≥ 1970-01-22 , ≤ 1999-03-03]) (pred. acc.: 83.33%, F-measure: 85.71%)
5: ∃ value.(date[≥ 1970-01-22 , ≤ 1980-04-10]) (pred. acc.: 83.33%, F-measure: 85.71%)
6: ∃ value.(date[≥ 1970-01-22 , ≤ 1976-11-29]) (pred. acc.: 83.33%, F-measure: 85.71%)
7: ∃ value.(date[≥ 1970-01-22 , ≤ 1974-10-06]) (pred. acc.: 83.33%, F-measure: 85.71%)
8: ∃ value.(date[≥ 1970-01-22 , ≤ 1972-03-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
9: ∃ value.(date[≥ 1970-01-05 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)
10: ∃ value.(date[≥ 1950-12-31 , ≤ 1971-09-24]) (pred. acc.: 83.33%, F-measure: 85.71%)

[INFO] Tests run: 9, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 24.308 s - in org.dllearner.test.junit.LiteralLearningTest
[INFO] Running org.dllearner.test.junit.ClassExpressionTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
[[<p1>]] ? [[<p1>]]
[[<p1>]] ? [[<p1>]]
[[<p2>, <p1>], [<p2>]] ? [[<p2>, <p1>], [<p2>]]
[[<p1>]] ? [[<p1>]]
[[<p3>, <p2>, <p1>], [<p3>, <p2>]] ? [[<p3>, <p2>, <p1>], [<p3>, <p2>]]
[INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.131 s - in org.dllearner.test.junit.ClassExpressionTest
[INFO] Running org.dllearner.test.junit.ELDownTest
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Galen loaded.
false
TEST 1
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
refining: human ⊓ (∃ has.animal)
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.(∃ has.⊤))
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.human)
desired: human ⊓ (∃ has.animal) ⊓ (∃ hasChild.⊤)
desired: human ⊓ (∃ has.animal) ⊓ (∃ hasPet.⊤)
desired: human ⊓ (∃ has.(animal ⊓ (∃ has.⊤)))
desired: human ⊓ (∃ has.bird)
desired: human ⊓ (∃ has.cat)
desired: human ⊓ (∃ hasPet.animal)

produced refinements and their unit test status (true = assertion satisfied):
true: human ⊓ (∃ has.animal) ⊓ (∃ hasPet.⊤)
true: human ⊓ (∃ has.cat)
true: human ⊓ (∃ has.animal) ⊓ (∃ hasChild.⊤)
true: human ⊓ (∃ hasPet.animal)
true: human ⊓ (∃ has.animal) ⊓ (∃ has.(∃ has.⊤))
true: human ⊓ (∃ has.(animal ⊓ (∃ has.⊤)))
true: human ⊓ (∃ has.animal) ⊓ (∃ has.human)
true: human ⊓ (∃ has.bird)
TEST 2
desired: human ⊓ ((∃ has.(animal ⊓ (∃ has.⊤))) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.(bird ⊓ (∃ has.⊤))) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.(bird ⊓ cat)) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.(∃ has.⊤)) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.cat) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ has.human) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ hasChild.⊤) ⊓ (∃ hasPet.bird))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.(animal ⊓ (∃ has.⊤))))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.(∃ has.⊤)))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.cat))
desired: human ⊓ ((∃ hasPet.bird) ⊓ (∃ hasPet.human))
desired: human ⊓ (∃ hasPet.(bird ⊓ (∃ has.⊤)))
desired: human ⊓ (∃ hasPet.(bird ⊓ cat))

produced refinements and their unit test status (true = assertion satisfied):
TEST 3
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.⊤) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.animal) ⊓ (∃ has.(∃ has.⊤)) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.(animal ⊓ (∃ has.⊤))) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.(animal ⊓ human)) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.bird) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ has.cat) ⊓ (∃ hasChild.human)
desired: human ⊓ (∃ hasChild.human) ⊓ (∃ hasPet.animal)
desired: animal ⊓ human ⊓ (∃ has.animal) ⊓ (∃ hasChild.human)

produced refinements and their unit test status (true = assertion satisfied):
true: human ⊓ (∃ has.cat) ⊓ (∃ hasChild.human)
true: human ⊓ (∃ has.bird) ⊓ (∃ hasChild.human)
Galen loaded.
∃ wheels.⊤
∃ load_count.⊤
∃ hasShape.⊤
∃ has_car.⊤
∃ load.⊤
[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 27.281 s - in org.dllearner.test.junit.ELDownTest
[INFO] Running org.dllearner.test.junit.LearningProblemTest

[.....] 0%
[==...] 50%[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.005 s - in org.dllearner.test.junit.LearningProblemTest
[INFO] Running org.dllearner.test.junit.ELDescriptionTreeTest
[INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 s - in org.dllearner.test.junit.ELDescriptionTreeTest
[INFO] Running org.dllearner.utilities.owl.SimpleOntologyToByteConverterTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.012 s - in org.dllearner.utilities.owl.SimpleOntologyToByteConverterTest
[INFO] Running org.dllearner.utilities.owl.OWLClassExpressionTest
length of ∃ p1.(integer[≥ 10]) is 2
length of ∃ p1.(int[≤ 20]) is 2
length of ∃ p1.{true} is 2
length of ∀ op1.⊤ is 3
length of ∃ op1⁻.⊤ is 3
length of ≤ 3 op1.⊤ is 4
length of ≥ 3 op1.⊤ is 4
length of ∀ op1.C is 3
length of ∀ op1.(¬C) is 3
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in org.dllearner.utilities.owl.OWLClassExpressionTest
[INFO] Running org.dllearner.utilities.NonStandardReasoningServicesTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.011 s - in org.dllearner.utilities.NonStandardReasoningServicesTest
[INFO] Running org.dllearner.utilities.split.DataValuesSplitterTest
{r=[1, 7, 13, 20, 26, 33, 40, 46, 53, 60]}
@prefix : <http://example.org/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:r a owl:DatatypeProperty ; rdfs:range xsd:nonNegativeInteger . 
:p0 :r "1"^^xsd:nonNegativeInteger .
:p1 :r "2"^^xsd:nonNegativeInteger .
:p2 :r "3"^^xsd:nonNegativeInteger .
:p3 :r "4"^^xsd:nonNegativeInteger .
:p4 :r "5"^^xsd:nonNegativeInteger .
:p5 :r "6"^^xsd:nonNegativeInteger .
:p6 :r "10"^^xsd:nonNegativeInteger .
:p7 :r "12"^^xsd:nonNegativeInteger .
:p8 :r "16"^^xsd:nonNegativeInteger .
:p9 :r "20"^^xsd:nonNegativeInteger .
:p10 :r "28"^^xsd:nonNegativeInteger .
:p11 :r "30"^^xsd:nonNegativeInteger .

{r=[1, 4, 14, 30]}
{r=[1, 5, 28]}
[INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.055 s - in org.dllearner.utilities.split.DataValuesSplitterTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 98, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- jacoco-maven-plugin:0.8.4:report (report) @ components-core ---
[INFO] Loading execution data file /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/jacoco.exec
[INFO] Analyzed bundle 'DL Learner Core Components' with 559 classes
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ components-core ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/components-core-1.4.1-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:test-jar (default) @ components-core ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/components-core-1.4.1-SNAPSHOT-tests.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ components-core ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/components-core-1.4.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT.pom
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/components-core-1.4.1-SNAPSHOT-tests.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT-tests.jar