[Jenkins]Jenkins

SuccessConsole Output

Skipping 270 KB.. Full Log
ation)
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           |         95
init           |          1
Bundle         |         84
Bundle.init    |          0
Bundle.explain |         81
Bundle.BDDCalc |          1
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: male and (female or (hasChild some person)) SubClassOf learnedClass
Adding axiom: male and (female 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]
Stop - satisfiable
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 1 more removed: [markus hasChild anna]
3)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     stefan type male
     stefan hasChild markus
     hasChild range person
     

MUPS 3: [male and (female or (hasChild some person)) SubClassOf learnedClass, stefan Type male, stefan hasChild markus, hasChild Range person]
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: hasChild Range person 2 more removed: [markus hasChild anna, hasChild some person SubClassOf learnedClass]
4)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     stefan type male
     male subClassOf person
     stefan hasChild markus
     markus type male
     

MUPS 4: [male and (female or (hasChild some person)) SubClassOf learnedClass, stefan Type male, male SubClassOf person, stefan hasChild markus, markus Type male]
Removing axiom: stefan hasChild markus 3 more removed: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan hasChild markus
Removing axiom: male and (female or (hasChild some person)) SubClassOf learnedClass 3 more removed: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (female or (hasChild some person)) SubClassOf learnedClass
Removing axiom: stefan Type male 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Removing axiom: male SubClassOf person 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male SubClassOf person
Removing axiom: markus Type male 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: hasChild Range person
Removing axiom: male and (female or (hasChild some person)) SubClassOf learnedClass 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male and (female or (hasChild some person)) SubClassOf learnedClass
Removing axiom: stefan Type male 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, male SubClassOf person, 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: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, male SubClassOf person, 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: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: stefan hasChild markus
Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
5)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     stefan type male
     markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     

MUPS 5: [male and (female or (hasChild some person)) SubClassOf learnedClass, stefan Type male, markus hasChild anna, hasChild Domain person, stefan hasChild markus]
Removing axiom: stefan hasChild markus 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan hasChild markus
Removing axiom: male and (female or (hasChild some person)) SubClassOf learnedClass 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (female or (hasChild some person)) SubClassOf learnedClass
Removing axiom: stefan Type male 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type male
Removing axiom: markus hasChild anna 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: hasChild Domain person 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Domain person
Restoring axiom: hasChild some person SubClassOf learnedClass
Removing axiom: hasChild Domain person 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, hasChild Domain person, male SubClassOf person, 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: []
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)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     martin type male
     heinz type male
     male subClassOf person
     martin hasChild heinz
     

MUPS 3: [male and (female or (hasChild some person)) SubClassOf learnedClass, martin Type male, heinz Type male, male SubClassOf person, martin hasChild heinz]
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: male SubClassOf person 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf person
Removing axiom: male and (female or (hasChild some person)) SubClassOf learnedClass 3 more removed: [male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male and (female or (hasChild some person)) SubClassOf learnedClass
Removing axiom: martin Type male 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, 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 (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, 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 (female or (hasChild some person)) SubClassOf learnedClass, male SubClassOf person, 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 4 more removed: [male and (female or (hasChild some person)) 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: []
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)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     markus hasChild anna
     hasChild domain person
     markus type male
     anna hasChild heinz
     

MUPS 3: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, hasChild Domain person, markus Type male, anna hasChild heinz]
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: hasChild Domain person 2 more removed: [hasChild Range person, hasChild some person SubClassOf learnedClass]
4)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     markus hasChild anna
     female subClassOf person
     markus type male
     anna type female
     

