e 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 | 57
init | 0
Bundle | 48
Bundle.init | 0
Bundle.explain | 45
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 | 50
init | 0
Bundle | 42
Bundle.init | 0
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: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: 10599 ms
Main: 10599 ms
INFO (AbstractLEAP.java:189) - CELOE: 10002 ms
CELOE: 10002 ms
INFO (AbstractLEAP.java:200) - EDGE: 575 ms
EDGE: 575 ms
INFO (AbstractLEAP.java:200) - Bundle: 472 ms
Bundle: 472 ms
INFO (AbstractLEAP.java:200) - BDDCalc: 5 ms
BDDCalc: 5 ms
INFO (AbstractLEAP.java:200) - explain: 449 ms
explain: 449 ms
INFO (AbstractLEAP.java:200) - init: 0 ms
init: 0 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: 22 ms
Other: 22 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@33f2eb04
Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@4df13dd0, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@183ef89a, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@424a152f, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@15ad5acb, org.semanticweb.owlapi.rio.RioJsonParserFactory@30665461, org.semanticweb.owlapi.rio.RioTrigParserFactory@59c862af, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@5a8b42a3, org.semanticweb.owlapi.rio.RioN3ParserFactory@146833a2, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@351e86b2, org.semanticweb.owlapi.rio.RioTrixParserFactory@4bb9f7d4, org.semanticweb.owlapi.rio.RioTurtleParserFactory@673a9db4, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@11582db6, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@50b38342, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@2792c28, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@44106e25, org.semanticweb.owlapi.rio.RioRDFaParserFactory@408d945b, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@2ed7978c, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@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@57a5b03]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@646d58cd, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@fb2c2f3, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@12532e37, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@6b64bf61, org.semanticweb.owlapi.rio.RioJsonStorerFactory@12270a01, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@48da64f2, org.semanticweb.owlapi.rio.RioTrixStorerFactory@4e3ee457, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@1d5bb5c, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@41b66d1, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@388e4c25, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@148fca83, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@5649f55, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@2aa811f9, org.semanticweb.owlapi.rio.RioTrigStorerFactory@401b67a9, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@558127d2, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@2d2a8819, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@60b553f, org.semanticweb.owlapi.rio.RioN3StorerFactory@4552f905, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@7846913f, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@72585e83]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit' is not recognized.
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'entityExpansionLimit' is not recognized.
Total number of triples: 27
Loaded OntologyID(OntologyIRI(<http://example.com/father>) VersionIRI(<null>))
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts
materialising object properties ...
finished materialising object properties.
materialising datatype properties
finished materialising data properties.
...TBox materialised in 0 ms.
classHierarchy: Thing
person
female
male
father
object properties: [hasChild]
Numeric Splits: {}
Debug logger: true
DEBUG (AbstractLEAP.java:129) - getting the individuals
getting the individuals
DEBUG (AbstractLEAP.java:166) - convert the individuals into assertional axioms
convert the individuals into assertional axioms
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@2759749
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@73aae7a, org.semanticweb.owlapi.rio.RioTrigParserFactory@d190639, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@764db16c, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@4ac0ed65, org.semanticweb.owlapi.rio.RioJsonParserFactory@5c7c75fb, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@5ae87de0, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@1f85904a, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@4910afdf, org.semanticweb.owlapi.rio.RioTurtleParserFactory@515c732d, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@633a11eb, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@7a247711, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@2125535d, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@514dc5f4, org.semanticweb.owlapi.rio.RioTrixParserFactory@5f82209e, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@4adcc981, org.semanticweb.owlapi.rio.RioRDFaParserFactory@3856d0cb, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@4efed0e0, org.semanticweb.owlapi.rio.RioN3ParserFactory@729d6ee2]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@45cb5307]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@18887028, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@34fc315d, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@36a1fd20, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@69ab2d6a, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@45f8415b, org.semanticweb.owlapi.rio.RioTrixStorerFactory@2cebf82f, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@57afe44b, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@50ac1249, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@4a5fab78, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@2c0a3826, org.semanticweb.owlapi.rio.RioN3StorerFactory@543d2ef3, org.semanticweb.owlapi.rio.RioJsonStorerFactory@4bf10fe1, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@399c408c, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@28f8ce2e, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@505a8582, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@10dbf660, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@1c8e2850, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@99223ac, org.semanticweb.owlapi.rio.RioTrigStorerFactory@77a85e76, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@34f48d1]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@4af0c50
Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper
Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@5ffd35dd, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@6dd2e453, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@6edb1e9c, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@311a09b2, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@75d7297d, org.semanticweb.owlapi.rio.RioN3ParserFactory@301d84f6, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@433b1597, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@5d5cd210, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@6f80cf5, org.semanticweb.owlapi.rio.RioRDFaParserFactory@4dad2363, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@674ed201, org.semanticweb.owlapi.rio.RioJsonParserFactory@4cacccbf, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@2a6c751f, org.semanticweb.owlapi.rio.RioTrixParserFactory@465d1345, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@14d18029, org.semanticweb.owlapi.rio.RioTurtleParserFactory@62cf86d6, org.semanticweb.owlapi.rio.RioTrigParserFactory@57920d6c, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@114b2414]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set).
Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@4e20a985]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set).
Injecting values [[org.semanticweb.owlapi.rio.RioTrigStorerFactory@6badb08c, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@67ecf7ed, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@731ab49b, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@106802ea, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@103bcc9f, org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@56e8a8a0, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@17332039, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@3d8bd881, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@71418a4a, org.semanticweb.owlapi.rio.RioJsonStorerFactory@2ca132ad, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@1fba3fd6, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@7438c3d5, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@6071631f, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@6d5508a5, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@69d021c1, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@785ef70f, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@776e7dfb, org.semanticweb.owlapi.rio.RioN3StorerFactory@6706da3d, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@3aab42d6, org.semanticweb.owlapi.rio.RioTrixStorerFactory@5939f047]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set).
DEBUG (LEAP.java:71) - Starting structure learner LEAP
Starting structure learner LEAP
start class:Thing
more accurate (75.00%) class expression found after 0ms: Thing
computeM
BOOL DPs:[]
Numeric DPs:[]
most general properties:
`hasChild=1
m: {1=[person], 2=[not (father), not (female)], 3=[hasChild some Thing, hasChild only Thing], 4=[hasChild max 0 Thing]}
more accurate (100.00%) class expression found after 2ms: hasChild some person
m for person: {1=[female, male], 2=[not (father), not (female), not (male)], 3=[hasChild some Thing, hasChild only Thing], 4=[hasChild max 0 Thing]}
Algorithm terminated successfully (time: 10s 0ms, 10708 descriptions tested, 7357 nodes in the search tree).
number of retrievals: 10853
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: 299 (0 multiple)
subsumption reasoning time: 9ms ( 0ms per subsumption check)
overall reasoning time: 96ms
solutions:
1: hasChild some person 100.00%
2: female or (hasChild some person) 100.00%
3: male and (hasChild some person) 100.00%
4: (not (male)) or (hasChild some person) 100.00%
5: (not (female)) and (hasChild some person) 100.00%
6: (hasChild some female) or (hasChild some male) 100.00%
7: male and (father or (hasChild some person)) 100.00%
8: male and (father or (hasChild some male)) 100.00%
9: male and (father or (hasChild some female)) 100.00%
10: male and (father or (hasChild some father)) 100.00%
INFO (LEAP.java:99) - Start greedy search
Start greedy search
DEBUG (LEAP.java:169) - Initial Log-likelihood: -41.44653
Initial Log-likelihood: -41.44653
INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
INFO (DummyParameterLearner.java:151) - Ontology created in 1.0 (ms)
Ontology created in 1.0 (ms)
INFO (LEAP.java:192) - Type of axiom to learn: subClassOf axioms
Type of axiom to learn: subClassOf axioms
INFO (LEAP.java:195) - number of axiom chunks: 10
number of axiom chunks: 10
INFO (LEAP.java:202) - Adding axiom: hasChild some person SubClassOf learnedClass
Adding axiom: hasChild some person SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 9 probabilistic axiom
Created 9 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 9
Probability Map computed. Size: 9
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:254) - Log-Likelihood enhanced. Updating ontologies...
Log-Likelihood enhanced. Updating ontologies...
DEBUG (LEAP.java:318) - Updating ontology
Updating ontology
INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
INFO (DummyParameterLearner.java:151) - Ontology created in 0.0 (ms)
Ontology created in 0.0 (ms)
DEBUG (LEAP.java:321) - Ontology Updated
Ontology Updated
INFO (LEAP.java:202) - Adding axiom: female or (hasChild some person) SubClassOf learnedClass
Adding axiom: female or (hasChild some person) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: male and (hasChild some person) SubClassOf learnedClass
Adding axiom: male and (hasChild some person) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: (not (male)) or (hasChild some person) SubClassOf learnedClass
Adding axiom: (not (male)) or (hasChild some person) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass
Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
INFO (LEAP.java:211) - Running parameter learner
Running parameter learner
INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
INFO (LEAP.java:214) - Current Log-Likelihood: 0
Current Log-Likelihood: 0
INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms...
Log-Likelihood worsened. Removing Last Axioms...
INFO (LEAP.java:108) - Greedy search finished
Greedy search finished
DEBUG (AbstractLEAP.java:330) - Replacing super class "dummyClass" with "classToDescribe"
Replacing super class "dummyClass" with "classToDescribe"
INFO (AbstractLEAP.java:393) - Learned Axiom: hasChild some person SubClassOf father
Learned Axiom: hasChild some person SubClassOf father
DEBUG (AbstractLEAP.java:406) - Replaced all the super classes
Replaced all the super classes
INFO (LEAP.java:126) - Saving the learned ontology
Saving the learned ontology
INFO (AbstractLEAP.java:188) - Main: 10025 ms
Main: 10025 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: 24 ms
Other: 24 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.029 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 s - in org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest
[INFO]
[INFO] Results:
[INFO]
[INFO] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0
[INFO]
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/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/generic-framework/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/generic-framework/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
[INFO]
[INFO] ----------------------< org.dllearner:interfaces >----------------------
[INFO] Building dllearner-interfaces 1.3.1-SNAPSHOT [4/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces ---
[INFO]
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces ---
[INFO]
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/src/main/javacc
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:resources (default-resources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 391 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 127 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Some input files use or override a deprecated API.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Recompile with -Xlint:deprecation for details.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ReplacedMethodDocumentImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ReplacedMethodDocumentImpl.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:testResources (default-testResources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/test-classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-surefire-plugin:2.20.1:test (default-test) @ interfaces ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/surefire-reports
[INFO]
[INFO] -------------------------------------------------------
[INFO] T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.FatherCLITest
Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 29ms. Status: OK
Initializing component 'embeddedReasoner' of type OWL API Reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
... initialized component 'embeddedReasoner' in 170ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Materializing TBox...
...TBox materialised in 38 ms.
... initialized component 'reasoner' in 38ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 16ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 1ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (29663 descriptions tested).
Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 4ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
...TBox materialised in 1 ms.
... initialized component 'reasoner' in 9ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 2ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 0ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (29663 descriptions tested).
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 33.316 s - in org.dllearner.cli.FatherCLITest
[INFO] Running org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
Initializing component 'fourthBean' of type TestBean Component ...
... initialized component 'fourthBean' in 0ms. Status: OK
Initializing component 'thirdBean' of type TestBean Component ...
... initialized component 'thirdBean' in 0ms. Status: OK
Initializing component 'secondBean' of type TestBean Component ...
... initialized component 'secondBean' in 0ms. Status: OK
Initializing component 'testBean' of type TestBean Component ...
... initialized component 'testBean' in 0ms. Status: OK
Initializing component 'fifthBean' of type TestBean Component ...
... initialized component 'fifthBean' in 0ms. Status: OK
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.063 s - in org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
[INFO] Running org.dllearner.confparser3.ParseTest
ks.type = KB File
ks.fileName = father.kb
reasoner.type = cwr
reasoner.reasonerComponent = embeddedReasoner (bean reference)
embeddedReasoner.type = OWL API Reasoner
embeddedReasoner.sources = [ks]
lp.type = posNegStandard
lp.positiveExamples = [http://localhost/foo#markus, http://localhost/foo#stefan, http://localhost/foo#bernd]
lp.negativeExamples = [http://localhost/foo#gabi, http://localhost/foo#anna, http://localhost/foo#michelle, http://localhost/foo#heinz]
lp.reasoner = reasoner (bean reference)
op.type = rho
op.useCardinalityRestrictions = true
op.reasoner = reasoner (bean reference)
h.type = multiheuristic
h.expansionPenaltyFactor = 0.2
alg.type = ocel
alg.reasoner = reasoner (bean reference)
alg.operator = op (bean reference)
alg.heuristic = h (bean reference)
alg.maxExecutionTimeInSeconds = 15
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 0ms. Status: OK
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.075 s - in org.dllearner.confparser3.ParseTest
[INFO] Running org.dllearner.test.junit.LearningProblemTest
Initializing component 'acc' of type Predictive Accuracy without Weak elimination ...
... initialized component 'acc' in 0ms. Status: OK
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 0ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
Property cytogen_ca has more than one value [false, true] for individual d135. We ignore the value.
Property cytogen_ca has value [false, true]. Cannot determine whether it is false.
...TBox materialised in 8781 ms.
... initialized component 'reasoner' in 12s 372ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 70ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 5ms. Status: OK
concept: Compound and ((hasStructure some Ar_halide) or (amesTestPositive some {true})) and (hasAtom only (not (Nitrogen-35))) {12}
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 12.605 s - in org.dllearner.test.junit.LearningProblemTest
[INFO]
[INFO] Results:
[INFO]
[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0
[INFO]
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ interfaces ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/dl-learner.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom
[INFO]
[INFO] --------------------< org.dllearner:interfaces-ext >--------------------
[INFO] Building interfaces-ext 1.3.1-SNAPSHOT [5/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces-ext ---
[INFO]
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces-ext ---
[INFO]
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces-ext ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/src/main/javacc
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:resources (default-resources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 391 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 73 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/QualifierDocumentImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/QualifierDocumentImpl.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:testResources (default-testResources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.20.1:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/surefire-reports
[INFO]
[INFO] -------------------------------------------------------
[INFO] T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.unife.CLILEAPTest
main
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/slf4j/slf4j-log4j12/1.7.26/slf4j-log4j12-1.7.26.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/apache/logging/log4j/log4j-slf4j-impl/2.12.0/log4j-slf4j-impl-2.12.0.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory]
DL-Learner command line interface
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 1ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
...TBox materialised in 46 ms.
... initialized component 'reasoner' in 389ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'lpr' of type EDGE ...
... initialized component 'lpr' in 0ms. Status: OK
Initializing component 'alg' of type CELOE ...
... initialized component 'alg' in 19ms. Status: OK
Initializing component 'psla' of type LEAP ...
... initialized component 'psla' in 5ms. Status: OK
CLI LEAP
CLI LEAP
Running algorithm instance "psla" (LEAP)
start class:Thing
more accurate (50.00%) class expression found after 29ms: Thing
more accurate (83.33%) class expression found after 79ms: learnedClass
more accurate (100.00%) class expression found after 80ms: father
Algorithm terminated successfully (time: 10s 3ms, 6555 descriptions tested, 4868 nodes in the search tree).
number of retrievals: 6751
retrieval reasoning time: 87ms ( 0ms per retrieval)
number of instance checks: 27 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 292 (0 multiple)
subsumption reasoning time: 54ms ( 0ms per subsumption check)
overall reasoning time: 141ms
solutions:
1: father (pred. acc.: 100.00%, F-measure: 100.00%)
2: father (pred. acc.: 100.00%, F-measure: 100.00%)
3: father (pred. acc.: 100.00%, F-measure: 100.00%)
4: father or (hasChild some female) (pred. acc.: 100.00%, F-measure: 100.00%)
5: father or (hasChild some father) (pred. acc.: 100.00%, F-measure: 100.00%)
6: learnedClass and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
7: male and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
8: father and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
9: father or (hasChild some (not (male))) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (not (female)) and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
Start greedy search
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Type of axiom to learn: equivalentClasses axioms
number of axiom chunks: 10
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.25428
============ Results ============
ax 1/10 : father EquivalentTo learnedClass arrayprob: 0.99660
ax 2/10 : male SubClassOf learnedClass arrayprob: 0.18941
ax 3/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 4/10 : father SubClassOf male arrayprob: 0.98600
ax 5/10 : female SubClassOf person arrayprob: 0.63742
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 168
init | 23
Bundle | 97
Bundle.init | 0
Bundle.explain | 86
Bundle.BDDCalc | 1
EM | 34
Current Log-Likelihood: -0.25428
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 2.0 (ms)
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [father EquivalentTo learnedClass, stefan Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.15390
============ Results ============
ax 1/10 : father EquivalentTo learnedClass arrayprob: 0.99848
ax 2/10 : male SubClassOf learnedClass arrayprob: 0.11937
ax 3/10 : learnedClass SubClassOf Thing arrayprob: 0.98484
ax 4/10 : father SubClassOf male arrayprob: 0.99066
ax 5/10 : female SubClassOf person arrayprob: 0.55044
ax 6/10 : hasChild Domain person arrayprob: 0.94125
ax 7/10 : male SubClassOf person arrayprob: 0.59755
ax 8/10 : female DisjointWith male arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing arrayprob: 0.38519
ax 10/10 : hasChild Range person arrayprob: 0.27495
=================================
Name | Total (ms)
===========================
main | 71
init | 1
Bundle | 60
Bundle.init | 0
Bundle.explain | 53
Bundle.BDDCalc | 1
EM | 9
Current Log-Likelihood: -0.15390
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.15390
============ Results ============
ax 1/10 : father EquivalentTo learnedClass arrayprob: 0.99848
ax 2/10 : male SubClassOf learnedClass arrayprob: 0.11937
ax 3/10 : learnedClass SubClassOf Thing arrayprob: 0.98484
ax 4/10 : father SubClassOf male arrayprob: 0.99066
ax 5/10 : female SubClassOf person arrayprob: 0.55044
ax 6/10 : hasChild Domain person arrayprob: 0.94125
ax 7/10 : male SubClassOf person arrayprob: 0.59755
ax 8/10 : female DisjointWith male arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing arrayprob: 0.38519
ax 10/10 : hasChild Range person arrayprob: 0.27495
=================================
Name | Total (ms)
===========================
main | 59
init | 0
Bundle | 51
Bundle.init | 0
Bundle.explain | 47
Bundle.BDDCalc | 1
EM | 6
Current Log-Likelihood: -0.15390
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some female)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [stefan Type father, learnedClass EquivalentTo father or (hasChild some female)]
Removing axiom: stefan Type father 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.26581
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24054
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.98722
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 50
init | 0
Bundle | 46
Bundle.init | 0
Bundle.explain | 37
Bundle.BDDCalc | 1
EM | 4
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some father)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some father), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some father), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some father), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.26581
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some father) arrayprob: 0.98722
ax 5/10 : female SubClassOf person arrayprob: 0.63742
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 44
init | 1
Bundle | 37
Bundle.init | 0
Bundle.explain | 33
Bundle.BDDCalc | 0
EM | 4
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo learnedClass and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: father SubClassOf male 2 more removed: [stefan Type male, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: stefan Type father 3 more removed: [stefan Type male, male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: stefan Type male
Removing axiom: male SubClassOf learnedClass 2 more removed: [male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -2.24933
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.75000
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24053
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.87918
ax 6/10 : male SubClassOf person arrayprob: 0.55044
ax 7/10 : female DisjointWith male arrayprob: 0.98484
ax 8/10 : person SubClassOf Thing arrayprob: 0.33322
ax 9/10 : hasChild Range person arrayprob: 0.94125
ax 10/10 : learnedClass EquivalentTo learnedClass and (hasChild some person) arrayprob: 0.73097
=================================
Name | Total (ms)
===========================
main | 38
init | 0
Bundle | 35
Bundle.init | 0
Bundle.explain | 30
Bundle.BDDCalc | 0
EM | 1
Current Log-Likelihood: -2.24933
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo male and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, stefan hasChild markus, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [martin Type male, martin hasChild heinz, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, martin hasChild heinz, hasChild Range person, martin Type father, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: martin Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, markus Type male, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, markus Type father, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, female DisjointWith male, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [female DisjointWith male, anna Type female, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.86074
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.36175
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.51527
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.96895
ax 6/10 : male SubClassOf person arrayprob: 0.55044
ax 7/10 : female DisjointWith male arrayprob: 1.00000
ax 8/10 : person SubClassOf Thing arrayprob: 0.33322
ax 9/10 : hasChild Range person arrayprob: 0.99626
ax 10/10 : learnedClass EquivalentTo male and (hasChild some person) arrayprob: 0.99444
=================================
Name | Total (ms)
===========================
main | 67
init | 1
Bundle | 55
Bundle.init | 0
Bundle.explain | 51
Bundle.BDDCalc | 2
EM | 9
Current Log-Likelihood: -0.86074
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, hasChild Domain person, stefan Type father, learnedClass EquivalentTo father and (hasChild some person), stefan hasChild markus]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father and (hasChild some person), martin hasChild heinz, hasChild Range person, martin Type father]
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: martin hasChild heinz 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Removing axiom: martin Type father 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo father and (hasChild some person), markus Type father, hasChild Range person]
Removing axiom: markus hasChild anna 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: markus hasChild anna
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father SubClassOf male, michelle Type female, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person), anna Type female]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: anna Type female 3 more removed: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.27340
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.19924
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.98677
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.99465
ax 6/10 : male SubClassOf person arrayprob: 0.55044
ax 7/10 : female DisjointWith male arrayprob: 1.00000
ax 8/10 : learnedClass EquivalentTo father and (hasChild some person) arrayprob: 0.99653
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.99751
=================================
Name | Total (ms)
===========================
main | 60
init | 1
Bundle | 51
Bundle.init | 1
Bundle.explain | 49
Bundle.BDDCalc | 0
EM | 5
Current Log-Likelihood: -0.27340
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some (not (male))), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some (not (male))), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some (not (male))), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.26581
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some (not (male))) arrayprob: 0.98722
ax 5/10 : female SubClassOf person arrayprob: 0.63742
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 35
init | 0
Bundle | 32
Bundle.init | 0
Bundle.explain | 27
Bundle.BDDCalc | 1
EM | 3
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, stefan hasChild markus]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [martin Type male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person, martin Type father]
Computed 3 explanations
Restoring axiom: martin Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type male, hasChild Range person]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type father, hasChild Range person]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [learnedClass EquivalentTo (not (female)) and (hasChild some person), anna Type female]
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Removing axiom: anna Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.87160
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.36573
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.51105
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.96812
ax 6/10 : learnedClass EquivalentTo (not (female)) and (hasChild some person) arrayprob: 0.99432
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.99839
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.99614
=================================
Name | Total (ms)
===========================
main | 59
init | 0
Bundle | 51
Bundle.init | 0
Bundle.explain | 46
Bundle.BDDCalc | 1
EM | 8
Current Log-Likelihood: -0.87160
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: father EquivalentTo learnedClass
Saving the learned ontology
Main: 10707 ms
CELOE: 10005 ms
EDGE: 651 ms
Bundle: 515 ms
BDDCalc: 8 ms
explain: 459 ms
init: 1 ms
EM: 83 ms
init: 27 ms
Other: 51 ms
Program client: execution successfully terminated
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.803 s - in org.dllearner.cli.unife.CLILEAPTest
[INFO]
[INFO] Results:
[INFO]
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0
[INFO]
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ interfaces-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/dl-learner.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces-ext ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom
[INFO]
[INFO] -----------------------< org.dllearner:scripts >------------------------
[INFO] Building Executable scripts 1.3.1-SNAPSHOT [6/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ scripts ---
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:resources (default-resources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ scripts ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 26 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:testResources (default-testResources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ scripts ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.20.1:test (default-test) @ scripts ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ scripts ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ scripts ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] DL Learner Parent Pom 1.3.1-SNAPSHOT ............... SUCCESS [ 0.540 s]
[INFO] DL Learner Core Components ......................... SUCCESS [02:09 min]
[INFO] components-ext ..................................... SUCCESS [ 59.357 s]
[INFO] dllearner-interfaces ............................... SUCCESS [ 51.955 s]
[INFO] interfaces-ext ..................................... SUCCESS [ 19.722 s]
[INFO] Executable scripts 1.3.1-SNAPSHOT .................. SUCCESS [ 1.371 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 04:26 min
[INFO] Finished at: 2019-07-30T15:44:07+02:00
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/pom.xml to org.dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/dl-learner.jar to org.dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/pom.xml to org.dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar to org.dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/components-core/pom.xml to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/components-core/target/components-core-1.3.1-SNAPSHOT.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/components-core/target/components-core-1.3.1-SNAPSHOT-tests.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT-tests.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/pom.xml to org.dllearner/dllearner-parent/1.3.1-SNAPSHOT/dllearner-parent-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar
channel stopped
[File exists] check if file exists [.git/MERGE_MODE]
Run condition [Not] enabling perform for step [[Set GitHub commit status (universal)]]
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@3118ef0a[description=A tool for supervised Machine Learning in OWL and Description Logics,homepage=http://dl-learner.org,name=DL-Learner,fork=false,archived=false,size=254682,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Tue, 30 Jul 2019 13:44:14 GMT], ETag=[W/"40d43e9b63bf63d8f54136096294866d"], Last-Modified=[Tue, 30 Jul 2019 13:17:58 GMT], OkHttp-Received-Millis=[1564494254987], OkHttp-Response-Source=[NETWORK 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1564494254755], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[9258:4045B:12117DD:166B5DB:5D4049AE], X-OAuth-Scopes=[admin:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4993], X-RateLimit-Reset=[1564497567], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/SmartDataAnalytics/DL-Learner,id=22693515]] (sha:9894506) with context:jenkins-merge
Setting commit status on GitHub for https://github.com/SmartDataAnalytics/DL-Learner/commit/98945063d82f4a94aebc0ef0372fe1599eb09716
Finished: SUCCESS
![[Jenkins]](/jenkins/static/33c50748/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output