SuccessConsole Output

[INFO] 
[INFO] -------------------< org.dllearner:components-core >--------------------
[INFO] Building DL Learner Core Components 1.4.1-SNAPSHOT                 [2/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] Downloading from maven.aksw.internal: http://maven.aksw.org/repository/internal/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.pom
[INFO] Downloading from maven.aksw.snapshots: http://maven.aksw.org/repository/snapshots/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.pom
[INFO] Downloading from davidsoergel.releases: http://dev.davidsoergel.com/nexus/content/repositories/releases/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.pom
[INFO] Downloading from central: https://repo.maven.apache.org/maven2/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.pom
[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.pom (20 kB at 79 kB/s)
[INFO] Downloading from maven.aksw.internal: http://maven.aksw.org/repository/internal/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.jar
[INFO] Downloading from maven.aksw.snapshots: http://maven.aksw.org/repository/snapshots/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.jar
[INFO] Downloading from davidsoergel.releases: http://dev.davidsoergel.com/nexus/content/repositories/releases/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.jar
[INFO] Downloading from central: https://repo.maven.apache.org/maven2/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.jar
[INFO] Downloaded from central: https://repo.maven.apache.org/maven2/com/thoughtworks/xstream/xstream/1.4.13-java7/xstream-1.4.13-java7.jar (566 kB at 3.1 MB/s)
[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/dependabo.dvrrg1u42jdv.-13-java7/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.8.1:compile (default-compile) @ components-core ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 572 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/src/main/java/org/dllearner/kb/dataset/TONESDataset.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/src/main/java/org/dllearner/algorithms/qtl/datastructures/impl/GenericTree.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/src/main/java/org/dllearner/algorithms/qtl/datastructures/impl/GenericTree.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.8.1: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/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/target/test-classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/experiments/BiomedicalLearningProblemsGenerator.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/experiments/BiomedicalLearningProblemsGenerator.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.1:test (default-test) @ components-core ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/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 2270 ms.
computing next partial solution...
start class:Thing
more accurate (50.00%) class expression found after 76ms: Thing
more accurate (55.00%) class expression found after 192ms: A9
more accurate (60.00%) class expression found after 308ms: A10 or A2
more accurate (65.00%) class expression found after 782ms: A1 or A2 or A4
more accurate (70.00%) class expression found after 5s263ms: A1 or A10 or A3 or A6
Algorithm terminated successfully (time: 10s 0ms, 39089 descriptions tested, 25799 nodes in the search tree).

number of retrievals: 39262
retrieval reasoning time: 1s 444ms ( 0ms per retrieval)
(complex) subsumption checks: 200 (0 multiple)
subsumption reasoning time: 38ms ( 0ms per subsumption check)
overall reasoning time: 1s 482ms

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 1ms: Thing
more accurate (68.75%) class expression found after 6ms: A9
more accurate (75.00%) class expression found after 180ms: A5 or A7
more accurate (81.25%) class expression found after 2s319ms: A2 or A8 or A9
Algorithm terminated successfully (time: 10s 0ms, 59473 descriptions tested, 42383 nodes in the search tree).

number of retrievals: 98829
retrieval reasoning time: 3s 171ms ( 0ms per retrieval)
(complex) subsumption checks: 385 (0 multiple)
subsumption reasoning time: 90ms ( 0ms per subsumption check)
overall reasoning time: 3s 262ms

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 1ms: Thing
more accurate (84.62%) class expression found after 4ms: A7
more accurate (92.31%) class expression found after 1s508ms: A5 or A7
Algorithm terminated successfully (time: 10s 0ms, 51699 descriptions tested, 25079 nodes in the search tree).

number of retrievals: 152539
retrieval reasoning time: 4s 884ms ( 0ms per retrieval)
(complex) subsumption checks: 14723 (0 multiple)
subsumption reasoning time: 473ms ( 0ms per subsumption check)
overall reasoning time: 5s 358ms

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 0ms: Thing
more accurate (100.00%) class expression found after 1ms: A4
Algorithm terminated successfully (time: 10s 5ms, 11053 descriptions tested, 4516 nodes in the search tree).

number of retrievals: 163626
retrieval reasoning time: 5s 568ms ( 0ms per retrieval)
(complex) subsumption checks: 14741 (0 multiple)
subsumption reasoning time: 473ms ( 0ms per subsumption check)
overall reasoning time: 6s 42ms

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 31ms.
 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: 45.429 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 105ms.
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 21ms.
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 31ms.
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 20ms.
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: 1.038 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 266ms.
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 201ms.
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 395ms.
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 222ms.
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 228ms.
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 161ms.
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: 3.396 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.017 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.053 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@75e6bff8

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 18ms
 = 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: 1.055 s - in org.dllearner.algorithms.qtl.operations.lgg.LGGGeneratorRDFSTest
[INFO] Running org.dllearner.algorithms.qtl.operations.TreePruningTest
[4b9574827bb0197d9856eadd1b1e7f02, 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, c63d245a87392e4c208d8c9167edd3af]
[http://test.org/t3, http://test.org/p, http://test.org/c]
[a129d7e1a018d866ca4b95f3e5e1796a, http://www.w3.org/2000/01/rdf-schema#subClassOf, 2d4790540d3346e3837b8fdb0ee14680]
[http://test.org/c, http://test.org/p, 24920a8200c3de483f3ed23a0fd3988b]
[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, 24920a8200c3de483f3ed23a0fd3988b]
[http://test.org/c, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/A]
[24920a8200c3de483f3ed23a0fd3988b, http://test.org/p1, 763305cad9ef836aac65c730d73e5fc9]
[http://test.org/a, http://test.org/p2, e7a4f2a3f7a88316c1eb8d8eac90c6b1]
[http://test.org/a, http://test.org/p2, 4b9574827bb0197d9856eadd1b1e7f02]
[http://test.org/a, http://test.org/p2, c325d24d670e587bee59aada162cf800]
[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, a129d7e1a018d866ca4b95f3e5e1796a]
[http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, c63d245a87392e4c208d8c9167edd3af]
[http://test.org/t2, http://test.org/p, http://test.org/c]
[c325d24d670e587bee59aada162cf800, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/C]
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 ---> ?
		rdfs:subClassOf ---> ?
	rdf:type ---> ?
]
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.029 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.001 s - in org.dllearner.algorithms.qtl.operations.LCSTest
[INFO] Running org.dllearner.algorithms.qtl.operations.LGGTest
Operation took 93ms
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> ---> ?
]
Lexical form '1969-2-11' not valid for datatype XSD date
Lexical form '1975-6-4' not valid for datatype XSD date
[line: 15, col: 88] Lexical form '1969-2-11' not valid for datatype XSD date
[line: 100, col: 86] Lexical form '1975-6-4' not valid for datatype XSD date
Lexical form '1956-7-9' not valid for datatype XSD date
Lexical form '1961-6-15' not valid for datatype XSD date
[line: 5, col: 81] Lexical form '1956-7-9' not valid for datatype XSD date
[line: 123, col: 81] Lexical form '1961-6-15' not valid for datatype XSD date
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: 1.892 s - in org.dllearner.algorithms.qtl.operations.LGGTest
[INFO] Running org.dllearner.algorithms.qtl.operations.SubsumptionTest
[http://test.org/t3, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, 71083b34ae028555312db1f853afce58]
[71083b34ae028555312db1f853afce58, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/B]
[a2, http://test.org/p1, f268ecf47b7f30cd239c6b7b43be4773]
[eff4fd535c45f2a48cd59f03ebe38862, 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]
[f268ecf47b7f30cd239c6b7b43be4773, http://test.org/p2, http://test.org/b]
[http://test.org/t4, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, c4abffd493eb00ef41df250f4f40dc3a]
[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, eff4fd535c45f2a48cd59f03ebe38862]
[b2c32b7f358e387175f4ff12514fa04a, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/A]
[c4abffd493eb00ef41df250f4f40dc3a, http://www.w3.org/2000/01/rdf-schema#subClassOf, b2c32b7f358e387175f4ff12514fa04a]
[a1, http://test.org/p1, 53bae52215858ea53c267865e9efe74a]
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>
]
java.io.StreamCorruptedException: invalid type code: 00
	at java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1656)
	at java.io.ObjectInputStream.readObject(ObjectInputStream.java:465)
	at java.io.ObjectInputStream.readObject(ObjectInputStream.java:423)
	at org.dllearner.algorithms.qtl.operations.SubsumptionTest.testSubsumptionSimple(SubsumptionTest.java:95)
	at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
	at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
	at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
	at java.lang.reflect.Method.invoke(Method.java:498)
	at org.junit.runners.model.FrameworkMethod$1.runReflectiveCall(FrameworkMethod.java:59)
	at org.junit.internal.runners.model.ReflectiveCallable.run(ReflectiveCallable.java:12)
	at org.junit.runners.model.FrameworkMethod.invokeExplosively(FrameworkMethod.java:56)
	at org.junit.internal.runners.statements.InvokeMethod.evaluate(InvokeMethod.java:17)
	at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
	at org.junit.runners.BlockJUnit4ClassRunner$1.evaluate(BlockJUnit4ClassRunner.java:100)
	at org.junit.runners.ParentRunner.runLeaf(ParentRunner.java:366)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:103)
	at org.junit.runners.BlockJUnit4ClassRunner.runChild(BlockJUnit4ClassRunner.java:63)
	at org.junit.runners.ParentRunner$4.run(ParentRunner.java:331)
	at org.junit.runners.ParentRunner$1.schedule(ParentRunner.java:79)
	at org.junit.runners.ParentRunner.runChildren(ParentRunner.java:329)
	at org.junit.runners.ParentRunner.access$100(ParentRunner.java:66)
	at org.junit.runners.ParentRunner$2.evaluate(ParentRunner.java:293)
	at org.junit.internal.runners.statements.RunBefores.evaluate(RunBefores.java:26)
	at org.junit.runners.ParentRunner$3.evaluate(ParentRunner.java:306)
	at org.junit.runners.ParentRunner.run(ParentRunner.java:413)
	at org.apache.maven.surefire.junit4.JUnit4Provider.execute(JUnit4Provider.java:365)
	at org.apache.maven.surefire.junit4.JUnit4Provider.executeWithRerun(JUnit4Provider.java:273)
	at org.apache.maven.surefire.junit4.JUnit4Provider.executeTestSet(JUnit4Provider.java:238)
	at org.apache.maven.surefire.junit4.JUnit4Provider.invoke(JUnit4Provider.java:159)
	at org.apache.maven.surefire.booter.ForkedBooter.invokeProviderInSameClassLoader(ForkedBooter.java:384)
	at org.apache.maven.surefire.booter.ForkedBooter.runSuitesInProcess(ForkedBooter.java:345)
	at org.apache.maven.surefire.booter.ForkedBooter.execute(ForkedBooter.java:126)
	at org.apache.maven.surefire.booter.ForkedBooter.main(ForkedBooter.java:418)
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.108 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 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: 2.38 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.705 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.021 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.259 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.077 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 10 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.603 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: 25.635 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/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/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 1889 ms.
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.703 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.007 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.008 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.2 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 73ms.
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 113ms.
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 44ms.
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.278 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.066 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.001 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 1 ms.
start class:⊤
more accurate (50.00%) class expression found after 0ms: ⊤
more accurate (100.00%) class expression found after 7ms: ∃ stringValue.({X})
Algorithm terminated successfully (time: 1s 386ms, 1000 descriptions tested, 811 nodes in the search tree).

number of retrievals: 1345
retrieval reasoning time: 92ms ( 0ms per retrieval)
(complex) subsumption checks: 975 (0 multiple)
subsumption reasoning time: 109ms ( 0ms per subsumption check)
overall reasoning time: 202ms

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 35ms: ∃ value.(dateTime[≤ 2001-01-24T12:34:56])
more accurate (83.33%) class expression found after 67ms: ∃ value.(dateTime[≤ 1972-01-22T11:11:11])
more accurate (100.00%) class expression found after 371ms: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 1972-01-22T11:11:11])
Algorithm terminated successfully (time: 1s 456ms, 1000 descriptions tested, 729 nodes in the search tree).

number of retrievals: 1063
retrieval reasoning time: 883ms ( 0ms per retrieval)
(complex) subsumption checks: 107 (0 multiple)
subsumption reasoning time: 90ms ( 0ms per subsumption check)
overall reasoning time: 973ms

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 8ms: ∃ value.(double[≤ 101.0])
more accurate (100.00%) class expression found after 8ms: ∃ value.(double[≤ 55.0])
Algorithm terminated successfully (time: 2s 352ms, 1000 descriptions tested, 925 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 139ms ( 0ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 1s 119ms ( 1ms per subsumption check)
overall reasoning time: 1s 259ms

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 154ms: ∃ value.(double[≤ 101.0])
more accurate (100.00%) class expression found after 169ms: ∃ value.(double[≤ 55.0])
Algorithm terminated successfully (time: 7s 718ms, 1000 descriptions tested, 925 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 6s 516ms ( 5ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 140ms ( 0ms per subsumption check)
overall reasoning time: 6s 657ms

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 4 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 9ms: ∃ value.(short[≤ 101])
more accurate (100.00%) class expression found after 10ms: ∃ value.(short[≤ 55])
Algorithm terminated successfully (time: 1s 70ms, 1000 descriptions tested, 923 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 82ms ( 0ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 195ms ( 0ms per subsumption check)
overall reasoning time: 277ms

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 25ms: ∃ value.(short[≤ 101])
more accurate (100.00%) class expression found after 30ms: ∃ value.(short[≤ 55])
Algorithm terminated successfully (time: 4s 188ms, 1000 descriptions tested, 923 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 3s 367ms ( 2ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 71ms ( 0ms per subsumption check)
overall reasoning time: 3s 438ms

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 7ms: ∃ value.(gMonth[≤ --11])
more accurate (83.33%) class expression found after 14ms: ∃ value.(gMonth[≤ --05])
more accurate (100.00%) class expression found after 55ms: ∃ value.(gMonth[≥ --03 , ≤ --05])
Algorithm terminated successfully (time: 440ms, 1000 descriptions tested, 752 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 189ms ( 0ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 26ms ( 0ms per subsumption check)
overall reasoning time: 216ms

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 10ms: ∃ value.(gMonth[≤ --11])
more accurate (83.33%) class expression found after 34ms: ∃ value.(gMonth[≤ --05])
more accurate (100.00%) class expression found after 206ms: ∃ value.(gMonth[≥ --03 , ≤ --05])
Algorithm terminated successfully (time: 1s 999ms, 1000 descriptions tested, 752 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 1s 764ms ( 1ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 8ms ( 0ms per subsumption check)
overall reasoning time: 1s 773ms

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 1 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 4ms: ∃ value.(integer[≤ 101])
more accurate (100.00%) class expression found after 4ms: ∃ value.(integer[≤ 55])
Algorithm terminated successfully (time: 764ms, 1000 descriptions tested, 926 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 47ms ( 0ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 113ms ( 0ms per subsumption check)
overall reasoning time: 161ms

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 23ms: ∃ value.(integer[≤ 101])
more accurate (100.00%) class expression found after 27ms: ∃ value.(integer[≤ 55])
Algorithm terminated successfully (time: 3s 755ms, 1000 descriptions tested, 926 nodes in the search tree).

number of retrievals: 1261
retrieval reasoning time: 3s 55ms ( 2ms per retrieval)
(complex) subsumption checks: 862 (0 multiple)
subsumption reasoning time: 54ms ( 0ms per subsumption check)
overall reasoning time: 3s 109ms

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 1 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 3ms: ∃ value.(float[≤ 101.0])
more accurate (100.00%) class expression found after 4ms: ∃ value.(float[≤ 55.0])
Algorithm terminated successfully (time: 948ms, 1000 descriptions tested, 922 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 59ms ( 0ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 162ms ( 0ms per subsumption check)
overall reasoning time: 221ms

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 27ms: ∃ value.(float[≤ 101.0])
more accurate (100.00%) class expression found after 32ms: ∃ value.(float[≤ 55.0])
Algorithm terminated successfully (time: 4s 11ms, 1000 descriptions tested, 922 nodes in the search tree).

number of retrievals: 1285
retrieval reasoning time: 3s 229ms ( 2ms per retrieval)
(complex) subsumption checks: 949 (0 multiple)
subsumption reasoning time: 68ms ( 0ms per subsumption check)
overall reasoning time: 3s 298ms

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 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 9ms: ∃ value.(date[≤ 2001-09-24])
more accurate (83.33%) class expression found after 18ms: ∃ value.(date[≤ 1971-09-24])
more accurate (100.00%) class expression found after 54ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24])
Algorithm terminated successfully (time: 439ms, 1000 descriptions tested, 746 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 232ms ( 0ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 11ms ( 0ms per subsumption check)
overall reasoning time: 244ms

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 37ms: ∃ value.(date[≤ 1971-09-24])
more accurate (100.00%) class expression found after 215ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24])
Algorithm terminated successfully (time: 2s 744ms, 1000 descriptions tested, 746 nodes in the search tree).

number of retrievals: 1050
retrieval reasoning time: 2s 526ms ( 2ms per retrieval)
(complex) subsumption checks: 76 (0 multiple)
subsumption reasoning time: 6ms ( 0ms per subsumption check)
overall reasoning time: 2s 533ms

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: 33.771 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.244 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: 31.709 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.012 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.02 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.035 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.035 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.119 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/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/target/jacoco.exec
[INFO] Analyzed bundle 'DL Learner Core Components' with 560 classes
[INFO] 
[INFO] --- maven-jar-plugin:3.2.0:jar (default-jar) @ components-core ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/workspace/components-core/target/components-core-1.4.1-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-jar-plugin:3.2.0:test-jar (default) @ components-core ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/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/dependabo.dvrrg1u42jdv.-13-java7/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