SuccessConsole Output

[INFO] 
[INFO] --------------------< org.dllearner:interfaces-ext >--------------------
[INFO] Building interfaces-ext 1.3.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/dependency-updates/workspace/interfaces-ext/src/main/javacc
[INFO] 
[INFO] --- maven-resources-plugin:3.0.2:resources (default-resources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 391 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/dependency-updates/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.0.2: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/dependency-updates/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/dependency-updates/workspace/interfaces-ext/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.20.1:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/surefire-reports
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.unife.CLILEAPTest
main
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/slf4j/slf4j-log4j12/1.7.26/slf4j-log4j12-1.7.26.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/apache/logging/log4j/log4j-slf4j-impl/2.12.0/log4j-slf4j-impl-2.12.0.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory]
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...
...TBox materialised in 49 ms.
... initialized component 'reasoner' in 430ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. 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 20ms. 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 27ms: Thing
more accurate (83.33%) class expression found after 81ms: learnedClass
more accurate (100.00%) class expression found after 82ms: father
Algorithm terminated successfully (time: 10s 1ms, 6555 descriptions tested, 4868 nodes in the search tree).

number of retrievals: 6751
retrieval reasoning time: 100ms ( 0ms per retrieval)
number of instance checks: 27 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 292 (0 multiple)
subsumption reasoning time: 57ms ( 0ms per subsumption check)
overall reasoning time: 158ms

solutions:
1: father (pred. acc.: 100.00%, F-measure: 100.00%)
2: father (pred. acc.: 100.00%, F-measure: 100.00%)
3: father (pred. acc.: 100.00%, F-measure: 100.00%)
4: father or (hasChild some female) (pred. acc.: 100.00%, F-measure: 100.00%)
5: father or (hasChild some father) (pred. acc.: 100.00%, F-measure: 100.00%)
6: learnedClass and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
7: male and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
8: father and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
9: father or (hasChild some (not (male))) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (not (female)) and (hasChild some person) (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 0.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           |        201
init           |         29
Bundle         |        119
Bundle.init    |          0
Bundle.explain |        105
Bundle.BDDCalc |          2
EM             |         41
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           |         89
init           |          1
Bundle         |         76
Bundle.init    |          0
Bundle.explain |         70
Bundle.BDDCalc |          0
EM             |          9
Current Log-Likelihood: -0.15390
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 2.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: [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.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           |         69
init           |          1
Bundle         |         60
Bundle.init    |          0
Bundle.explain |         53
Bundle.BDDCalc |          1
EM             |          6
Current Log-Likelihood: -0.15390
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some female)
Running parameter learner
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: [stefan Type father, learnedClass EquivalentTo father or (hasChild some female)]
Removing axiom: stefan Type father 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
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: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
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, learnedClass EquivalentTo father or (hasChild some female)]
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: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
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})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
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})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.26581

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24054
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.98722
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: 0.98484
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

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

Name           | Total (ms)
===========================
main           |         54
init           |          0
Bundle         |         47
Bundle.init    |          0
Bundle.explain |         43
Bundle.BDDCalc |          0
EM             |          4
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some father)
Running parameter learner
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: [learnedClass EquivalentTo father or (hasChild some father), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
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: [learnedClass EquivalentTo father or (hasChild some father), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
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, learnedClass EquivalentTo father or (hasChild some father)]
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: [learnedClass EquivalentTo father or (hasChild some father), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
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})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
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})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.26581

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some father)	arrayprob: 0.98722
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: 0.98484
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

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

