SuccessConsole Output

Skipping 273 KB.. Full Log
sOf 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           |         99
init           |          0
Bundle         |         89
Bundle.init    |          0
Bundle.explain |         84
Bundle.BDDCalc |          2
EM             |         10
 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           |         44
init           |          0
Bundle         |         37
Bundle.init    |          0
Bundle.explain |         36
Bundle.BDDCalc |          1
EM             |          7
 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           |         64
init           |          0
Bundle         |         57
Bundle.init    |          0
Bundle.explain |         55
Bundle.BDDCalc |          1
EM             |          7
 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           |         51
init           |          0
Bundle         |         44
Bundle.init    |          0
Bundle.explain |         42
Bundle.BDDCalc |          0
EM             |          7
 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           |         60
init           |          1
Bundle         |         52
Bundle.init    |          0
Bundle.explain |         51
Bundle.BDDCalc |          0
EM             |          7
 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           |         53
init           |          0
Bundle         |         45
Bundle.init    |          0
Bundle.explain |         44
Bundle.BDDCalc |          0
EM             |          7
 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: 10603 ms
Main: 10603 ms
 INFO (AbstractLEAP.java:189) - CELOE: 10000 ms
CELOE: 10000 ms
 INFO (AbstractLEAP.java:200) - EDGE: 578 ms
EDGE: 578 ms
 INFO (AbstractLEAP.java:200) - 	Bundle: 491 ms
	Bundle: 491 ms
 INFO (AbstractLEAP.java:200) - 		BDDCalc: 7 ms
		BDDCalc: 7 ms
 INFO (AbstractLEAP.java:200) - 		explain: 471 ms
		explain: 471 ms
 INFO (AbstractLEAP.java:200) - 		init: 0 ms
		init: 0 ms
 INFO (AbstractLEAP.java:200) - 	EM: 81 ms
	EM: 81 ms
 INFO (AbstractLEAP.java:200) - 	init: 3 ms
	init: 3 ms
 INFO (AbstractLEAP.java:208) - Other: 25 ms
Other: 25 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@c0004b7
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.RioBinaryRdfParserFactory@63880be9, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@4df13dd0, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@4bca8eaf, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@424a152f, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@30665461, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@146833a2, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@45539bd8, org.semanticweb.owlapi.rio.RioN3ParserFactory@662713b6, org.semanticweb.owlapi.rio.RioTrixParserFactory@4d75c604, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@50b38342, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@27053257, org.semanticweb.owlapi.rio.RioJsonParserFactory@6a0e97fc, org.semanticweb.owlapi.rio.RioTrigParserFactory@52d59507, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@b8142f4, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@33f2eb04, org.semanticweb.owlapi.rio.RioRDFaParserFactory@55e5415d, org.semanticweb.owlapi.rio.RioTurtleParserFactory@3265995e, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@2ed7978c]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@408d945b]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@646d58cd, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@183ef89a, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@12532e37, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@15ad5acb, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@12270a01, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@59c862af, org.semanticweb.owlapi.rio.RioTrixStorerFactory@5a8b42a3, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@388e4c25, org.semanticweb.owlapi.rio.RioTrigStorerFactory@351e86b2, org.semanticweb.owlapi.rio.RioJsonStorerFactory@4bb9f7d4, org.semanticweb.owlapi.rio.RioN3StorerFactory@673a9db4, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@11582db6, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@2792c28, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@5649f55, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@401b67a9, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@558127d2, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@44106e25, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@4552f905, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@57a5b03, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@6fa7ce4]] 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@b81938d
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.oboformat.OBOFormatOWLAPIParserFactory@73aae7a, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@4ac0ed65, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@5dba3fdc, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@5c7c75fb, org.semanticweb.owlapi.rio.RioTrixParserFactory@614cbec4, org.semanticweb.owlapi.rio.RioTurtleParserFactory@3835d3fd, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@278cb145, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@70421a08, org.semanticweb.owlapi.rio.RioRDFaParserFactory@bea5941, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@df6f19b, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@2aa0feb2, org.semanticweb.owlapi.rio.RioN3ParserFactory@32069394, org.semanticweb.owlapi.rio.RioTrigParserFactory@6d842877, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@2759749, org.semanticweb.owlapi.rio.RioJsonParserFactory@351c6341, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@4adcc981, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@4efed0e0, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@729d6ee2]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@3856d0cb]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@d190639, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@764db16c, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@50ac1249, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@4a5fab78, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@5ae87de0, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@45cb5307, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@543d2ef3, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@1f85904a, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@4910afdf, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@4bf10fe1, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@399c408c, org.semanticweb.owlapi.rio.RioN3StorerFactory@515c732d, org.semanticweb.owlapi.rio.RioTrigStorerFactory@633a11eb, org.semanticweb.owlapi.rio.RioTrixStorerFactory@7a247711, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@2125535d, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@514dc5f4, org.semanticweb.owlapi.rio.RioJsonStorerFactory@5f82209e, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@1c8e2850, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@99223ac, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@77a85e76]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@2cebf82f
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.RioTrigParserFactory@18887028, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@5ffd35dd, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@34fc315d, org.semanticweb.owlapi.rio.RioJsonParserFactory@36a1fd20, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@69ab2d6a, org.semanticweb.owlapi.rio.RioN3ParserFactory@45f8415b, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@57afe44b, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@311a09b2, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@301d84f6, org.semanticweb.owlapi.rio.RioTurtleParserFactory@2c0a3826, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@6f80cf5, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@674ed201, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@4cacccbf, org.semanticweb.owlapi.rio.RioTrixParserFactory@28f8ce2e, org.semanticweb.owlapi.rio.RioRDFaParserFactory@505a8582, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@10dbf660, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@34f48d1, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@4af0c50]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@4dad2363]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@6dd2e453, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@6badb08c, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@4e20a985, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@6edb1e9c, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@56e8a8a0, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@75d7297d, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@433b1597, org.semanticweb.owlapi.rio.RioTrigStorerFactory@5d5cd210, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@2ca132ad, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@1fba3fd6, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@7438c3d5, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@6071631f, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@2a6c751f, org.semanticweb.owlapi.rio.RioJsonStorerFactory@465d1345, org.semanticweb.owlapi.rio.RioTrixStorerFactory@14d18029, org.semanticweb.owlapi.rio.RioN3StorerFactory@62cf86d6, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@6706da3d, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@3aab42d6, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@57920d6c, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@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, 10521 descriptions tested, 7205 nodes in the search tree).

number of retrievals: 10666
retrieval reasoning time: 81ms ( 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: 8ms ( 0ms per subsumption check)
overall reasoning time: 90ms

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 1.0 (ms)
Ontology created in 1.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 1.0 (ms)
Ontology created in 1.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: 10022 ms
Main: 10022 ms
 INFO (AbstractLEAP.java:189) - CELOE: 10002 ms
CELOE: 10002 ms
 INFO (AbstractLEAP.java:200) - DummyParameterLearner: 0 ms
DummyParameterLearner: 0 ms
 INFO (AbstractLEAP.java:208) - Other: 20 ms
Other: 20 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.044 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.004 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