[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/duplicate-class-deps/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 571 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/duplicate-class-deps/workspace/components-core/target/classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/duplicate-class-deps/workspace/components-core/src/main/java/org/dllearner/kb/dataset/TONESDataset.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/duplicate-class-deps/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/duplicate-class-deps/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/duplicate-class-deps/workspace/components-core/src/main/java/org/dllearner/algorithms/qtl/datastructures/impl/EvaluatedRDFResourceTree.java: Some input files use unchecked or unsafe operations. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/duplicate-class-deps/workspace/components-core/src/main/java/org/dllearner/algorithms/qtl/datastructures/impl/EvaluatedRDFResourceTree.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/duplicate-class-deps/workspace/components-core/target/test-classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/duplicate-class-deps/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/duplicate-class-deps/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/duplicate-class-deps/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/operations/LGGTest.java: Some input files use unchecked or unsafe operations. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/duplicate-class-deps/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/operations/LGGTest.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/duplicate-class-deps/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 1594 ms. computing next partial solution... start class:Thing more accurate (50.00%) class expression found after 55ms: Thing more accurate (55.00%) class expression found after 127ms: A9 more accurate (60.00%) class expression found after 196ms: A10 or A2 more accurate (65.00%) class expression found after 420ms: A1 or A2 or A4 more accurate (70.00%) class expression found after 2s911ms: A1 or A10 or A3 or A6 Algorithm terminated successfully (time: 10s 0ms, 58626 descriptions tested, 42672 nodes in the search tree). number of retrievals: 58799 retrieval reasoning time: 1s 492ms ( 0ms per retrieval) (complex) subsumption checks: 200 (0 multiple) subsumption reasoning time: 27ms ( 0ms per subsumption check) overall reasoning time: 1s 519ms 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 97ms: A5 or A7 more accurate (81.25%) class expression found after 2s17ms: A2 or A8 or A9 Algorithm terminated successfully (time: 10s 0ms, 64335 descriptions tested, 45326 nodes in the search tree). number of retrievals: 123228 retrieval reasoning time: 3s 188ms ( 0ms per retrieval) (complex) subsumption checks: 385 (0 multiple) subsumption reasoning time: 54ms ( 0ms per subsumption check) overall reasoning time: 3s 243ms 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 923ms: A5 or A7 Algorithm terminated successfully (time: 10s 0ms, 62444 descriptions tested, 30606 nodes in the search tree). number of retrievals: 187683 retrieval reasoning time: 4s 960ms ( 0ms per retrieval) (complex) subsumption checks: 14723 (0 multiple) subsumption reasoning time: 259ms ( 0ms per subsumption check) overall reasoning time: 5s 220ms 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 3ms, 11053 descriptions tested, 4516 nodes in the search tree). number of retrievals: 198770 retrieval reasoning time: 5s 564ms ( 0ms per retrieval) (complex) subsumption checks: 14741 (0 multiple) subsumption reasoning time: 260ms ( 0ms per subsumption check) overall reasoning time: 5s 824ms 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 20ms. 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.047 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 20ms. 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 12ms. 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.71 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 147ms. 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 104ms. 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 167ms. 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 118ms. 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 153ms. 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 111ms. 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.411 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.01 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.031 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@2390a4c1 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.655 s - in org.dllearner.algorithms.qtl.operations.lgg.LGGGeneratorRDFSTest [INFO] Running org.dllearner.algorithms.qtl.operations.TreePruningTest [http://test.org/t3, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, b4a7ab0461495e9c5a4b90f3252abe74] [http://test.org/t3, http://test.org/p, 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] [537592c14dc4a82df26f4492ed7aef15, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/C] [a0485174cba7dfffd50124a924abfd52, http://www.w3.org/2000/01/rdf-schema#subClassOf, 066b4ec5e008e336715ebe2b2dd5f48f] [47f6fb5558ca148d88adde49927d4b6e, http://test.org/p1, 87ecba4dfe3ecd8e41032e9d861e5dd0] [503f360b683d77085b0b81c399fa842f, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/C] [http://test.org/c, http://test.org/p, 47f6fb5558ca148d88adde49927d4b6e] [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, 47f6fb5558ca148d88adde49927d4b6e] [http://test.org/c, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/A] [http://test.org/a, http://test.org/p2, 06b8ee02de5dbd4eb556fdcf4ff7a1ab] [http://test.org/a, http://test.org/p2, 503f360b683d77085b0b81c399fa842f] [http://test.org/a, http://test.org/p2, 537592c14dc4a82df26f4492ed7aef15] [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, a0485174cba7dfffd50124a924abfd52] [http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, b4a7ab0461495e9c5a4b90f3252abe74] [http://test.org/t2, http://test.org/p, 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> ---> ? <http://test.org/p2> ---> ? rdf:type ---> <http://test.org/C> <http://test.org/p2> ---> ? rdf: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> ] 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.009 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 61ms 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.407 s - in org.dllearner.algorithms.qtl.operations.LGGTest [INFO] Running org.dllearner.algorithms.qtl.operations.SubsumptionTest [ad5675cc9b76a406ca2e0d154d43567a, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/A] [http://test.org/t3, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, 080dfa6286b416f91d1c35dd0ee998ee] [a2, http://test.org/p1, 6e7cd33c00d0d27fd27f12b57b07b586] [http://test.org/t1, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/A] [http://test.org/t4, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, d153f14d6b4ccd635af1d6dc31d46258] [080dfa6286b416f91d1c35dd0ee998ee, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/B] [http://test.org/A, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/B] [09917c88ffd7790787eccc093480079a, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/A] [http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, ad5675cc9b76a406ca2e0d154d43567a] [6e7cd33c00d0d27fd27f12b57b07b586, http://test.org/p2, http://test.org/b] [a1, http://test.org/p1, 3c919f5f47363050396041fbf39fa90e] [d153f14d6b4ccd635af1d6dc31d46258, http://www.w3.org/2000/01/rdf-schema#subClassOf, 09917c88ffd7790787eccc093480079a] 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.027 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: 1.604 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.308 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.014 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.13 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.034 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.278 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.503 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/duplicate-class-deps/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/duplicate-class-deps/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/duplicate-class-deps/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 1141 ms. [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1.726 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 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.1 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 43ms. 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 29ms. 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 21ms. 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.105 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.033 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 1 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: 678ms, 1000 descriptions tested, 811 nodes in the search tree). number of retrievals: 1345 retrieval reasoning time: 49ms ( 0ms per retrieval) (complex) subsumption checks: 975 (0 multiple) subsumption reasoning time: 65ms ( 0ms per subsumption check) overall reasoning time: 114ms 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 0 ms. start class:⊤ more accurate (50.00%) class expression found after 0ms: ⊤ more accurate (66.67%) class expression found after 20ms: ∃ value.(dateTime[≤ 2001-01-24T12:34:56]) more accurate (83.33%) class expression found after 35ms: ∃ value.(dateTime[≤ 1972-01-22T11:11:11]) more accurate (100.00%) class expression found after 128ms: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 1972-01-22T11:11:11]) Algorithm terminated successfully (time: 822ms, 1000 descriptions tested, 729 nodes in the search tree). number of retrievals: 1063 retrieval reasoning time: 479ms ( 0ms per retrieval) (complex) subsumption checks: 107 (0 multiple) subsumption reasoning time: 44ms ( 0ms per subsumption check) overall reasoning time: 523ms 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 5ms: ∃ value.(double[≤ 101.0]) more accurate (100.00%) class expression found after 5ms: ∃ value.(double[≤ 55.0]) Algorithm terminated successfully (time: 863ms, 1000 descriptions tested, 925 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 54ms ( 0ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 124ms ( 0ms per subsumption check) overall reasoning time: 179ms 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 40ms: ∃ value.(double[≤ 101.0]) more accurate (100.00%) class expression found after 46ms: ∃ value.(double[≤ 55.0]) Algorithm terminated successfully (time: 4s 79ms, 1000 descriptions tested, 925 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 3s 442ms ( 2ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 76ms ( 0ms per subsumption check) overall reasoning time: 3s 518ms 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 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 5ms: ∃ value.(short[≤ 101]) more accurate (100.00%) class expression found after 5ms: ∃ value.(short[≤ 55]) Algorithm terminated successfully (time: 712ms, 1000 descriptions tested, 923 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 54ms ( 0ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 119ms ( 0ms per subsumption check) overall reasoning time: 174ms 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 22ms: ∃ value.(short[≤ 101]) more accurate (100.00%) class expression found after 26ms: ∃ value.(short[≤ 55]) Algorithm terminated successfully (time: 3s 143ms, 1000 descriptions tested, 923 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 2s 545ms ( 1ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 66ms ( 0ms per subsumption check) overall reasoning time: 2s 612ms 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 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 3ms: ∃ value.(gMonth[≤ --11]) more accurate (83.33%) class expression found after 7ms: ∃ value.(gMonth[≤ --05]) more accurate (100.00%) class expression found after 33ms: ∃ value.(gMonth[≥ --03 , ≤ --05]) Algorithm terminated successfully (time: 333ms, 1000 descriptions tested, 752 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 151ms ( 0ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 16ms ( 0ms per subsumption check) overall reasoning time: 167ms 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 24ms: ∃ value.(gMonth[≤ --05]) more accurate (100.00%) class expression found after 136ms: ∃ value.(gMonth[≥ --03 , ≤ --05]) Algorithm terminated successfully (time: 1s 616ms, 1000 descriptions tested, 752 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 1s 422ms ( 1ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 9ms ( 0ms per subsumption check) overall reasoning time: 1s 431ms 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 2ms: ∃ value.(integer[≤ 101]) more accurate (100.00%) class expression found after 2ms: ∃ value.(integer[≤ 55]) Algorithm terminated successfully (time: 612ms, 1000 descriptions tested, 926 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 43ms ( 0ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 81ms ( 0ms per subsumption check) overall reasoning time: 124ms 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 18ms: ∃ value.(integer[≤ 101]) more accurate (100.00%) class expression found after 22ms: ∃ value.(integer[≤ 55]) Algorithm terminated successfully (time: 2s 920ms, 1000 descriptions tested, 926 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 2s 382ms ( 1ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 47ms ( 0ms per subsumption check) overall reasoning time: 2s 429ms 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 2ms: ∃ value.(float[≤ 55.0]) Algorithm terminated successfully (time: 693ms, 1000 descriptions tested, 922 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 45ms ( 0ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 96ms ( 0ms per subsumption check) overall reasoning time: 142ms 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 18ms: ∃ value.(float[≤ 101.0]) more accurate (100.00%) class expression found after 22ms: ∃ value.(float[≤ 55.0]) Algorithm terminated successfully (time: 3s 57ms, 1000 descriptions tested, 922 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 2s 456ms ( 1ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 54ms ( 0ms per subsumption check) overall reasoning time: 2s 510ms 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 6ms: ∃ value.(date[≤ 2001-09-24]) more accurate (83.33%) class expression found after 13ms: ∃ value.(date[≤ 1971-09-24]) more accurate (100.00%) class expression found after 38ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) Algorithm terminated successfully (time: 331ms, 1000 descriptions tested, 746 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 159ms ( 0ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 8ms ( 0ms per subsumption check) overall reasoning time: 168ms 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 11ms: ∃ value.(date[≤ 2001-09-24]) more accurate (83.33%) class expression found after 34ms: ∃ value.(date[≤ 1971-09-24]) more accurate (100.00%) class expression found after 183ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) Algorithm terminated successfully (time: 2s 289ms, 1000 descriptions tested, 746 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 2s 98ms ( 1ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 6ms ( 0ms per subsumption check) overall reasoning time: 2s 104ms 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: 22.495 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.124 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: 25.326 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.011 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.001 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.053 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/duplicate-class-deps/workspace/components-core/target/jacoco.exec [INFO] Analyzed bundle 'DL Learner Core Components' with 560 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/duplicate-class-deps/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/duplicate-class-deps/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/duplicate-class-deps/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/duplicate-class-deps/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/duplicate-class-deps/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