MUPS 4: [male and (female or (hasChild some person)) SubClassOf learnedClass, markus hasChild anna, female SubClassOf person, markus Type male, anna Type female]
Removing axiom: markus hasChild anna 3 more removed: [hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus hasChild anna
Removing axiom: male and (female or (hasChild some person)) SubClassOf learnedClass 3 more removed: [hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: male and (female or (hasChild some person)) SubClassOf learnedClass
Removing axiom: markus Type male 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Removing axiom: female SubClassOf person 4 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: female SubClassOf person
Removing axiom: anna Type female 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, female SubClassOf person, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Restoring axiom: hasChild Domain person
Removing axiom: anna hasChild heinz 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, female SubClassOf person, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Removing axiom: male and (female or (hasChild some person)) SubClassOf learnedClass 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, female SubClassOf person, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: male and (female or (hasChild some person)) SubClassOf learnedClass
Removing axiom: markus Type male 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, female SubClassOf person, hasChild Domain person, 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: [male and (female or (hasChild some person)) SubClassOf learnedClass, female SubClassOf person, hasChild Domain person, 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: [male and (female or (hasChild some person)) SubClassOf learnedClass, female SubClassOf person, 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 5 more removed: [male and (female or (hasChild some person)) SubClassOf learnedClass, female SubClassOf person, 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.58738 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.50757 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.56874 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.77449 cycle: 1
EM cycle: 2
Log-likelihood: -0.56019 cycle: 2
EM cycle: 3
Log-likelihood: -0.40000 cycle: 3
EM cycle: 4
Log-likelihood: -0.32903 cycle: 4
EM cycle: 5
Log-likelihood: -0.28721 cycle: 5
EM cycle: 6
Log-likelihood: -0.25892 cycle: 6
EM cycle: 7
Log-likelihood: -0.23819 cycle: 7
EM cycle: 8
Log-likelihood: -0.22218 cycle: 8
EM cycle: 9
Log-likelihood: -0.20929 cycle: 9
EM cycle: 10
Log-likelihood: -0.19868 cycle: 10
EM cycle: 11
Log-likelihood: -0.18970 cycle: 11
EM cycle: 12
Log-likelihood: -0.18203 cycle: 12
EM cycle: 13
Log-likelihood: -0.17531 cycle: 13
EM cycle: 14
Log-likelihood: -0.16940 cycle: 14
EM cycle: 15
Log-likelihood: -0.16414 cycle: 15
EM cycle: 16
Log-likelihood: -0.15941 cycle: 16
EM cycle: 17
Log-likelihood: -0.15515 cycle: 17
EM cycle: 18
Log-likelihood: -0.15125 cycle: 18
EM cycle: 19
Log-likelihood: -0.14771 cycle: 19
EM cycle: 20
Log-likelihood: -0.14444 cycle: 20
EM cycle: 21
Log-likelihood: -0.14138 cycle: 21
EM cycle: 22
Log-likelihood: -0.13858 cycle: 22
EM cycle: 23
Log-likelihood: -0.13597 cycle: 23
EM cycle: 24
Log-likelihood: -0.13352 cycle: 24
EM cycle: 25
Log-likelihood: -0.13123 cycle: 25
EM cycle: 26
Log-likelihood: -0.12908 cycle: 26
EM cycle: 27
Log-likelihood: -0.12704 cycle: 27
EM cycle: 28
Log-likelihood: -0.12514 cycle: 28
EM cycle: 29
Log-likelihood: -0.12334 cycle: 29
EM cycle: 30
Log-likelihood: -0.12159 cycle: 30
EM cycle: 31
Log-likelihood: -0.11994 cycle: 31
EM cycle: 32
Log-likelihood: -0.11840 cycle: 32
EM cycle: 33
Log-likelihood: -0.11691 cycle: 33
EM cycle: 34
Log-likelihood: -0.11547 cycle: 34
EM cycle: 35
Log-likelihood: -0.11414 cycle: 35
EM cycle: 36
Log-likelihood: -0.11284 cycle: 36
EM cycle: 37
Log-likelihood: -0.11159 cycle: 37
EM cycle: 38
Log-likelihood: -0.11040 cycle: 38
EM cycle: 39
Log-likelihood: -0.10923 cycle: 39
EM cycle: 40
Log-likelihood: -0.10814 cycle: 40
EM cycle: 41
Log-likelihood: -0.10707 cycle: 41
EM cycle: 42
Log-likelihood: -0.10605 cycle: 42
EM cycle: 43
Log-likelihood: -0.10505 cycle: 43
EM cycle: 44
Log-likelihood: -0.10409 cycle: 44
EM cycle: 45
Log-likelihood: -0.10317 cycle: 45
EM cycle: 46
Log-likelihood: -0.10227 cycle: 46
EM cycle: 47
Log-likelihood: -0.10143 cycle: 47
EM cycle: 48
Log-likelihood: -0.10057 cycle: 48
EM cycle: 49
Log-likelihood: -0.09976 cycle: 49
EM cycle: 50
Log-likelihood: -0.09898 cycle: 50
EM cycle: 51
Log-likelihood: -0.09823 cycle: 51
EM cycle: 52
Log-likelihood: -0.09747 cycle: 52
EM cycle: 53
Log-likelihood: -0.09674 cycle: 53
EM cycle: 54
Log-likelihood: -0.09603 cycle: 54
EM cycle: 55
Log-likelihood: -0.09536 cycle: 55
EM cycle: 56
Log-likelihood: -0.09469 cycle: 56
EM cycle: 57
Log-likelihood: -0.09404 cycle: 57
EM cycle: 58
Log-likelihood: -0.09341 cycle: 58
EM cycle: 59
Log-likelihood: -0.09280 cycle: 59
EM cycle: 60
Log-likelihood: -0.09219 cycle: 60
EM cycle: 61
Log-likelihood: -0.09160 cycle: 61
EM cycle: 62
Log-likelihood: -0.09103 cycle: 62
EM cycle: 63
Log-likelihood: -0.09049 cycle: 63
EM cycle: 64
Log-likelihood: -0.08993 cycle: 64
EM cycle: 65
Log-likelihood: -0.08940 cycle: 65
EM cycle: 66
Log-likelihood: -0.08889 cycle: 66
EM cycle: 67
Log-likelihood: -0.08838 cycle: 67
EM cycle: 68
Log-likelihood: -0.08789 cycle: 68
EM cycle: 69
Log-likelihood: -0.08738 cycle: 69
EM cycle: 70
Log-likelihood: -0.08691 cycle: 70
EM cycle: 71
Log-likelihood: -0.08644 cycle: 71
EM cycle: 72
Log-likelihood: -0.08598 cycle: 72
EM cycle: 73
Log-likelihood: -0.08555 cycle: 73
EM cycle: 74
Log-likelihood: -0.08509 cycle: 74
EM cycle: 75
Log-likelihood: -0.08465 cycle: 75
EM cycle: 76
Log-likelihood: -0.08424 cycle: 76
EM cycle: 77
Log-likelihood: -0.08383 cycle: 77
EM cycle: 78
Log-likelihood: -0.08341 cycle: 78
EM cycle: 79
Log-likelihood: -0.08302 cycle: 79
EM cycle: 80
Log-likelihood: -0.08262 cycle: 80
EM cycle: 81
Log-likelihood: -0.08224 cycle: 81
EM cycle: 82
Log-likelihood: -0.08187 cycle: 82
EM cycle: 83
Log-likelihood: -0.08149 cycle: 83
EM cycle: 84
Log-likelihood: -0.08113 cycle: 84
EM cycle: 85
Log-likelihood: -0.08076 cycle: 85
EM cycle: 86
Log-likelihood: -0.08042 cycle: 86
EM cycle: 87
Log-likelihood: -0.08007 cycle: 87
EM cycle: 88
Log-likelihood: -0.07972 cycle: 88
EM cycle: 89
Log-likelihood: -0.07940 cycle: 89
EM cycle: 90
Log-likelihood: -0.07904 cycle: 90
EM cycle: 91
Log-likelihood: -0.07875 cycle: 91
EM cycle: 92
Log-likelihood: -0.07841 cycle: 92
EM cycle: 93
Log-likelihood: -0.07809 cycle: 93
EM cycle: 94
Log-likelihood: -0.07779 cycle: 94
EM cycle: 95
Log-likelihood: -0.07750 cycle: 95
EM cycle: 96
Log-likelihood: -0.07719 cycle: 96
EM cycle: 97
Log-likelihood: -0.07691 cycle: 97
EM completed.

  Final Log-Likelihood: -0.07691

Name           | Total (ms)
===========================
main           |         55
init           |          1
Bundle         |         43
Bundle.init    |          0
Bundle.explain |         41
Bundle.BDDCalc |          2
EM             |         10
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.07691
Current Log-Likelihood: -0.07691
 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         |         55
Bundle.init    |          0
Bundle.explain |         55
Bundle.BDDCalc |          0
EM             |          8
 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           |         53
init           |          1
Bundle         |         43
Bundle.init    |          1
Bundle.explain |         41
Bundle.BDDCalc |          0
EM             |          8
 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           |          0
Bundle         |         51
Bundle.init    |          0
Bundle.explain |         50
Bundle.BDDCalc |          0
EM             |          8
 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           |         52
init           |          0
Bundle         |         43
Bundle.init    |          0
Bundle.explain |         40
Bundle.BDDCalc |          1
EM             |          9
 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637
Current Log-Likelihood: -0.08637
 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
 INFO (LEAP.java:108) - Greedy search finished
Greedy search finished
DEBUG (AbstractLEAP.java:330) - Replacing super class "dummyClass" with "classToDescribe"
Replacing super class "dummyClass" with "classToDescribe"
 INFO (AbstractLEAP.java:393) - Learned Axiom: hasChild some person SubClassOf father
Learned Axiom: hasChild some person SubClassOf father
DEBUG (AbstractLEAP.java:406) - Replaced all the super classes
Replaced all the super classes
 INFO (LEAP.java:126) - Saving the learned ontology
Saving the learned ontology
 INFO (AbstractLEAP.java:188) - Main: 10627 ms
Main: 10627 ms
 INFO (AbstractLEAP.java:189) - CELOE: 10001 ms
CELOE: 10001 ms
 INFO (AbstractLEAP.java:200) - EDGE: 603 ms
EDGE: 603 ms
 INFO (AbstractLEAP.java:200) - 	Bundle: 501 ms
	Bundle: 501 ms
 INFO (AbstractLEAP.java:200) - 		BDDCalc: 7 ms
		BDDCalc: 7 ms
 INFO (AbstractLEAP.java:200) - 		explain: 479 ms
		explain: 479 ms
 INFO (AbstractLEAP.java:200) - 		init: 1 ms
		init: 1 ms
 INFO (AbstractLEAP.java:200) - 	EM: 90 ms
	EM: 90 ms
 INFO (AbstractLEAP.java:200) - 	init: 6 ms
	init: 6 ms
 INFO (AbstractLEAP.java:208) - Other: 23 ms
Other: 23 ms
 INFO (AbstractLEAP.java:209) - Program client: execution successfully terminated
Program client: execution successfully terminated
Test case 3 - Dummy parameter learner
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@54b2d002
Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioNTriplesParserFactory@b849fa6, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@2095c331, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@40ddf339, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@586486c, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@57bac3f0, org.semanticweb.owlapi.rio.RioN3ParserFactory@7b795db7, org.semanticweb.owlapi.rio.RioTurtleParserFactory@774c5e5c, org.semanticweb.owlapi.rio.RioRDFaParserFactory@7fbbdd8a, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@4e9ea32f, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@4cf01c41, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@1d1c63af, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@55f6f965, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@d271a54, org.semanticweb.owlapi.rio.RioTrigParserFactory@79ec57b8, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@c83ed77, org.semanticweb.owlapi.rio.RioTrixParserFactory@56ba8e8c, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@6ff8e744, org.semanticweb.owlapi.rio.RioJsonParserFactory@3909a854]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@409395b9]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@53e82089, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@61d42275, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@2a259f6f, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@5e80d5, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@4148ce43, org.semanticweb.owlapi.rio.RioJsonStorerFactory@4ec27c4c, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@6614289a, org.semanticweb.owlapi.rio.RioN3StorerFactory@12200670, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@670c171c, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@66a8751a, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@416b681c, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@78861d9e, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@3df3410a, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@257b3561, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@46fb9581, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@6207145c, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@7ccf6114, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@6fcc0a1, org.semanticweb.owlapi.rio.RioTrixStorerFactory@1eabfad5, org.semanticweb.owlapi.rio.RioTrigStorerFactory@6a878778]] 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

[.....] 0%
[=....] 20%
[==...] 40%
[===..] 60%materialising object properties ...

[====.] 80%materialising datatype properties
finished materialising data properties.
...TBox materialised in 1 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@146833a2
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.RioRDFXMLParserFactory@183ef89a, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@424a152f, org.semanticweb.owlapi.rio.RioN3ParserFactory@15ad5acb, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@12270a01, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@59c862af, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@5a8b42a3, org.semanticweb.owlapi.rio.RioTurtleParserFactory@351e86b2, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@4bb9f7d4, org.semanticweb.owlapi.rio.RioRDFaParserFactory@673a9db4, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@11582db6, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@50b38342, org.semanticweb.owlapi.rio.RioTrigParserFactory@2792c28, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@5649f55, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@558127d2, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@44106e25, org.semanticweb.owlapi.rio.RioJsonParserFactory@408d945b, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@57a5b03, org.semanticweb.owlapi.rio.RioTrixParserFactory@6fa7ce4]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@4552f905]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@646d58cd, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@fb2c2f3, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@2133b712, org.semanticweb.owlapi.rio.RioJsonStorerFactory@12532e37, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@7d4da729, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@6b64bf61, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@48da64f2, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@4e3ee457, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@1d5bb5c, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@41b66d1, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@4b7e4d14, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@388e4c25, org.semanticweb.owlapi.rio.RioTrigStorerFactory@148fca83, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@2aa811f9, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@66abb2fa, org.semanticweb.owlapi.rio.RioN3StorerFactory@401b67a9, org.semanticweb.owlapi.rio.RioTrixStorerFactory@2d2a8819, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@60b553f, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@7846913f, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@72585e83]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@70f91ae3
Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioRDFaParserFactory@1791e231, org.semanticweb.owlapi.rio.RioTrixParserFactory@24ac6fef, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@3155f190, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@5c2a3f0c, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@13f36d75, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@cfb94fd, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@601d9f3a, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@55397d15, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@227b9277, org.semanticweb.owlapi.rio.RioTrigParserFactory@5e360c3b, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@5ca4c88a, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@b56d8a7, org.semanticweb.owlapi.rio.RioN3ParserFactory@5d93ff21, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@6de5ad56, org.semanticweb.owlapi.rio.RioJsonParserFactory@6585df70, org.semanticweb.owlapi.rio.RioTurtleParserFactory@3cb49121, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@4c4215d7, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@51fb5fe6]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@4ebd8d2]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@44a44a04, org.semanticweb.owlapi.rio.RioTrigStorerFactory@124ff64d, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@5e05a706, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@3a69014e, org.semanticweb.owlapi.rio.RioTrixStorerFactory@75aa7703, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@27746c5e, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@360a3106, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@79777da7, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@54737322, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@5a63fa71, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@3395c2a7, org.semanticweb.owlapi.rio.RioJsonStorerFactory@a6fc1bc, org.semanticweb.owlapi.rio.RioN3StorerFactory@5018b56b, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@737ff5c4, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@7831d1aa, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@543ac221, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@2270f58d, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@50e1f3fc, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@56da8847, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@7e9a836]] 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 1ms: 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, 10755 descriptions tested, 7722 nodes in the search tree).

