UnstableConsole Output

Skipping 719 KB.. Full Log
atest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsDisconnectedFrom(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsPartiallyOverlappingWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsNearMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testEndsNear(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsProperPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetCrossesMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsSpatiallyIdenticalWithMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsNear(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetHasProperPartMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetRunsAlongMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsNonTangentialProperPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsHavingNonTangentialProperPart(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsEndingNear(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetHasPartMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.003 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsNonTangentialProperPartOfMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsTangentialProperPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsExternallyConnectedWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsTangentialProperPartOfMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsHavingProperPart(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetPartiallyOverlapsWithMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.006 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetHasTangentialProperPartMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsTangentialProperPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.004 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsProperPartOfMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsConnectedWithMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetHasNonTangentialProperPartMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsPartOfMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testHotelExample(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsConnectedWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testHasPart(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsStartingNear(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsDisconnectedFrom(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsProperPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsOverlappingWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testCrosses(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testRunsAlong(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsExternallyConnectedWithMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsHavingTangentialProperPart(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testOverlapsWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsNonTangentialProperPartOf(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIndividualsSpatiallyIdenticalWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testgetOverlapsWithMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsConnectedWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsNear(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetIsDisconnectedFromMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetStartsNearMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testIsSpatiallyIdenticalWith(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testGetEndsNearMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testPartiallyOverlaps(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] getIndividualsHavingPart(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testgetIndividualsRunningAlong(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testStartsNear(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.001 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[ERROR] testUpdateWithSubPropertyMembers(org.dllearner.reasoning.spatial.SpatialReasonerPostGISTest)  Time elapsed: 0.002 s  <<< ERROR!
org.testcontainers.containers.ContainerLaunchException: Container startup failed
Caused by: org.testcontainers.containers.ContainerFetchException: Can't get Docker image: RemoteDockerImage(imageName=postgis/postgis:latest, imagePullPolicy=DefaultPullPolicy())
Caused by: java.lang.IllegalStateException: Previous attempts to find a Docker environment failed. Will not retry. Please see logs and check configuration

[INFO] 
[INFO] Results:
[INFO] 
[ERROR] Errors: 
[ERROR]   SpatialReasonerPostGISTest.getIndividualsHavingPart » ContainerLaunch Containe...
[ERROR]   SpatialReasonerPostGISTest.testCrosses » ContainerLaunch Container startup fai...
[ERROR]   SpatialReasonerPostGISTest.testEndsNear » ContainerLaunch Container startup fa...
[ERROR]   SpatialReasonerPostGISTest.testGetCrossesMembers » ContainerLaunch Container s...
[ERROR]   SpatialReasonerPostGISTest.testGetEndsNearMembers » ContainerLaunch Container ...
[ERROR]   SpatialReasonerPostGISTest.testGetHasNonTangentialProperPartMembers » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetHasPartMembers » ContainerLaunch Container s...
[ERROR]   SpatialReasonerPostGISTest.testGetHasProperPartMembers » ContainerLaunch Conta...
[ERROR]   SpatialReasonerPostGISTest.testGetHasTangentialProperPartMembers » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsConnectedWith » ContainerLaunch C...
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsCrossing » ContainerLaunch Contai...
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsDisconnectedFrom » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsEndingNear » ContainerLaunch Cont...
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsExternallyConnectedWith » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsHavingNonTangentialProperPart » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsHavingProperPart » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsHavingTangentialProperPart » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsNear » ContainerLaunch Container ...
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsNonTangentialProperPartOf » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsOverlappingWith » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsPartOf » ContainerLaunch Containe...
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsPartiallyOverlappingWith » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsProperPartOf » ContainerLaunch Co...
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsSpatiallyIdenticalWith » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsStartingNear » ContainerLaunch Co...
[ERROR]   SpatialReasonerPostGISTest.testGetIndividualsTangentialProperPartOf » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIsConnectedWithMembers » ContainerLaunch Con...
[ERROR]   SpatialReasonerPostGISTest.testGetIsDisconnectedFromMembers » ContainerLaunch ...
[ERROR]   SpatialReasonerPostGISTest.testGetIsExternallyConnectedWithMembers » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIsNearMembers » ContainerLaunch Container st...
[ERROR]   SpatialReasonerPostGISTest.testGetIsNonTangentialProperPartOfMembers » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIsPartOfMembers » ContainerLaunch Container ...
[ERROR]   SpatialReasonerPostGISTest.testGetIsProperPartOfMembers » ContainerLaunch Cont...
[ERROR]   SpatialReasonerPostGISTest.testGetIsSpatiallyIdenticalWithMembers » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetIsTangentialProperPartOfMembers » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetPartiallyOverlapsWithMembers » ContainerLaunch
[ERROR]   SpatialReasonerPostGISTest.testGetRunsAlongMembers » ContainerLaunch Container...
[ERROR]   SpatialReasonerPostGISTest.testGetStartsNearMembers » ContainerLaunch Containe...
[ERROR]   SpatialReasonerPostGISTest.testHasPart » ContainerLaunch Container startup fai...
[ERROR]   SpatialReasonerPostGISTest.testHotelExample » ContainerLaunch Container startu...
[ERROR]   SpatialReasonerPostGISTest.testIsConnectedWith » ContainerLaunch Container sta...
[ERROR]   SpatialReasonerPostGISTest.testIsDisconnectedFrom » ContainerLaunch Container ...
[ERROR]   SpatialReasonerPostGISTest.testIsExternallyConnectedWith » ContainerLaunch Con...
[ERROR]   SpatialReasonerPostGISTest.testIsNear » ContainerLaunch Container startup fail...
[ERROR]   SpatialReasonerPostGISTest.testIsNonTangentialProperPartOf » ContainerLaunch C...
[ERROR]   SpatialReasonerPostGISTest.testIsPartOf » ContainerLaunch Container startup fa...
[ERROR]   SpatialReasonerPostGISTest.testIsProperPartOf » ContainerLaunch Container star...
[ERROR]   SpatialReasonerPostGISTest.testIsSpatiallyIdenticalWith » ContainerLaunch Cont...
[ERROR]   SpatialReasonerPostGISTest.testIsTangentialProperPartOf » ContainerLaunch Cont...
[ERROR]   SpatialReasonerPostGISTest.testOverlapsWith » ContainerLaunch Container startu...
[ERROR]   SpatialReasonerPostGISTest.testPartiallyOverlaps » ContainerLaunch Container s...
[ERROR]   SpatialReasonerPostGISTest.testRunsAlong » ContainerLaunch Container startup f...
[ERROR]   SpatialReasonerPostGISTest.testStartsNear » ContainerLaunch Container startup ...
[ERROR]   SpatialReasonerPostGISTest.testUpdateWithSubPropertyMembers » ContainerLaunch ...
[ERROR]   SpatialReasonerPostGISTest.testgetIndividualsRunningAlong » ContainerLaunch Co...
[ERROR]   SpatialReasonerPostGISTest.testgetOverlapsWithMembers » ContainerLaunch Contai...
[INFO] 
[ERROR] Tests run: 61, Failures: 0, Errors: 56, Skipped: 0
[INFO] 
[ERROR] There are test failures.

Please refer to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-ext/target/surefire-reports for the individual test results.
Please refer to dump files (if any exist) [date]-jvmRun[N].dump, [date].dumpstream and [date]-jvmRun[N].dumpstream.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-ext/target/components-ext-1.4.1-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ components-ext ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-ext/target/components-ext-1.4.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.pom
[INFO] 
[INFO] ----------------------< org.dllearner:interfaces >----------------------
[INFO] Building dllearner-interfaces 1.4.1-SNAPSHOT                       [4/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces ---
[INFO] 
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces ---
[INFO] 
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/main/javacc
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 357 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 127 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java: Some input files use or override a deprecated API.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/main/java/org/dllearner/server/EnrichmentServlet.java: Recompile with -Xlint:deprecation for details.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/main/java/org/dllearner/confparser/PostProcessor.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/main/java/org/dllearner/confparser/PostProcessor.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:testResources (default-testResources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/target/test-classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.0:test (default-test) @ interfaces ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/target/surefire-reports
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.FatherCLITest
Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 36ms. Status: OK
Initializing component 'embeddedReasoner' of type OWL API Reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
... initialized component 'embeddedReasoner' in 170ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Materializing TBox...
materialising concepts

[.....] 0%
[=....] 33%materialising object properties ...

[===..] 66%materialising datatype properties
...TBox materialised in 45 ms.
... initialized component 'reasoner' in 45ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 15ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 2ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (29579 descriptions tested).

Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 4ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%
[=....] 33%materialising object properties ...

[===..] 66%materialising datatype properties
...TBox materialised in 1 ms.
... initialized component 'reasoner' in 10ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 2ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 1ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 1ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (29663 descriptions tested).

[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 33.648 s - in org.dllearner.cli.FatherCLITest
[INFO] Running org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
Initializing component 'fourthBean' of type TestBean Component ...
... initialized component 'fourthBean' in 0ms. Status: OK
Initializing component 'thirdBean' of type TestBean Component ...
... initialized component 'thirdBean' in 0ms. Status: OK
Initializing component 'secondBean' of type TestBean Component ...
... initialized component 'secondBean' in 0ms. Status: OK
Initializing component 'testBean' of type TestBean Component ...
... initialized component 'testBean' in 0ms. Status: OK
Initializing component 'fifthBean' of type TestBean Component ...
... initialized component 'fifthBean' in 0ms. Status: OK
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.096 s - in org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
[INFO] Running org.dllearner.confparser3.ParseTest
ks.type = KB File
ks.fileName = father.kb
reasoner.type = cwr
reasoner.reasonerComponent = embeddedReasoner    (bean reference)
embeddedReasoner.type = OWL API Reasoner
embeddedReasoner.sources = [ks]
lp.type = posNegStandard
lp.positiveExamples = [http://localhost/foo#markus, http://localhost/foo#stefan, http://localhost/foo#bernd]
lp.negativeExamples = [http://localhost/foo#gabi, http://localhost/foo#anna, http://localhost/foo#michelle, http://localhost/foo#heinz]
lp.reasoner = reasoner    (bean reference)
op.type = rho
op.useCardinalityRestrictions = true
op.reasoner = reasoner    (bean reference)
h.type = multiheuristic
h.expansionPenaltyFactor = 0.2
alg.type = ocel
alg.reasoner = reasoner    (bean reference)
alg.operator = op    (bean reference)
alg.heuristic = h    (bean reference)
alg.maxExecutionTimeInSeconds = 15
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 1ms. Status: OK
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.082 s - in org.dllearner.confparser3.ParseTest
[INFO] Running org.dllearner.test.junit.LearningProblemTest
Initializing component 'acc' of type Predictive Accuracy without Weak elimination ...
... initialized component 'acc' in 0ms. Status: OK
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 0ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%
[.....] 0%
[.....] 1%
[.....] 1%
[.....] 2%
[.....] 3%
[.....] 3%
[.....] 4%
[.....] 4%
[.....] 5%
[.....] 6%
[.....] 6%
[.....] 7%
[.....] 8%
[.....] 8%
[.....] 9%
[.....] 9%
[.....] 10%
[.....] 11%
[.....] 11%
[.....] 12%
[.....] 13%
[.....] 13%
[.....] 14%
[.....] 14%
[.....] 15%
[.....] 16%
[.....] 16%
[.....] 17%
[.....] 18%
[.....] 18%
[.....] 19%
[.....] 19%
[=....] 20%
[=....] 21%
[=....] 21%
[=....] 22%
[=....] 22%
[=....] 23%
[=....] 24%
[=....] 24%
[=....] 25%
[=....] 26%
[=....] 26%
[=....] 27%
[=....] 27%
[=....] 28%
[=....] 29%
[=....] 29%
[=....] 30%
[=....] 31%
[=....] 31%
[=....] 32%
[=....] 32%
[=....] 33%
[=....] 34%
[=....] 34%
[=....] 35%
[=....] 36%
[=....] 36%
[=....] 37%
[=....] 37%
[=....] 38%
[=....] 39%
[=....] 39%
[==...] 40%
[==...] 40%
[==...] 41%
[==...] 42%
[==...] 42%
[==...] 43%
[==...] 44%
[==...] 44%
[==...] 45%
[==...] 45%
[==...] 46%
[==...] 47%
[==...] 47%
[==...] 48%
[==...] 49%
[==...] 49%
[==...] 50%
[==...] 50%
[==...] 51%
[==...] 52%
[==...] 52%
[==...] 53%
[==...] 54%
[==...] 54%
[==...] 55%
[==...] 55%
[==...] 56%
[==...] 57%
[==...] 57%
[==...] 58%
[==...] 59%
[==...] 59%
[===..] 60%
[===..] 60%
[===..] 61%
[===..] 62%
[===..] 62%
[===..] 63%
[===..] 63%
[===..] 64%
[===..] 65%
[===..] 65%
[===..] 66%
[===..] 67%
[===..] 67%
[===..] 68%
[===..] 68%
[===..] 69%
[===..] 70%
[===..] 70%
[===..] 71%
[===..] 72%
[===..] 72%
[===..] 73%
[===..] 73%
[===..] 74%
[===..] 75%
[===..] 75%
[===..] 76%
[===..] 77%
[===..] 77%
[===..] 78%
[===..] 78%
[===..] 79%
[====.] 80%
[====.] 80%
[====.] 81%
[====.] 81%
[====.] 82%
[====.] 83%
[====.] 83%
[====.] 84%
[====.] 85%
[====.] 85%
[====.] 86%
[====.] 86%
[====.] 87%materialising object properties ...

[====.] 88%
[====.] 88%
[====.] 89%
[====.] 90%materialising datatype properties

[====.] 90%
[====.] 91%
[====.] 91%
[====.] 92%
[====.] 93%
[====.] 93%
[====.] 94%
[====.] 95%
[====.] 95%
[====.] 96%
[====.] 96%
[====.] 97%
[====.] 98%
[====.] 98%
[====.] 99%Property cytogen_ca has more than one value [false, true] for individual d135. We ignore the value.
Property cytogen_ca has value [false, true]. Cannot determine whether it is false.
...TBox materialised in 8342 ms.
... initialized component 'reasoner' in 12s 83ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 71ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 4ms. Status: OK
concept: Compound and ((hasStructure some Ar_halide) or (amesTestPositive some {true})) and (hasAtom only (not (Nitrogen-35))) {12}
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 12.335 s - in org.dllearner.test.junit.LearningProblemTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ interfaces ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/target/dl-learner.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.pom
[INFO] 
[INFO] --------------------< org.dllearner:interfaces-ext >--------------------
[INFO] Building interfaces-ext 1.4.1-SNAPSHOT                             [5/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces-ext ---
[INFO] 
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces-ext ---
[INFO] 
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces-ext ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/src/main/javacc
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 357 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 73 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/MapTypeImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/MapTypeImpl.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:testResources (default-testResources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.0:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/surefire-reports
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.unife.CLILEAPTest
main
DL-Learner command line interface
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 1ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts

[.....] 0%
[.....] 16%
[=....] 33%
[==...] 50%
[===..] 66%materialising object properties ...

[====.] 83%materialising datatype properties
...TBox materialised in 51 ms.
... initialized component 'reasoner' in 400ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 1ms. Status: OK
Initializing component 'lpr' of type EDGE ...
... initialized component 'lpr' in 1ms. Status: OK
Initializing component 'alg' of type CELOE ...
... initialized component 'alg' in 17ms. Status: OK
Initializing component 'psla' of type LEAP ...
... initialized component 'psla' in 6ms. Status: OK
CLI LEAP
CLI LEAP
Running algorithm instance "psla" (LEAP)
start class:Thing
more accurate (50.00%) class expression found after 26ms: Thing
more accurate (83.33%) class expression found after 77ms: learnedClass
more accurate (100.00%) class expression found after 79ms: father
Algorithm terminated successfully (time: 10s 1ms, 6779 descriptions tested, 5261 nodes in the search tree).

number of retrievals: 6978
retrieval reasoning time: 95ms ( 0ms per retrieval)
number of instance checks: 54 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 295 (0 multiple)
subsumption reasoning time: 60ms ( 0ms per subsumption check)
overall reasoning time: 156ms

solutions:
1: father (pred. acc.: 100.00%, F-measure: 100.00%)
2: father (pred. acc.: 100.00%, F-measure: 100.00%)
3: father or (hasChild some female) (pred. acc.: 100.00%, F-measure: 100.00%)
4: father or (hasChild some father) (pred. acc.: 100.00%, F-measure: 100.00%)
5: learnedClass and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
6: male and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
7: father or (hasChild some (not (learnedClass))) (pred. acc.: 100.00%, F-measure: 100.00%)
8: father or (hasChild some (not (male))) (pred. acc.: 100.00%, F-measure: 100.00%)
9: (not (female)) and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
10: father or (learnedClass and (hasChild some learnedClass)) (pred. acc.: 100.00%, F-measure: 100.00%)

Start greedy search
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Type of axiom to learn: equivalentClasses axioms
number of axiom chunks: 10
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.25428

============ Results ============

ax 1/10 : father EquivalentTo learnedClass	arrayprob: 0.99660
ax 2/10 : male SubClassOf learnedClass	arrayprob: 0.18941
ax 3/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 4/10 : father SubClassOf male	arrayprob: 0.98600
ax 5/10 : female SubClassOf person	arrayprob: 0.63742
ax 6/10 : hasChild Domain person	arrayprob: 0.87918
ax 7/10 : male SubClassOf person	arrayprob: 0.55044
ax 8/10 : female DisjointWith male	arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

=================================

Name           | Total (ms)
===========================
main           |        180
init           |         25
Bundle         |        106
Bundle.init    |          0
Bundle.explain |         92
Bundle.BDDCalc |          3
EM             |         40
Current Log-Likelihood: -0.25428
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 3.0 (ms)
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [father EquivalentTo learnedClass, stefan Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.15390

============ Results ============

ax 1/10 : father EquivalentTo learnedClass	arrayprob: 0.99848
ax 2/10 : male SubClassOf learnedClass	arrayprob: 0.11937
ax 3/10 : learnedClass SubClassOf Thing	arrayprob: 0.98484
ax 4/10 : father SubClassOf male	arrayprob: 0.99066
ax 5/10 : female SubClassOf person	arrayprob: 0.55044
ax 6/10 : hasChild Domain person	arrayprob: 0.94125
ax 7/10 : male SubClassOf person	arrayprob: 0.59755
ax 8/10 : female DisjointWith male	arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing	arrayprob: 0.38519
ax 10/10 : hasChild Range person	arrayprob: 0.27495

=================================

Name           | Total (ms)
===========================
main           |        103
init           |          1
Bundle         |         83
Bundle.init    |          0
Bundle.explain |         74
Bundle.BDDCalc |          2
EM             |         16
Current Log-Likelihood: -0.15390
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 3.0 (ms)
Adding axiom: learnedClass EquivalentTo father or (hasChild some female)
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 11
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [stefan Type father, learnedClass EquivalentTo father or (hasChild some female)]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Removing axiom: markus Type father 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [male SubClassOf learnedClass, markus Type male]
Computed 3 explanations
Restoring axiom: markus Type father
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	11
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.15384

============ Results ============

ax 1/11 : father EquivalentTo learnedClass	arrayprob: 0.99440
ax 2/11 : male SubClassOf learnedClass	arrayprob: 0.12300
ax 3/11 : learnedClass SubClassOf Thing	arrayprob: 0.98484
ax 4/11 : father SubClassOf male	arrayprob: 1.00000
ax 5/11 : female SubClassOf person	arrayprob: 0.55044
ax 6/11 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.29779
ax 7/11 : hasChild Domain person	arrayprob: 0.94125
ax 8/11 : male SubClassOf person	arrayprob: 0.59755
ax 9/11 : female DisjointWith male	arrayprob: 1.00000
ax 10/11 : person SubClassOf Thing	arrayprob: 0.38519
ax 11/11 : hasChild Range person	arrayprob: 0.27495

=================================

Name           | Total (ms)
===========================
main           |        107
init           |          0
Bundle         |         95
Bundle.init    |          0
Bundle.explain |         86
Bundle.BDDCalc |          0
EM             |         10
Current Log-Likelihood: -0.15384
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 3.0 (ms)
Adding axiom: learnedClass EquivalentTo father or (hasChild some father)
The axiom will make the KB inconsistent.
It will NOT be added
The axiom will make the KB inconsistent.
It will NOT be added
Trying with the next class expression
Adding axiom: learnedClass EquivalentTo learnedClass and (hasChild some person)
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.18589

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.99004
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.70488
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : male SubClassOf person	arrayprob: 0.33322
ax 9/12 : female DisjointWith male	arrayprob: 1.00000
ax 10/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 11/12 : hasChild Range person	arrayprob: 0.12890
ax 12/12 : learnedClass EquivalentTo learnedClass and (hasChild some person)	arrayprob: 0.24054

=================================

Name           | Total (ms)
===========================
main           |         86
init           |          1
Bundle         |         77
Bundle.init    |          0
Bundle.explain |         71
Bundle.BDDCalc |          1
EM             |          6
Current Log-Likelihood: -0.18589
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo male and (hasChild some person)
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, female DisjointWith male, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [female DisjointWith male, anna Type female, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.20924

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.95704
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.14051
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.55044
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.74085
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : male SubClassOf person	arrayprob: 0.33322
ax 9/12 : female DisjointWith male	arrayprob: 1.00000
ax 10/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 11/12 : hasChild Range person	arrayprob: 0.12890
ax 12/12 : learnedClass EquivalentTo male and (hasChild some person)	arrayprob: 1.00000

=================================

Name           | Total (ms)
===========================
main           |         65
init           |          1
Bundle         |         60
Bundle.init    |          0
Bundle.explain |         54
Bundle.BDDCalc |          1
EM             |          4
Current Log-Likelihood: -0.20924
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (learnedClass))), anna Type female, anna hasChild heinz]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 3 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (learnedClass))) 4 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))
Removing axiom: anna Type female 5 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Removing axiom: anna hasChild heinz 5 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 5 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.25960

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99122
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12511
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.96541
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.30974
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : male SubClassOf person	arrayprob: 0.33322
ax 9/12 : female DisjointWith male	arrayprob: 0.99830
ax 10/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 11/12 : learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))	arrayprob: 0.01579
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         90
init           |          0
Bundle         |         82
Bundle.init    |          0
Bundle.explain |         76
Bundle.BDDCalc |          2
EM             |          8
Current Log-Likelihood: -0.25960
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some (not (male))), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some (not (male))), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.18589

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.99004
ax 5/12 : learnedClass EquivalentTo father or (hasChild some (not (male)))	arrayprob: 0.70488
ax 6/12 : female SubClassOf person	arrayprob: 0.59755
ax 7/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.24054
ax 8/12 : hasChild Domain person	arrayprob: 0.27495
ax 9/12 : male SubClassOf person	arrayprob: 0.33322
ax 10/12 : female DisjointWith male	arrayprob: 1.00000
ax 11/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         59
init           |          1
Bundle         |         53
Bundle.init    |          0
Bundle.explain |         49
Bundle.BDDCalc |          1
EM             |          4
Current Log-Likelihood: -0.18589
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: michelle Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: father EquivalentTo learnedClass 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 2 more removed: [father EquivalentTo learnedClass, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [learnedClass EquivalentTo (not (female)) and (hasChild some person), anna Type female]
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: anna Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable
Restoring axiom: anna Type female
Removing axiom: father EquivalentTo learnedClass 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 2 more removed: [father EquivalentTo learnedClass, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Removing axiom: anna Type female 4 more removed: [father EquivalentTo learnedClass, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.27754

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.96262
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.13007
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.87416
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.73414
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : learnedClass EquivalentTo (not (female)) and (hasChild some person)	arrayprob: 0.74260
ax 9/12 : male SubClassOf person	arrayprob: 0.33322
ax 10/12 : female DisjointWith male	arrayprob: 0.99234
ax 11/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         62
init           |          0
Bundle         |         56
Bundle.init    |          0
Bundle.explain |         51
Bundle.BDDCalc |          0
EM             |          5
Current Log-Likelihood: -0.27754
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (learnedClass and (hasChild some learnedClass))
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.18589

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : learnedClass EquivalentTo father or (learnedClass and (hasChild some learnedClass))	arrayprob: 0.24054
ax 5/12 : father SubClassOf male	arrayprob: 0.99004
ax 6/12 : female SubClassOf person	arrayprob: 0.59755
ax 7/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.70488
ax 8/12 : hasChild Domain person	arrayprob: 0.27495
ax 9/12 : male SubClassOf person	arrayprob: 0.33322
ax 10/12 : female DisjointWith male	arrayprob: 1.00000
ax 11/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         64
init           |          1
Bundle         |         59
Bundle.init    |          0
Bundle.explain |         54
Bundle.BDDCalc |          3
EM             |          4
Current Log-Likelihood: -0.18589
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: learnedClass EquivalentTo father or (hasChild some female)
Saving the learned ontology
Main: 10887 ms
CELOE: 10004 ms
EDGE: 816 ms
	Bundle: 671 ms
		BDDCalc: 13 ms
		explain: 607 ms
		init: 0 ms
	EM: 97 ms
	init: 30 ms
Other: 67 ms
Program client: execution successfully terminated
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.173 s - in org.dllearner.cli.unife.CLILEAPTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ interfaces-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/dl-learner.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces-ext ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.pom
[INFO] 
[INFO] -----------------------< org.dllearner:scripts >------------------------
[INFO] Building Executable scripts 1.4.1-SNAPSHOT                         [6/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ scripts ---
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ scripts ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 26 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:testResources (default-testResources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ scripts ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.0:test (default-test) @ scripts ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ scripts ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/target/scripts-1.4.1-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ scripts ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/target/scripts-1.4.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] DL Learner Parent Pom 1.4.1-SNAPSHOT ............... SUCCESS [  0.931 s]
[INFO] DL Learner Core Components ......................... SUCCESS [02:23 min]
[INFO] components-ext ..................................... SUCCESS [01:36 min]
[INFO] dllearner-interfaces ............................... SUCCESS [ 56.354 s]
[INFO] interfaces-ext ..................................... SUCCESS [ 21.339 s]
[INFO] Executable scripts 1.4.1-SNAPSHOT .................. SUCCESS [  1.943 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 05:25 min
[INFO] Finished at: 2020-08-03T12:59:14+02:00
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/pom.xml to org.dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces-ext/target/dl-learner.jar to org.dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-ext/target/components-ext-1.4.1-SNAPSHOT.jar to org.dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/pom.xml to org.dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/scripts/target/scripts-1.4.1-SNAPSHOT.jar to org.dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/pom.xml to org.dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/components-core-1.4.1-SNAPSHOT.jar to org.dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/components-core/target/components-core-1.4.1-SNAPSHOT-tests.jar to org.dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT-tests.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/pom.xml to org.dllearner/dllearner-parent/1.4.1-SNAPSHOT/dllearner-parent-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-spatial2.t9snk7/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.jar
channel stopped
[File exists] check if file exists [.git/MERGE_MODE]
Run condition [Not] enabling perform for step [[Set GitHub commit status (universal)]]
[Set GitHub commit status (universal)] FAILURE on repos [GHRepository@6f528736[nodeId=MDEwOlJlcG9zaXRvcnkyMjY5MzUxNQ==,description=A tool for supervised Machine Learning in OWL and Description Logics,homepage=http://dl-learner.org,name=DL-Learner,fork=false,archived=false,size=255730,milestones={},language=Java,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/SmartDataAnalytics/DL-Learner,id=22693515,nodeId=<null>,createdAt=2014-08-06T18:29:54Z,updatedAt=2020-07-22T16:20:46Z]] (sha:72b6995) with context:jenkins-merge
Setting commit status on GitHub for https://github.com/SmartDataAnalytics/DL-Learner/commit/72b699566efff95689e4cb5e511502d2bff963cf
Finished: UNSTABLE