Name           | Total (ms)
===========================
main           |         51
init           |          0
Bundle         |         42
Bundle.init    |          0
Bundle.explain |         39
Bundle.BDDCalc |          0
EM             |          5
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo learnedClass and (hasChild some person)
Running parameter learner
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: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: father SubClassOf male 2 more removed: [stefan Type male, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: stefan Type father 3 more removed: [stefan Type male, male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: stefan Type male
Removing axiom: male SubClassOf learnedClass 2 more removed: [male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
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: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 1 more removed: [male SubClassOf 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: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
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})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -2.24933

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.75000
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24053
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.87918
ax 6/10 : male SubClassOf person	arrayprob: 0.55044
ax 7/10 : female DisjointWith male	arrayprob: 0.98484
ax 8/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 9/10 : hasChild Range person	arrayprob: 0.94125
ax 10/10 : learnedClass EquivalentTo learnedClass and (hasChild some person)	arrayprob: 0.73097

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

Name           | Total (ms)
===========================
main           |         35
init           |          1
Bundle         |         33
Bundle.init    |          0
Bundle.explain |         26
Bundle.BDDCalc |          1
EM             |          0
Current Log-Likelihood: -2.24933
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo male and (hasChild some person)
Running parameter learner
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: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, stefan hasChild markus, learnedClass EquivalentTo male and (hasChild some person)]
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: [martin Type male, martin hasChild heinz, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, martin hasChild heinz, hasChild Range person, martin Type father, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: martin Type male
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: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, markus Type male, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, markus Type father, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf 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:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.86074

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.36175
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.51527
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.96895
ax 6/10 : male SubClassOf person	arrayprob: 0.55044
ax 7/10 : female DisjointWith male	arrayprob: 1.00000
ax 8/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 9/10 : hasChild Range person	arrayprob: 0.99626
ax 10/10 : learnedClass EquivalentTo male and (hasChild some person)	arrayprob: 0.99444

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

Name           | Total (ms)
===========================
main           |         74
init           |          0
Bundle         |         66
Bundle.init    |          0
Bundle.explain |         60
Bundle.BDDCalc |          0
EM             |          7
Current Log-Likelihood: -0.86074
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father and (hasChild some person)
Running parameter learner
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: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, hasChild Domain person, stefan Type father, learnedClass EquivalentTo father and (hasChild some person), stefan hasChild markus]
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: [learnedClass EquivalentTo father and (hasChild some person), martin hasChild heinz, hasChild Range person, martin Type father]
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: martin hasChild heinz 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Removing axiom: martin Type father 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
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: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo father and (hasChild some person), markus Type father, hasChild Range person]
Removing axiom: markus hasChild anna 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: markus hasChild anna
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father SubClassOf male, michelle Type female, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father 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: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person), anna Type female]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: anna Type female 3 more removed: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
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.27340

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.19924
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.98677
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.99465
ax 6/10 : male SubClassOf person	arrayprob: 0.55044
ax 7/10 : female DisjointWith male	arrayprob: 1.00000
ax 8/10 : learnedClass EquivalentTo father and (hasChild some person)	arrayprob: 0.99653
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.99751

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

Name           | Total (ms)
===========================
main           |         63
init           |          1
Bundle         |         57
Bundle.init    |          0
Bundle.explain |         51
Bundle.BDDCalc |          1
EM             |          5
Current Log-Likelihood: -0.27340
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Running parameter learner
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: [learnedClass EquivalentTo father or (hasChild some (not (male))), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
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: [learnedClass EquivalentTo father or (hasChild some (not (male))), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
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, learnedClass EquivalentTo father or (hasChild some (not (male)))]
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: [learnedClass EquivalentTo father or (hasChild some (not (male))), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
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})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
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})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.26581

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some (not (male)))	arrayprob: 0.98722
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: 0.98484
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

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

Name           | Total (ms)
===========================
main           |         41
init           |          1
Bundle         |         35
Bundle.init    |          0
Bundle.explain |         31
Bundle.BDDCalc |          1
EM             |          3
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Running parameter learner
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: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, stefan hasChild markus]
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: [martin Type male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person, martin Type father]
Computed 3 explanations
Restoring axiom: martin Type male
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: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type male, hasChild Range person]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type father, hasChild Range person]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf 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: []
Stop - satisfiable
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: []
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Removing axiom: anna Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
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.87160

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.36573
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.51105
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.96812
ax 6/10 : learnedClass EquivalentTo (not (female)) and (hasChild some person)	arrayprob: 0.99432
ax 7/10 : male SubClassOf person	arrayprob: 0.55044
ax 8/10 : female DisjointWith male	arrayprob: 0.99839
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.99614

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

Name           | Total (ms)
===========================
main           |         69
init           |          1
Bundle         |         60
Bundle.init    |          0
Bundle.explain |         56
Bundle.BDDCalc |          0
EM             |          8
Current Log-Likelihood: -0.87160
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: father EquivalentTo learnedClass
Saving the learned ontology
Main: 10808 ms
CELOE: 10005 ms
EDGE: 746 ms
	Bundle: 595 ms
		BDDCalc: 6 ms
		explain: 534 ms
		init: 0 ms
	EM: 88 ms
	init: 35 ms
Other: 57 ms
Program client: execution successfully terminated
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.163 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.0.2:jar (default-jar) @ interfaces-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/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/dependency-updates/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] DL Learner Parent Pom 1.3.1-SNAPSHOT ............... SUCCESS [  0.797 s]
[INFO] DL Learner Core Components ......................... SUCCESS [02:30 min]
[INFO] components-ext ..................................... SUCCESS [01:10 min]
[INFO] dllearner-interfaces ............................... SUCCESS [28:33 min]
[INFO] interfaces-ext ..................................... SUCCESS [ 20.548 s]
[INFO] Executable scripts 1.3.1-SNAPSHOT .................. SUCCESS [  1.869 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 32:41 min
[INFO] Finished at: 2019-07-30T12:03:35+02:00
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data