number of retrievals: 10902
retrieval reasoning time: 86ms ( 0ms per retrieval)
number of instance checks: 56 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 314 (0 multiple)
subsumption reasoning time: 9ms ( 0ms per subsumption check)
overall reasoning time: 95ms

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: male and (female or (hasChild some person)) 100.00%
7: male and (father or (hasChild some person)) 100.00%
8: male and (father or (hasChild some male)) 100.00%
9: male and (father or (hasChild some female)) 100.00%
10: male and (father or (hasChild some father)) 100.00%

 INFO (LEAP.java:99) - Start greedy search
Start greedy search
DEBUG (LEAP.java:169) - Initial Log-likelihood: -41.44653
Initial Log-likelihood: -41.44653
 INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
 INFO (DummyParameterLearner.java:151) - Ontology created in 0.0 (ms)
Ontology created in 0.0 (ms)
 INFO (LEAP.java:192) - Type of axiom to learn: subClassOf axioms
Type of axiom to learn: subClassOf axioms
 INFO (LEAP.java:195) - number of axiom chunks: 10
number of axiom chunks: 10
 INFO (LEAP.java:202) - Adding axiom: hasChild some person SubClassOf learnedClass
Adding axiom: hasChild some person SubClassOf learnedClass
 INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
 INFO (DummyParameterLearner.java:242) - Created 9 probabilistic axiom
Created 9 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 9
Probability Map computed. Size: 9
 INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
 INFO (LEAP.java:254) - Log-Likelihood enhanced. Updating ontologies...
Log-Likelihood enhanced. Updating ontologies...
DEBUG (LEAP.java:318) - Updating ontology
Updating ontology
 INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
 INFO (DummyParameterLearner.java:151) - Ontology created in 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: male and (female or (hasChild some person)) SubClassOf learnedClass
Adding axiom: male and (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 (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: 10021 ms
Main: 10021 ms
 INFO (AbstractLEAP.java:189) - CELOE: 10001 ms
CELOE: 10001 ms
 INFO (AbstractLEAP.java:200) - DummyParameterLearner: 0 ms
DummyParameterLearner: 0 ms
 INFO (AbstractLEAP.java:208) - Other: 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.014 s - in org.dllearner.algorithms.probabilistic.structure.unife.leap.LEAPTest
[INFO] Running org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 s - in org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/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/win/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/win/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