[INFO] [INFO] -------------------< org.dllearner:components-core >-------------------- [INFO] Building DL Learner Core Components 1.5.1-SNAPSHOT [2/6] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.pom [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.pom [INFO] Downloading from central: https://repo.maven.apache.org/maven2/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.pom [INFO] Downloaded from central: https://repo.maven.apache.org/maven2/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.pom (2.7 kB at 6.4 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-core/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-core/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-core/4.2.0-1-SNAPSHOT/maven-metadata.xml (383 B at 2.3 kB/s) [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-parent/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-parent/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-parent/4.2.0-1-SNAPSHOT/maven-metadata.xml (386 B at 35 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-arq-core/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-arq-core/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-arq-core/4.2.0-1-SNAPSHOT/maven-metadata.xml (387 B at 32 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-arq-parent/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-arq-parent/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-arq-parent/4.2.0-1-SNAPSHOT/maven-metadata.xml (389 B at 35 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-mapper-proxy/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-mapper-proxy/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-mapper-proxy/4.2.0-1-SNAPSHOT/maven-metadata.xml (391 B at 33 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-beans/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-beans/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-beans/0.9.1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-parent/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-parent/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-parent/0.9.1-SNAPSHOT/maven-metadata.xml (374 B at 27 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-utils/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-utils/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-utils/0.9.1-SNAPSHOT/maven-metadata.xml (372 B at 41 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-collections/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-collections/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-collections/4.2.0-1-SNAPSHOT/maven-metadata.xml (390 B at 39 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-util/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-util/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-util/0.9.1-SNAPSHOT/maven-metadata.xml (371 B at 41 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-collections/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-collections/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-collections/0.9.1-SNAPSHOT/maven-metadata.xml (379 B at 703 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-lambdas-serializable/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-lambdas-serializable/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-lambdas-serializable/0.9.1-SNAPSHOT/maven-metadata.xml (388 B at 715 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-lambdas-parent/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-lambdas-parent/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-lambdas-parent/0.9.1-SNAPSHOT/maven-metadata.xml (382 B at 1.4 kB/s) [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-resources/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-resources/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-resources/4.2.0-1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-mapper-annotations/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-mapper-annotations/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-mapper-annotations/4.2.0-1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-rx/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-rx/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-rx/4.2.0-1-SNAPSHOT/maven-metadata.xml (382 B at 2.4 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-collectors/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-collectors/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-collectors/0.9.1-SNAPSHOT/maven-metadata.xml (378 B at 38 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-concepts/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-concepts/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-concepts/4.2.0-1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-stmt/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-stmt/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-stmt/4.2.0-1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-utils/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-utils/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-utils/4.2.0-1-SNAPSHOT/maven-metadata.xml (385 B at 2.8 kB/s) [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-json/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-json/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-json/4.2.0-1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-rx/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-rx/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-rx/0.9.1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-io-buffers/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-io-buffers/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-io-buffers/0.9.1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-io-parent/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-io-parent/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-io-parent/0.9.1-SNAPSHOT/maven-metadata.xml (377 B at 660 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-lambdas-throwing/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-lambdas-throwing/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-lambdas-throwing/0.9.1-SNAPSHOT/maven-metadata.xml (384 B at 6.7 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-paths/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-paths/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-paths/0.9.1-SNAPSHOT/maven-metadata.xml (372 B at 29 kB/s) [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-claimingcache/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-claimingcache/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-claimingcache/0.9.1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-objectstore/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-objectstore/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-objectstore/0.9.1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-txn/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-txn/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-txn/0.9.1-SNAPSHOT/maven-metadata.xml (370 B at 7.0 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-io-utils/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-io-utils/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-io-utils/0.9.1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/commons/aksw-commons-rx-ex/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-rx-ex/0.9.1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/commons/aksw-commons-rx-ex/0.9.1-SNAPSHOT/maven-metadata.xml (372 B at 34 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-vocabs/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-vocabs/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-vocabs/4.2.0-1-SNAPSHOT/maven-metadata.xml (0 B at 0 B/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/org/aksw/jena-sparql-api/jena-sparql-api-cache-h2/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-cache-h2/4.2.0-1-SNAPSHOT/maven-metadata.xml [INFO] Downloaded from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/org/aksw/jena-sparql-api/jena-sparql-api-cache-h2/4.2.0-1-SNAPSHOT/maven-metadata.xml (387 B at 7.2 kB/s) [INFO] Downloading from maven.aksw.internal: https://maven.aksw.org/repository/internal/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.jar [INFO] Downloading from maven.aksw.snapshots: https://maven.aksw.org/repository/snapshots/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.jar [INFO] Downloading from central: https://repo.maven.apache.org/maven2/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.jar [INFO] Downloaded from central: https://repo.maven.apache.org/maven2/mysql/mysql-connector-java/8.0.28/mysql-connector-java-8.0.28.jar (0 B at 0 B/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/PR-106/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/PR-106/workspace/components-core/target/classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/src/main/java/org/dllearner/core/AbstractAxiomLearningAlgorithm.java: Some input files use or override a deprecated API. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/src/main/java/org/dllearner/core/AbstractAxiomLearningAlgorithm.java: Recompile with -Xlint:deprecation for details. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/src/main/java/org/dllearner/kb/aquisitors/RDFBlankNode.java: Some input files use unchecked or unsafe operations. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/src/main/java/org/dllearner/kb/aquisitors/RDFBlankNode.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/PR-106/workspace/components-core/target/test-classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/operations/LGGTest.java: Some input files use or override a deprecated API. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/src/test/java/org/dllearner/algorithms/qtl/operations/LGGTest.java: Recompile with -Xlint:deprecation for details. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/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/PR-106/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.1:test (default-test) @ components-core --- [INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/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 1690 ms. computing next partial solution... start class:Thing more accurate (50.00%) class expression found after 123ms: Thing more accurate (55.00%) class expression found after 305ms: A9 more accurate (60.00%) class expression found after 539ms: A10 or A2 more accurate (65.00%) class expression found after 1s202ms: A1 or A2 or A4 more accurate (70.00%) class expression found after 6s596ms: A1 or A10 or A3 or A6 Algorithm terminated successfully (time: 10s 0ms, 29052 descriptions tested, 17130 nodes in the search tree). number of retrievals: 29225 retrieval reasoning time: 1s 446ms ( 0ms per retrieval) (complex) subsumption checks: 200 (0 multiple) subsumption reasoning time: 64ms ( 0ms per subsumption check) overall reasoning time: 1s 510ms 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 9ms: A9 more accurate (75.00%) class expression found after 253ms: A5 or A7 more accurate (81.25%) class expression found after 2s657ms: A2 or A8 or A9 Algorithm terminated successfully (time: 10s 0ms, 51818 descriptions tested, 37333 nodes in the search tree). number of retrievals: 81137 retrieval reasoning time: 3s 367ms ( 0ms per retrieval) (complex) subsumption checks: 385 (0 multiple) subsumption reasoning time: 120ms ( 0ms per subsumption check) overall reasoning time: 3s 488ms 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 3ms: A7 more accurate (92.31%) class expression found after 1s249ms: A5 or A7 Algorithm terminated successfully (time: 10s 0ms, 46331 descriptions tested, 22786 nodes in the search tree). number of retrievals: 129479 retrieval reasoning time: 5s 426ms ( 0ms per retrieval) (complex) subsumption checks: 14723 (0 multiple) subsumption reasoning time: 418ms ( 0ms per subsumption check) overall reasoning time: 5s 845ms 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 1ms, 11053 descriptions tested, 4516 nodes in the search tree). number of retrievals: 140566 retrieval reasoning time: 6s 284ms ( 0ms per retrieval) (complex) subsumption checks: 14741 (0 multiple) subsumption reasoning time: 419ms ( 0ms per subsumption check) overall reasoning time: 6s 703ms 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 79ms. 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: 58.632 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 173ms. 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 38ms. 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: 4.441 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 430ms. 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 217ms. 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 392ms. 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 369ms. 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 346ms. 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 291ms. 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: 4.127 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.015 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.115 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@519e97a4 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 23ms = 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: 10.993 s - in org.dllearner.algorithms.qtl.operations.lgg.LGGGeneratorRDFSTest [INFO] Running org.dllearner.algorithms.qtl.operations.TreePruningTest [3960560310dd5b54e01394eb7c9372ab, 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] [ed2b727ef5c3a9eb8ce250d36a4ebd47, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, http://test.org/C] [http://test.org/t3, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, b64330282c4cab54e214646bc3d50dd1] [http://test.org/t3, http://test.org/p, http://test.org/c] [bbd7b3395a86bd1d34ae3190f9d900b6, http://test.org/p1, ebd7b21ffc510f61822076a17bd70add] [http://test.org/c, http://test.org/p, bbd7b3395a86bd1d34ae3190f9d900b6] [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, bbd7b3395a86bd1d34ae3190f9d900b6] [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, a5bc66ff2d956f96c1e13faf8a36070b] [http://test.org/a, http://test.org/p2, 3960560310dd5b54e01394eb7c9372ab] [http://test.org/a, http://test.org/p2, ed2b727ef5c3a9eb8ce250d36a4ebd47] [http://test.org/a, http://test.org/p1, http://test.org/b] [b3a79d9f6917372191e5d82ef080c5eb, http://www.w3.org/2000/01/rdf-schema#subClassOf, e40b9c41e7daf658b89ffce28950ede6] [http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, b3a79d9f6917372191e5d82ef080c5eb] [http://test.org/t2, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, b64330282c4cab54e214646bc3d50dd1] [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> ---> ? rdf:type ---> <http://test.org/C> <http://test.org/p2> ---> ? <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.017 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 97ms 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 [ ? ] [INFO] Tests run: 4, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 11.843 s - in org.dllearner.algorithms.qtl.operations.LGGTest [INFO] Running org.dllearner.algorithms.qtl.operations.SubsumptionTest [70613c2e4ef1dca4fdd526f7f6de3e3c, 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, c5b98d4d3ba907a97b2963bdac4986ac] [c5b98d4d3ba907a97b2963bdac4986ac, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/B] [a2, http://test.org/p1, 6f86d57c614172d99fd54bc85b70b264] [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, 60dd0ca3f0ec42e83b823c2dbc9b0f46] [6f86d57c614172d99fd54bc85b70b264, http://test.org/p2, http://test.org/b] [7ceaf38c2ff10df661aee1a76cf4a164, http://www.w3.org/2000/01/rdf-schema#subClassOf, http://test.org/A] [60dd0ca3f0ec42e83b823c2dbc9b0f46, http://www.w3.org/2000/01/rdf-schema#subClassOf, 7ceaf38c2ff10df661aee1a76cf4a164] [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, 70613c2e4ef1dca4fdd526f7f6de3e3c] [a1, http://test.org/p1, 5bd05abd9577cec38246bccd51ebc12f] 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.05 s - in org.dllearner.algorithms.qtl.operations.SubsumptionTest [INFO] Running org.dllearner.algorithms.qtl.QTLTest [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.001 s - in org.dllearner.algorithms.qtl.QTLTest [INFO] Running org.dllearner.algorithms.qtl.TreeSubsumptionTest ?(0) --- r --- ?(0) --- s --- ?(0) --- t --- ?(0) --- u --- A(0) ?(0) --- r --- ?(0) --- s --- ?(0) --- t --- ?(0) --- u --- ?(0) [INFO] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 3.054 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.62 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.06 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.261 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.104 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 21 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.743 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: 28.732 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/PR-106/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/PR-106/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/PR-106/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 1630 ms. [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 2.851 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.012 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.142 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 39ms. 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 58ms. 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 45ms. 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.17 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.048 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 3 ms. start class:⊤ more accurate (50.00%) class expression found after 0ms: ⊤ more accurate (100.00%) class expression found after 6ms: ∃ stringValue.({X}) Algorithm terminated successfully (time: 1s 96ms, 1000 descriptions tested, 811 nodes in the search tree). number of retrievals: 1345 retrieval reasoning time: 68ms ( 0ms per retrieval) (complex) subsumption checks: 975 (0 multiple) subsumption reasoning time: 101ms ( 0ms per subsumption check) overall reasoning time: 170ms 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 22ms: ∃ value.(dateTime[≤ 2001-01-24T12:34:56]) more accurate (83.33%) class expression found after 39ms: ∃ value.(dateTime[≤ 1972-01-22T11:11:11]) more accurate (100.00%) class expression found after 193ms: ∃ value.(dateTime[≥ 1970-01-22T08:10:10 , ≤ 1972-01-22T11:11:11]) Algorithm terminated successfully (time: 1s 220ms, 1000 descriptions tested, 729 nodes in the search tree). number of retrievals: 1063 retrieval reasoning time: 690ms ( 0ms per retrieval) (complex) subsumption checks: 107 (0 multiple) subsumption reasoning time: 69ms ( 0ms per subsumption check) overall reasoning time: 759ms 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 3 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 7ms: ∃ value.(double[≤ 101.0]) more accurate (100.00%) class expression found after 8ms: ∃ value.(double[≤ 55.0]) Algorithm terminated successfully (time: 1s 797ms, 1000 descriptions tested, 925 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 107ms ( 0ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 246ms ( 0ms per subsumption check) overall reasoning time: 353ms 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 56ms: ∃ value.(double[≤ 101.0]) more accurate (100.00%) class expression found after 64ms: ∃ value.(double[≤ 55.0]) Algorithm terminated successfully (time: 5s 762ms, 1000 descriptions tested, 925 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 4s 847ms ( 3ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 99ms ( 0ms per subsumption check) overall reasoning time: 4s 947ms solutions: 1: ∃ value.(double[≤ 9.5]) (pred. acc.: 100.00%, F-measure: 100.00%) 2: ∃ value.(double[≤ 7.5]) (pred. acc.: 100.00%, F-measure: 100.00%) 3: ∃ value.(double[≤ 6.5]) (pred. acc.: 100.00%, F-measure: 100.00%) 4: ∃ value.(double[≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%) 5: ∃ value.(double[≤ 5.5]) (pred. acc.: 100.00%, F-measure: 100.00%) 6: ∃ value.(double[≤ 3.5]) (pred. acc.: 100.00%, F-measure: 100.00%) 7: (∃ value.(double[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%) 8: ∃ value.(double[≥ 1.0 , ≤ 55.0]) (pred. acc.: 100.00%, F-measure: 100.00%) 9: Number ⊓ (∃ value.(double[≤ 55.0])) (pred. acc.: 100.00%, F-measure: 100.00%) 10: (∃ value.(double[≥ 105.5])) ⊔ (∃ value.(double[≤ 9.5])) (pred. acc.: 100.00%, F-measure: 100.00%) Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner) Materializing TBox... materialising concepts [.....] 0%materialising object properties ... materialising datatype properties [==...] 50%...TBox materialised in 2 ms. Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner) start class:⊤ more accurate (50.00%) class expression found after 0ms: ⊤ more accurate (83.33%) class expression found after 4ms: ∃ value.(short[≤ 101]) more accurate (100.00%) class expression found after 5ms: ∃ value.(short[≤ 55]) Algorithm terminated successfully (time: 1s 62ms, 1000 descriptions tested, 923 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 84ms ( 0ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 153ms ( 0ms per subsumption check) overall reasoning time: 238ms 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 52ms: ∃ value.(short[≤ 101]) more accurate (100.00%) class expression found after 61ms: ∃ value.(short[≤ 55]) Algorithm terminated successfully (time: 5s 447ms, 1000 descriptions tested, 923 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 4s 492ms ( 3ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 128ms ( 0ms per subsumption check) overall reasoning time: 4s 620ms 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 5ms: ∃ value.(gMonth[≤ --11]) more accurate (83.33%) class expression found after 11ms: ∃ value.(gMonth[≤ --05]) more accurate (100.00%) class expression found after 67ms: ∃ value.(gMonth[≥ --03 , ≤ --05]) Algorithm terminated successfully (time: 551ms, 1000 descriptions tested, 752 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 307ms ( 0ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 23ms ( 0ms per subsumption check) overall reasoning time: 330ms 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 9ms: ∃ value.(gMonth[≤ --11]) more accurate (83.33%) class expression found after 28ms: ∃ value.(gMonth[≤ --05]) more accurate (100.00%) class expression found after 153ms: ∃ value.(gMonth[≥ --03 , ≤ --05]) Algorithm terminated successfully (time: 2s 485ms, 1000 descriptions tested, 752 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 2s 198ms ( 2ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 9ms ( 0ms per subsumption check) overall reasoning time: 2s 208ms 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 3ms: ∃ value.(integer[≤ 55]) Algorithm terminated successfully (time: 785ms, 1000 descriptions tested, 926 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 77ms ( 0ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 108ms ( 0ms per subsumption check) overall reasoning time: 185ms 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 25ms: ∃ value.(integer[≤ 101]) more accurate (100.00%) class expression found after 29ms: ∃ value.(integer[≤ 55]) Algorithm terminated successfully (time: 3s 735ms, 1000 descriptions tested, 926 nodes in the search tree). number of retrievals: 1261 retrieval reasoning time: 3s 23ms ( 2ms per retrieval) (complex) subsumption checks: 862 (0 multiple) subsumption reasoning time: 65ms ( 0ms per subsumption check) overall reasoning time: 3s 88ms 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 3ms: ∃ value.(float[≤ 55.0]) Algorithm terminated successfully (time: 922ms, 1000 descriptions tested, 922 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 66ms ( 0ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 134ms ( 0ms per subsumption check) overall reasoning time: 201ms 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 22ms: ∃ value.(float[≤ 101.0]) more accurate (100.00%) class expression found after 26ms: ∃ value.(float[≤ 55.0]) Algorithm terminated successfully (time: 3s 851ms, 1000 descriptions tested, 922 nodes in the search tree). number of retrievals: 1285 retrieval reasoning time: 3s 89ms ( 2ms per retrieval) (complex) subsumption checks: 949 (0 multiple) subsumption reasoning time: 73ms ( 0ms per subsumption check) overall reasoning time: 3s 162ms 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 8ms: ∃ value.(date[≤ 2001-09-24]) more accurate (83.33%) class expression found after 15ms: ∃ value.(date[≤ 1971-09-24]) more accurate (100.00%) class expression found after 53ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) Algorithm terminated successfully (time: 757ms, 1000 descriptions tested, 746 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 477ms ( 0ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 13ms ( 0ms per subsumption check) overall reasoning time: 491ms 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 15ms: ∃ value.(date[≤ 2001-09-24]) more accurate (83.33%) class expression found after 42ms: ∃ value.(date[≤ 1971-09-24]) more accurate (100.00%) class expression found after 262ms: ∃ value.(date[≥ 1970-01-22 , ≤ 1971-09-24]) Algorithm terminated successfully (time: 2s 718ms, 1000 descriptions tested, 746 nodes in the search tree). number of retrievals: 1050 retrieval reasoning time: 2s 487ms ( 2ms per retrieval) (complex) subsumption checks: 76 (0 multiple) subsumption reasoning time: 7ms ( 0ms per subsumption check) overall reasoning time: 2s 495ms 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: 32.665 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.174 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: 38.933 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.008 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.013 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.024 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.008 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.08 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/PR-106/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/PR-106/workspace/components-core/target/components-core-1.5.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/PR-106/workspace/components-core/target/components-core-1.5.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/PR-106/workspace/components-core/target/components-core-1.5.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-SNAPSHOT.jar [INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-SNAPSHOT.pom [INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/PR-106/workspace/components-core/target/components-core-1.5.1-SNAPSHOT-tests.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-SNAPSHOT-tests.jar