Console Output

Skipping 280 KB.. Full Log

 male, female DisjointWith male, male SubClassOf person, (not (female)) and (hasChild some person) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Removing axiom: heinz Type male 6 more removed: [father SubClassOf male, female DisjointWith male, male SubClassOf person, (not (female)) and (hasChild some person) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Removing axiom: male SubClassOf person 6 more removed: [father SubClassOf male, female DisjointWith male, male SubClassOf person, (not (female)) and (hasChild some person) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male SubClassOf person
Restoring axiom: hasChild Range person
Removing axiom: female DisjointWith male 6 more removed: [father SubClassOf male, female DisjointWith male, male SubClassOf person, (not (female)) and (hasChild some person) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass 6 more removed: [father SubClassOf male, female DisjointWith male, male SubClassOf person, (not (female)) and (hasChild some person) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass

Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({markus})
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     female disjointWith male
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     markus type male
     hasChild range person
     

MUPS 1: [markus hasChild anna, female DisjointWith male, (not (female)) and (hasChild some person) SubClassOf learnedClass, markus Type male, hasChild Range person]
Removing axiom: markus hasChild anna 0 more removed: []
Stop - satisfiable
Restoring axiom: markus hasChild anna
Removing axiom: female DisjointWith male 0 more removed: []
2)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 2: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild Range person 1 more removed: [female DisjointWith male]
3)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 3: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 2 more removed: [female DisjointWith male, hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild some person SubClassOf learnedClass 2 more removed: [female DisjointWith male, hasChild Range person]
Stop - satisfiable
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 3 more removed: [female DisjointWith male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Removing axiom: anna hasChild heinz 4 more removed: [hasChild Domain person, female DisjointWith male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [hasChild Domain person, female DisjointWith male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass
Restoring axiom: female DisjointWith male
Removing axiom: hasChild Range person 4 more removed: [hasChild Domain person, female DisjointWith male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Removing axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass 4 more removed: [hasChild Domain person, female DisjointWith male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass
Removing axiom: markus Type male 5 more removed: [hasChild Domain person, female DisjointWith male, (not (female)) and (hasChild some person) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male

Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz})
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58453 - tag: 1 - #vars: 7
martin Type learnedClass - prob: 0.57445 - tag: 2 - #vars: 6
markus Type learnedClass - prob: 0.57237 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.64927 cycle: 1
EM cycle: 2
Log-likelihood: -0.52366 cycle: 2
EM cycle: 3
Log-likelihood: -0.37929 cycle: 3
EM cycle: 4
Log-likelihood: -0.31548 cycle: 4
EM cycle: 5
Log-likelihood: -0.27787 cycle: 5
EM cycle: 6
Log-likelihood: -0.25243 cycle: 6
EM cycle: 7
Log-likelihood: -0.23381 cycle: 7
EM cycle: 8
Log-likelihood: -0.21937 cycle: 8
EM cycle: 9
Log-likelihood: -0.20779 cycle: 9
EM cycle: 10
Log-likelihood: -0.19819 cycle: 10
EM cycle: 11
Log-likelihood: -0.19014 cycle: 11
EM cycle: 12
Log-likelihood: -0.18319 cycle: 12
EM cycle: 13
Log-likelihood: -0.17713 cycle: 13
EM cycle: 14
Log-likelihood: -0.17179 cycle: 14
EM cycle: 15
Log-likelihood: -0.16704 cycle: 15
EM cycle: 16
Log-likelihood: -0.16276 cycle: 16
EM cycle: 17
Log-likelihood: -0.15889 cycle: 17
EM cycle: 18
Log-likelihood: -0.15537 cycle: 18
EM cycle: 19
Log-likelihood: -0.15217 cycle: 19
EM cycle: 20
Log-likelihood: -0.14917 cycle: 20
EM cycle: 21
Log-likelihood: -0.14641 cycle: 21
EM cycle: 22
Log-likelihood: -0.14387 cycle: 22
EM cycle: 23
Log-likelihood: -0.14148 cycle: 23
EM cycle: 24
Log-likelihood: -0.13925 cycle: 24
EM cycle: 25
Log-likelihood: -0.13716 cycle: 25
EM cycle: 26
Log-likelihood: -0.13519 cycle: 26
EM cycle: 27
Log-likelihood: -0.13337 cycle: 27
EM cycle: 28
Log-likelihood: -0.13160 cycle: 28
EM cycle: 29
Log-likelihood: -0.12997 cycle: 29
EM cycle: 30
Log-likelihood: -0.12838 cycle: 30
EM cycle: 31
Log-likelihood: -0.12685 cycle: 31
EM cycle: 32
Log-likelihood: -0.12545 cycle: 32
EM cycle: 33
Log-likelihood: -0.12409 cycle: 33
EM cycle: 34
Log-likelihood: -0.12281 cycle: 34
EM cycle: 35
Log-likelihood: -0.12152 cycle: 35
EM cycle: 36
Log-likelihood: -0.12034 cycle: 36
EM cycle: 37
Log-likelihood: -0.11919 cycle: 37
EM cycle: 38
Log-likelihood: -0.11810 cycle: 38
EM cycle: 39
Log-likelihood: -0.11706 cycle: 39
EM cycle: 40
Log-likelihood: -0.11602 cycle: 40
EM cycle: 41
Log-likelihood: -0.11506 cycle: 41
EM cycle: 42
Log-likelihood: -0.11412 cycle: 42
EM cycle: 43
Log-likelihood: -0.11318 cycle: 43
EM cycle: 44
Log-likelihood: -0.11229 cycle: 44
EM cycle: 45
Log-likelihood: -0.11145 cycle: 45
EM cycle: 46
Log-likelihood: -0.11065 cycle: 46
EM cycle: 47
Log-likelihood: -0.10984 cycle: 47
EM cycle: 48
Log-likelihood: -0.10906 cycle: 48
EM cycle: 49
Log-likelihood: -0.10830 cycle: 49
EM cycle: 50
Log-likelihood: -0.10756 cycle: 50
EM cycle: 51
Log-likelihood: -0.10688 cycle: 51
EM cycle: 52
Log-likelihood: -0.10620 cycle: 52
EM cycle: 53
Log-likelihood: -0.10551 cycle: 53
EM cycle: 54
Log-likelihood: -0.10486 cycle: 54
EM cycle: 55
Log-likelihood: -0.10422 cycle: 55
EM cycle: 56
Log-likelihood: -0.10362 cycle: 56
EM cycle: 57
Log-likelihood: -0.10303 cycle: 57
EM cycle: 58
Log-likelihood: -0.10242 cycle: 58
EM cycle: 59
Log-likelihood: -0.10187 cycle: 59
EM cycle: 60
Log-likelihood: -0.10131 cycle: 60
EM cycle: 61
Log-likelihood: -0.10076 cycle: 61
EM cycle: 62
Log-likelihood: -0.10022 cycle: 62
EM cycle: 63
Log-likelihood: -0.09968 cycle: 63
EM cycle: 64
Log-likelihood: -0.09919 cycle: 64
EM cycle: 65
Log-likelihood: -0.09870 cycle: 65
EM cycle: 66
Log-likelihood: -0.09821 cycle: 66
EM cycle: 67
Log-likelihood: -0.09773 cycle: 67
EM cycle: 68
Log-likelihood: -0.09728 cycle: 68
EM cycle: 69
Log-likelihood: -0.09680 cycle: 69
EM cycle: 70
Log-likelihood: -0.09639 cycle: 70
EM cycle: 71
Log-likelihood: -0.09592 cycle: 71
EM cycle: 72
Log-likelihood: -0.09550 cycle: 72
EM cycle: 73
Log-likelihood: -0.09507 cycle: 73
EM cycle: 74
Log-likelihood: -0.09469 cycle: 74
EM cycle: 75
Log-likelihood: -0.09427 cycle: 75
EM cycle: 76
Log-likelihood: -0.09386 cycle: 76
EM cycle: 77
Log-likelihood: -0.09351 cycle: 77
EM cycle: 78
Log-likelihood: -0.09312 cycle: 78
EM cycle: 79
Log-likelihood: -0.09273 cycle: 79
EM cycle: 80
Log-likelihood: -0.09235 cycle: 80
EM cycle: 81
Log-likelihood: -0.09202 cycle: 81
EM cycle: 82
Log-likelihood: -0.09165 cycle: 82
EM cycle: 83
Log-likelihood: -0.09131 cycle: 83
EM cycle: 84
Log-likelihood: -0.09094 cycle: 84
EM cycle: 85
Log-likelihood: -0.09062 cycle: 85
EM cycle: 86
Log-likelihood: -0.09030 cycle: 86
EM cycle: 87
Log-likelihood: -0.08999 cycle: 87
EM cycle: 88
Log-likelihood: -0.08965 cycle: 88
EM cycle: 89
Log-likelihood: -0.08931 cycle: 89
EM cycle: 90
Log-likelihood: -0.08902 cycle: 90
EM cycle: 91
Log-likelihood: -0.08874 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08874

Name           | Total (ms)
===========================
main           |        126
init           |          1
Bundle         |        109
Bundle.init    |          0
Bundle.explain |        105
Bundle.BDDCalc |          0
EM             |         14
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08874
Current Log-Likelihood: -0.08874
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({stefan})
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Domain person, stefan hasChild markus, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 2: [stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 1 more removed: [markus hasChild anna]
Stop - satisfiable
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 1 more removed: [markus hasChild anna]
3)   stefan hasChild markus
     markus type male
     ( hasChild some female
       or hasChild some male
     ) subClassOf learnedClass
     

MUPS 3: [stefan hasChild markus, markus Type male, (hasChild some female) or (hasChild some male) SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 2 more removed: [markus hasChild anna, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan hasChild markus
Removing axiom: markus Type male 2 more removed: [markus hasChild anna, hasChild some person SubClassOf learnedClass]
4)   father subClassOf male
     stefan hasChild markus
     markus type father
     ( hasChild some female
       or hasChild some male
     ) subClassOf learnedClass
     

MUPS 4: [father SubClassOf male, stefan hasChild markus, markus Type father, (hasChild some female) or (hasChild some male) SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 3 more removed: [markus hasChild anna, markus Type male, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan hasChild markus
Removing axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass 3 more removed: [markus hasChild anna, markus Type male, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Removing axiom: father SubClassOf male 4 more removed: [markus hasChild anna, markus Type male, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: markus Type father 5 more removed: [markus hasChild anna, father SubClassOf male, markus Type male, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Restoring axiom: markus Type male
Removing axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Range person 4 more removed: [markus hasChild anna, father SubClassOf male, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: markus hasChild anna
Removing axiom: stefan hasChild markus 4 more removed: [father SubClassOf male, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [father SubClassOf male, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
MUPS 4: [stefan hasChild markus, markus Type male, (hasChild some female) or (hasChild some male) SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 4 more removed: [father SubClassOf male, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan hasChild markus
Removing axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass 4 more removed: [father SubClassOf male, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Removing axiom: markus Type male 4 more removed: [father SubClassOf male, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 4 more removed: [father SubClassOf male, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person

Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({martin})
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [martin hasChild heinz, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 0 more removed: []
Stop - satisfiable
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 0 more removed: []
2)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 2: [heinz Type male, male SubClassOf person, martin hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 1 more removed: [hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild some person SubClassOf learnedClass 1 more removed: [hasChild Range person]
3)   heinz type male
     martin hasChild heinz
     ( hasChild some female
       or hasChild some male
     ) subClassOf learnedClass
     

MUPS 3: [heinz Type male, martin hasChild heinz, (hasChild some female) or (hasChild some male) SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: heinz Type male 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: heinz Type male
Removing axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: heinz Type male 3 more removed: [hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Removing axiom: male SubClassOf person 3 more removed: [hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male SubClassOf person
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [male SubClassOf person, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({markus})
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
Stop - satisfiable
Restoring axiom: markus hasChild anna
Removing axiom: hasChild Range person 0 more removed: []
2)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 2: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 1 more removed: [hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild some person SubClassOf learnedClass 1 more removed: [hasChild Range person]
3)   markus hasChild anna
     anna type female
     ( hasChild some female
       or hasChild some male
     ) subClassOf learnedClass
     

MUPS 3: [markus hasChild anna, anna Type female, (hasChild some female) or (hasChild some male) SubClassOf learnedClass]
Removing axiom: markus hasChild anna 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: anna Type female 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: anna Type female
Removing axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 3 more removed: [hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Removing axiom: anna hasChild heinz 4 more removed: [hasChild Domain person, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [hasChild Domain person, hasChild Range person, (hasChild some female) or (hasChild some male) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz})
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 4
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15995 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13180 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12820 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12077 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09396 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         56
init           |          0
Bundle         |         44
Bundle.init    |          0
Bundle.explain |         42
Bundle.BDDCalc |          0
EM             |         11
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637
Current Log-Likelihood: -0.08637
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({stefan})
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Domain person, stefan hasChild markus, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 2: [stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 1 more removed: [markus hasChild anna]
3)   stefan type male
     stefan type father
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

MUPS 3: [stefan Type male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: stefan Type male 2 more removed: [markus hasChild anna, stefan hasChild markus]
4)   father subClassOf male
     stefan type father
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

MUPS 4: [father SubClassOf male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: stefan Type father 3 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 3 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: father SubClassOf male 4 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: stefan Type male
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, stefan hasChild markus, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, stefan hasChild markus, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass]
MUPS 4: [stefan Type male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
5)   stefan type male
     stefan hasChild markus
     hasChild range person
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

MUPS 5: [stefan Type male, stefan hasChild markus, hasChild Range person, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 5 more removed: [markus hasChild anna, father SubClassOf male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan hasChild markus
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 5 more removed: [markus hasChild anna, father SubClassOf male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: stefan Type male 5 more removed: [markus hasChild anna, father SubClassOf male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Removing axiom: hasChild Range person 5 more removed: [markus hasChild anna, father SubClassOf male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 5 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: stefan Type male 5 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Range person 5 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: markus hasChild anna
Removing axiom: stefan hasChild markus 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
MUPS 5: [stefan Type male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, stefan hasChild markus, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: stefan Type male 5 more removed: [father SubClassOf male, stefan hasChild markus, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Removing axiom: stefan Type father 5 more removed: [father SubClassOf male, stefan hasChild markus, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
MUPS 5: [stefan Type male, stefan Type father, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: stefan Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Removing axiom: stefan Type father 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person

Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({martin})
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [martin hasChild heinz, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 0 more removed: []
2)   martin type male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     martin type father
     

MUPS 2: [martin Type male, male and (father or (hasChild some person)) SubClassOf learnedClass, martin Type father]
Removing axiom: martin Type male 1 more removed: [martin hasChild heinz]
3)   father subClassOf male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     martin type father
     

MUPS 3: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, martin Type father]
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 2 more removed: [martin Type male, martin hasChild heinz]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: martin Type father 3 more removed: [martin Type male, martin hasChild heinz, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Removing axiom: father SubClassOf male 3 more removed: [martin Type male, martin hasChild heinz, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: martin Type male
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 3 more removed: [father SubClassOf male, martin hasChild heinz, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: martin Type father 3 more removed: [father SubClassOf male, martin hasChild heinz, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass]
4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 4: [heinz Type male, male SubClassOf person, martin hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 3 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person]
MUPS 4: [martin Type male, male and (father or (hasChild some person)) SubClassOf learnedClass, martin Type father]
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: martin Type father 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Removing axiom: martin Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: heinz Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Removing axiom: male SubClassOf person 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male SubClassOf person
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [father SubClassOf male, male SubClassOf person, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({markus})
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   markus type father
     markus type male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

MUPS 2: [markus Type father, markus Type male, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: markus Type father 1 more removed: [markus hasChild anna]
Stop - satisfiable
Restoring axiom: markus Type father
Removing axiom: markus Type male 1 more removed: [markus hasChild anna]
3)   father subClassOf male
     markus type father
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

MUPS 3: [father SubClassOf male, markus Type father, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: markus Type father 2 more removed: [markus hasChild anna, markus Type male]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 2 more removed: [markus hasChild anna, markus Type male]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: father SubClassOf male 3 more removed: [markus hasChild anna, markus Type male, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: markus Type male
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 3 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Restoring axiom: markus hasChild anna
Removing axiom: hasChild Range person 2 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass]
4)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 4: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 3 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person]
MUPS 4: [markus Type father, markus Type male, male and (father or (hasChild some person)) SubClassOf learnedClass]
Removing axiom: markus Type father 4 more removed: [father SubClassOf male, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
5)   markus hasChild anna
     hasChild domain person
     markus type male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     anna hasChild heinz
     

MUPS 5: [markus hasChild anna, hasChild Domain person, markus Type male, male and (father or (hasChild some person)) SubClassOf learnedClass, anna hasChild heinz]
Removing axiom: markus hasChild anna 5 more removed: [father SubClassOf male, markus Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, markus Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: hasChild Domain person 5 more removed: [father SubClassOf male, markus Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Removing axiom: markus Type male 6 more removed: [father SubClassOf male, hasChild Domain person, markus Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Removing axiom: anna hasChild heinz 6 more removed: [father SubClassOf male, hasChild Domain person, markus Type father, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: markus Type father
Removing axiom: male and (father or (hasChild some person)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, hasChild Domain person, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Removing axiom: markus Type male 5 more removed: [father SubClassOf male, hasChild Domain person, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 5 more removed: [father SubClassOf male, hasChild Domain person, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Removing axiom: anna hasChild heinz 5 more removed: [father SubClassOf male, hasChild Domain person, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [father SubClassOf male, hasChild Domain person, male and (father or (hasChild some person)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz})
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         82
init           |          0
Bundle         |         69
Bundle.init    |          0
Bundle.explain |         69
Bundle.BDDCalc |          0
EM             |         11
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637
Current Log-Likelihood: -0.08637
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({stefan})
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Domain person, stefan hasChild markus, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 2: [stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 1 more removed: [markus hasChild anna]
3)   stefan type male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     stefan type father
     

MUPS 3: [stefan Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, stefan Type father]
Removing axiom: stefan Type male 2 more removed: [markus hasChild anna, stefan hasChild markus]
4)   father subClassOf male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     stefan type father
     

MUPS 4: [father SubClassOf male, male and (father or (hasChild some male)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 3 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [stefan Type male, markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, stefan hasChild markus]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: father SubClassOf male 4 more removed: [stefan Type male, markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, stefan hasChild markus]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: stefan Type male
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, stefan hasChild markus]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male]
MUPS 4: [stefan Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: stefan Type male 4 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Range person 4 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: markus hasChild anna
Removing axiom: stefan hasChild markus 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
MUPS 4: [stefan Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 5 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: stefan Type father 5 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: stefan Type male 5 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
MUPS 4: [stefan Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: stefan Type male 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person

Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({martin})
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [martin hasChild heinz, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 0 more removed: []
2)   martin type male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     martin type father
     

MUPS 2: [martin Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, martin Type father]
Removing axiom: martin Type male 1 more removed: [martin hasChild heinz]
3)   father subClassOf male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     martin type father
     

MUPS 3: [father SubClassOf male, male and (father or (hasChild some male)) SubClassOf learnedClass, martin Type father]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 2 more removed: [martin Type male, martin hasChild heinz]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: martin Type father 3 more removed: [martin Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, martin hasChild heinz]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Removing axiom: father SubClassOf male 3 more removed: [martin Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, martin hasChild heinz]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: martin Type male
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, martin hasChild heinz]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: martin Type father 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, martin hasChild heinz]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male]
4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 4: [heinz Type male, male SubClassOf person, martin hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person]
MUPS 4: [martin Type male, male and (father or (hasChild some male)) SubClassOf learnedClass, martin Type father]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: martin Type father 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Removing axiom: martin Type male 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: heinz Type male 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Removing axiom: male SubClassOf person 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male SubClassOf person
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, father SubClassOf male, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({markus})
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     markus type father
     markus type male
     

MUPS 2: [male and (father or (hasChild some male)) SubClassOf learnedClass, markus Type father, markus Type male]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 1 more removed: [markus hasChild anna]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: markus Type father 2 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: markus Type male 2 more removed: [markus hasChild anna, male and (father or (hasChild some male)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: markus hasChild anna
Removing axiom: hasChild Range person 1 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass]
3)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 3: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 2 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild some person SubClassOf learnedClass 2 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Range person]
MUPS 3: [male and (father or (hasChild some male)) SubClassOf learnedClass, markus Type father, markus Type male]
Removing axiom: male and (father or (hasChild some male)) SubClassOf learnedClass 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Removing axiom: markus Type father 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: markus Type male 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 3 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Removing axiom: anna hasChild heinz 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [male and (father or (hasChild some male)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz})
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 4
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         66
init           |          0
Bundle         |         55
Bundle.init    |          0
Bundle.explain |         54
Bundle.BDDCalc |          1
EM             |         11
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637
Current Log-Likelihood: -0.08637
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({stefan})
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Domain person, stefan hasChild markus, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 2: [stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 1 more removed: [markus hasChild anna]
3)   stefan type male
     stefan type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

MUPS 3: [stefan Type male, stefan Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: stefan Type male 2 more removed: [markus hasChild anna, stefan hasChild markus]
4)   father subClassOf male
     stefan type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

MUPS 4: [father SubClassOf male, stefan Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: stefan Type father 3 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 3 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: father SubClassOf male 4 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: stefan Type male
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, stefan hasChild markus, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, stefan hasChild markus, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass]
MUPS 4: [stefan Type male, stefan Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: stefan Type male 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Range person 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: markus hasChild anna
Removing axiom: stefan hasChild markus 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
MUPS 4: [stefan Type male, stefan Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: stefan Type father 5 more removed: [father SubClassOf male, stefan hasChild markus, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, stefan hasChild markus, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: stefan Type male 5 more removed: [father SubClassOf male, stefan hasChild markus, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
MUPS 4: [stefan Type male, stefan Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: stefan Type father 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: stefan Type male 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person

Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({martin})
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [martin hasChild heinz, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 0 more removed: []
2)   martin type male
     martin type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

MUPS 2: [martin Type male, martin Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: martin Type male 1 more removed: [martin hasChild heinz]
3)   father subClassOf male
     martin type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

MUPS 3: [father SubClassOf male, martin Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: martin Type father 2 more removed: [martin Type male, martin hasChild heinz]
Stop - satisfiable
Restoring axiom: martin Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 2 more removed: [martin Type male, martin hasChild heinz]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: father SubClassOf male 3 more removed: [martin Type male, martin hasChild heinz, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: martin Type male
Removing axiom: martin Type father 3 more removed: [father SubClassOf male, martin hasChild heinz, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: martin Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 3 more removed: [father SubClassOf male, martin hasChild heinz, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass]
4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 4: [heinz Type male, male SubClassOf person, martin hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 3 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass]
MUPS 4: [martin Type male, martin Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: martin Type father 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: martin Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: martin Type male 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: heinz Type male 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Removing axiom: male SubClassOf person 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male SubClassOf person
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [father SubClassOf male, male SubClassOf person, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({markus})
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   markus type father
     markus type male
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

MUPS 2: [markus Type father, markus Type male, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: markus Type father 1 more removed: [markus hasChild anna]
Stop - satisfiable
Restoring axiom: markus Type father
Removing axiom: markus Type male 1 more removed: [markus hasChild anna]
3)   father subClassOf male
     markus type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

MUPS 3: [father SubClassOf male, markus Type father, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: markus Type father 2 more removed: [markus hasChild anna, markus Type male]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 2 more removed: [markus hasChild anna, markus Type male]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: father SubClassOf male 3 more removed: [markus hasChild anna, markus Type male, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: markus Type male
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 3 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Restoring axiom: markus hasChild anna
Removing axiom: hasChild Range person 2 more removed: [father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass]
4)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 4: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 3 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass]
MUPS 4: [markus Type father, markus Type male, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: markus Type father 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
5)   markus hasChild anna
     markus type male
     anna type female
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

MUPS 5: [markus hasChild anna, markus Type male, anna Type female, male and (father or (hasChild some female)) SubClassOf learnedClass]
Removing axiom: markus hasChild anna 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: markus Type male 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Removing axiom: anna Type female 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Restoring axiom: markus Type father
Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Removing axiom: markus Type male 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Removing axiom: anna hasChild heinz 5 more removed: [father SubClassOf male, hasChild Domain person, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [father SubClassOf male, hasChild Domain person, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz})
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         83
init           |          0
Bundle         |         74
Bundle.init    |          0
Bundle.explain |         73
Bundle.BDDCalc |          0
EM             |          9
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637
Current Log-Likelihood: -0.08637
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({stefan})
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Domain person, stefan hasChild markus, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 2: [stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: stefan hasChild markus 1 more removed: [markus hasChild anna]
3)   stefan type male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     stefan type father
     

MUPS 3: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father]
Removing axiom: stefan Type male 2 more removed: [markus hasChild anna, stefan hasChild markus]
4)   father subClassOf male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     stefan type father
     

MUPS 4: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 3 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [stefan Type male, markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: father SubClassOf male 4 more removed: [stefan Type male, markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: stefan Type male
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass]
MUPS 4: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: stefan Type male 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Range person 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: markus hasChild anna
Removing axiom: stefan hasChild markus 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
MUPS 4: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: stefan Type father 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: stefan Type male 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
MUPS 4: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: stefan Type father 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Removing axiom: stefan Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person

Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({martin})
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [martin hasChild heinz, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 0 more removed: []
2)   martin type male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     martin type father
     

MUPS 2: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin Type father]
Removing axiom: martin Type male 1 more removed: [martin hasChild heinz]
3)   father subClassOf male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     martin type father
     

MUPS 3: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin Type father]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 2 more removed: [martin Type male, martin hasChild heinz]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: martin Type father 3 more removed: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Removing axiom: father SubClassOf male 3 more removed: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Restoring axiom: martin Type male
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: martin Type father 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass]
4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 4: [heinz Type male, male SubClassOf person, martin hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: martin hasChild heinz 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person]
MUPS 4: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin Type father]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: martin Type father 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Removing axiom: martin Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: heinz Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Removing axiom: male SubClassOf person 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male SubClassOf person
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({markus})
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

MUPS 1: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 0 more removed: []
2)   ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     markus type father
     markus type male
     

MUPS 2: [male and (father or (hasChild some father)) SubClassOf learnedClass, markus Type father, markus Type male]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 1 more removed: [markus hasChild anna]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: markus Type father 2 more removed: [markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: markus Type male 2 more removed: [markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: markus hasChild anna
Removing axiom: hasChild Range person 1 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass]
3)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

MUPS 3: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass]
Removing axiom: markus hasChild anna 2 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild some person SubClassOf learnedClass 2 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person]
MUPS 3: [male and (father or (hasChild some father)) SubClassOf learnedClass, markus Type father, markus Type male]
Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Removing axiom: markus Type father 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: markus Type male 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Removing axiom: anna hasChild heinz 4 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: hasChild Range person
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild some person SubClassOf learnedClass

Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz})
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 4
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         63
init           |          1
Bundle         |         53
Bundle.init    |          0
Bundle.explain |         50
Bundle.BDDCalc |          0
EM             |          9
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637
Current Log-Likelihood: -0.08637
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:108) - Greedy search finished
Greedy search finished
DEBUG (AbstractLEAP.java:330) - Replacing super class "dummyClass" with "classToDescribe"
Replacing super class "dummyClass" with "classToDescribe"
 INFO (AbstractLEAP.java:393) - Learned Axiom: hasChild some person SubClassOf father
Learned Axiom: hasChild some person SubClassOf father
DEBUG (AbstractLEAP.java:406) - Replaced all the super classes
Replaced all the super classes
 INFO (LEAP.java:126) - Saving the learned ontology
Saving the learned ontology
 INFO (AbstractLEAP.java:188) - Main: 10758 ms
Main: 10758 ms
 INFO (AbstractLEAP.java:189) - CELOE: 10002 ms
CELOE: 10002 ms
 INFO (AbstractLEAP.java:200) - EDGE: 729 ms
EDGE: 729 ms
 INFO (AbstractLEAP.java:200) - 	Bundle: 610 ms
	Bundle: 610 ms
 INFO (AbstractLEAP.java:200) - 		BDDCalc: 3 ms
		BDDCalc: 3 ms
 INFO (AbstractLEAP.java:200) - 		explain: 592 ms
		explain: 592 ms
 INFO (AbstractLEAP.java:200) - 		init: 0 ms
		init: 0 ms
 INFO (AbstractLEAP.java:200) - 	EM: 104 ms
	EM: 104 ms
 INFO (AbstractLEAP.java:200) - 	init: 5 ms
	init: 5 ms
 INFO (AbstractLEAP.java:208) - Other: 27 ms
Other: 27 ms
 INFO (AbstractLEAP.java:209) - Program client: execution successfully terminated
Program client: execution successfully terminated
Test case 3 - Dummy parameter learner
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@45d38165
Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set).
Injecting values [[org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@38b54694, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@63880be9, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@13714753, org.semanticweb.owlapi.rio.RioRDFaParserFactory@96be1ae, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@1f3f434, org.semanticweb.owlapi.rio.RioTrixParserFactory@2d3c501b, org.semanticweb.owlapi.rio.RioN3ParserFactory@d3d5094, org.semanticweb.owlapi.rio.RioTurtleParserFactory@7b8cb283, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@27ec74a3, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@6eb5b9e7, org.semanticweb.owlapi.rio.RioJsonParserFactory@54bc3bcf, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@35ff072c, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@c0004b7, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@26612078, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@3c3cd7a5, org.semanticweb.owlapi.rio.RioTrigParserFactory@77e730bd, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@39ead1b7, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@7619fbe7]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@27053257]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@4df13dd0, org.semanticweb.owlapi.rio.RioN3StorerFactory@4bca8eaf, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@424a152f, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@15ad5acb, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@30665461, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@59c862af, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@146833a2, org.semanticweb.owlapi.rio.RioJsonStorerFactory@45539bd8, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@4bb9f7d4, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@662713b6, org.semanticweb.owlapi.rio.RioTrigStorerFactory@4d75c604, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@50b38342, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@6a0e97fc, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@52d59507, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@b8142f4, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@33f2eb04, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@408d945b, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@55e5415d, org.semanticweb.owlapi.rio.RioTrixStorerFactory@3265995e, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@2ed7978c]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit' is not recognized.
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'entityExpansionLimit' is not recognized.
Total number of triples: 27
Loaded OntologyID(OntologyIRI(<http://example.com/father>) VersionIRI(<null>))
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts
materialising object properties ...
finished materialising object properties.
materialising datatype properties
finished materialising data properties.
...TBox materialised in 0 ms.
classHierarchy: Thing
  person
    female
    male
      father

object properties: [hasChild]
Numeric Splits: {}
Debug logger: true
DEBUG (AbstractLEAP.java:129) - getting the individuals
getting the individuals
DEBUG (AbstractLEAP.java:166) - convert the individuals into assertional axioms
convert the individuals into assertional axioms
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@6c6919ff
Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioNTriplesParserFactory@3a3bc0da, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@270f7b4d, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@1e029a04, org.semanticweb.owlapi.rio.RioTrixParserFactory@45832b85, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@278cb145, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@3063be68, org.semanticweb.owlapi.rio.RioRDFaParserFactory@2d2f09a4, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@5de335cf, org.semanticweb.owlapi.rio.RioTurtleParserFactory@103478b8, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@b81938d, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@ab4d2ba, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@65ff4b8c, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@c677d7e, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@39f68aec, org.semanticweb.owlapi.rio.RioJsonParserFactory@50e8ed74, org.semanticweb.owlapi.rio.RioN3ParserFactory@74eab077, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@56b704ea, org.semanticweb.owlapi.rio.RioTrigParserFactory@215a0264]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@2aa0feb2]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@73aae7a, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@d190639, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@4ac0ed65, org.semanticweb.owlapi.rio.RioN3StorerFactory@5dba3fdc, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@5c7c75fb, org.semanticweb.owlapi.rio.RioTrigStorerFactory@614cbec4, org.semanticweb.owlapi.rio.RioTrixStorerFactory@3835d3fd, org.semanticweb.owlapi.rio.RioJsonStorerFactory@70421a08, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@bea5941, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@df6f19b, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@32069394, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@6d842877, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@2125535d, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@2759749, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@5f82209e, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@351c6341, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@4adcc981, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@3856d0cb, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@4efed0e0, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@729d6ee2]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@515c732d
Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioRDFaParserFactory@764db16c, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@34fc315d, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@2cebf82f, org.semanticweb.owlapi.rio.RioTrixParserFactory@50ac1249, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@4a5fab78, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@5ae87de0, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@45cb5307, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@543d2ef3, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@1f85904a, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@4910afdf, org.semanticweb.owlapi.rio.RioTurtleParserFactory@4bf10fe1, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@399c408c, org.semanticweb.owlapi.rio.RioN3ParserFactory@633a11eb, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@7a247711, org.semanticweb.owlapi.rio.RioJsonParserFactory@514dc5f4, org.semanticweb.owlapi.rio.RioTrigParserFactory@1c8e2850, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@99223ac, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@77a85e76]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@34f48d1]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@18887028, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@5ffd35dd, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@36a1fd20, org.semanticweb.owlapi.rio.RioN3StorerFactory@69ab2d6a, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@45f8415b, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@57afe44b, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@311a09b2, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@301d84f6, org.semanticweb.owlapi.rio.RioTrixStorerFactory@2c0a3826, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@6f80cf5, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@4dad2363, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@674ed201, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@4cacccbf, org.semanticweb.owlapi.rio.RioTrigStorerFactory@28f8ce2e, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@505a8582, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@465d1345, org.semanticweb.owlapi.rio.RioJsonStorerFactory@10dbf660, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@57920d6c, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@4af0c50, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@114b2414]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
DEBUG (LEAP.java:71) - Starting structure learner LEAP
Starting structure learner LEAP
start class:Thing
more accurate (75.00%) class expression found after 0ms: Thing
computeM
BOOL DPs:[]
Numeric DPs:[]
most general properties:
`hasChild=1
m: {1=[person], 2=[not (father), not (female)], 3=[hasChild some Thing, hasChild only Thing], 4=[hasChild max 0 Thing]}
more accurate (100.00%) class expression found after 2ms: hasChild some person
m for person: {1=[female, male], 2=[not (father), not (female), not (male)], 3=[hasChild some Thing, hasChild only Thing], 4=[hasChild max 0 Thing]}
Algorithm terminated successfully (time: 10s 0ms, 10311 descriptions tested, 7055 nodes in the search tree).

number of retrievals: 10456
retrieval reasoning time: 92ms ( 0ms per retrieval)
number of instance checks: 56 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 299 (0 multiple)
subsumption reasoning time: 10ms ( 0ms per subsumption check)
overall reasoning time: 103ms

solutions:
1: hasChild some person 100.00%
2: female or (hasChild some person) 100.00%
3: male and (hasChild some person) 100.00%
4: (not (male)) or (hasChild some person) 100.00%
5: (not (female)) and (hasChild some person) 100.00%
6: (hasChild some female) or (hasChild some male) 100.00%
7: male and (father or (hasChild some person)) 100.00%
8: male and (father or (hasChild some male)) 100.00%
9: male and (father or (hasChild some female)) 100.00%
10: male and (father or (hasChild some father)) 100.00%

 INFO (LEAP.java:99) - Start greedy search
Start greedy search
DEBUG (LEAP.java:169) - Initial Log-likelihood: -41.44653
Initial Log-likelihood: -41.44653
 INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
 INFO (DummyParameterLearner.java:151) - Ontology created in 0.0 (ms)
Ontology created in 0.0 (ms)
 INFO (LEAP.java:192) - Type of axiom to learn: subClassOf axioms
Type of axiom to learn: subClassOf axioms
 INFO (LEAP.java:195) - number of axiom chunks: 10
number of axiom chunks: 10
 INFO (LEAP.java:202) - Adding axiom: hasChild some person SubClassOf learnedClass
Adding axiom: hasChild some person SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 9 probabilistic axiom
Created 9 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 9
Probability Map computed. Size: 9
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:254) - Log-Likelihood enhanced. Updating ontologies...
Log-Likelihood enhanced. Updating ontologies...
DEBUG (LEAP.java:318) - Updating ontology
Updating ontology
 INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
 INFO (DummyParameterLearner.java:151) - Ontology created in 0.0 (ms)
Ontology created in 0.0 (ms)
DEBUG (LEAP.java:321) - Ontology Updated
Ontology Updated
 INFO (LEAP.java:202) - Adding axiom: female or (hasChild some person) SubClassOf learnedClass
Adding axiom: female or (hasChild some person) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (hasChild some person) SubClassOf learnedClass
Adding axiom: male and (hasChild some person) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: (not (male)) or (hasChild some person) SubClassOf learnedClass
Adding axiom: (not (male)) or (hasChild some person) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass
Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:108) - Greedy search finished
Greedy search finished
DEBUG (AbstractLEAP.java:330) - Replacing super class "dummyClass" with "classToDescribe"
Replacing super class "dummyClass" with "classToDescribe"
 INFO (AbstractLEAP.java:393) - Learned Axiom: hasChild some person SubClassOf father
Learned Axiom: hasChild some person SubClassOf father
DEBUG (AbstractLEAP.java:406) - Replaced all the super classes
Replaced all the super classes
 INFO (LEAP.java:126) - Saving the learned ontology
Saving the learned ontology
 INFO (AbstractLEAP.java:188) - Main: 10024 ms
Main: 10024 ms
 INFO (AbstractLEAP.java:189) - CELOE: 10001 ms
CELOE: 10001 ms
 INFO (AbstractLEAP.java:200) - DummyParameterLearner: 0 ms
DummyParameterLearner: 0 ms
 INFO (AbstractLEAP.java:208) - Other: 23 ms
Other: 23 ms
 INFO (AbstractLEAP.java:209) - Program client: execution successfully terminated
Program client: execution successfully terminated
[INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 31.232 s - in org.dllearner.algorithms.probabilistic.structure.unife.leap.LEAPTest
[INFO] Running org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 s - in org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/components-ext/target/components-ext-1.3.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/dependency-updates/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/components-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.pom