16
EM cycle: 17
Log-likelihood: -0.15889 cycle: 17
EM cycle: 18
Log-likelihood: -0.15537 cycle: 18
EM cycle: 19
Log-likelihood: -0.15217 cycle: 19
EM cycle: 20
Log-likelihood: -0.14917 cycle: 20
EM cycle: 21
Log-likelihood: -0.14641 cycle: 21
EM cycle: 22
Log-likelihood: -0.14387 cycle: 22
EM cycle: 23
Log-likelihood: -0.14148 cycle: 23
EM cycle: 24
Log-likelihood: -0.13925 cycle: 24
EM cycle: 25
Log-likelihood: -0.13716 cycle: 25
EM cycle: 26
Log-likelihood: -0.13519 cycle: 26
EM cycle: 27
Log-likelihood: -0.13337 cycle: 27
EM cycle: 28
Log-likelihood: -0.13160 cycle: 28
EM cycle: 29
Log-likelihood: -0.12997 cycle: 29
EM cycle: 30
Log-likelihood: -0.12838 cycle: 30
EM cycle: 31
Log-likelihood: -0.12685 cycle: 31
EM cycle: 32
Log-likelihood: -0.12545 cycle: 32
EM cycle: 33
Log-likelihood: -0.12409 cycle: 33
EM cycle: 34
Log-likelihood: -0.12281 cycle: 34
EM cycle: 35
Log-likelihood: -0.12152 cycle: 35
EM cycle: 36
Log-likelihood: -0.12034 cycle: 36
EM cycle: 37
Log-likelihood: -0.11919 cycle: 37
EM cycle: 38
Log-likelihood: -0.11810 cycle: 38
EM cycle: 39
Log-likelihood: -0.11706 cycle: 39
EM cycle: 40
Log-likelihood: -0.11602 cycle: 40
EM cycle: 41
Log-likelihood: -0.11506 cycle: 41
EM cycle: 42
Log-likelihood: -0.11412 cycle: 42
EM cycle: 43
Log-likelihood: -0.11318 cycle: 43
EM cycle: 44
Log-likelihood: -0.11229 cycle: 44
EM cycle: 45
Log-likelihood: -0.11145 cycle: 45
EM cycle: 46
Log-likelihood: -0.11065 cycle: 46
EM cycle: 47
Log-likelihood: -0.10984 cycle: 47
EM cycle: 48
Log-likelihood: -0.10906 cycle: 48
EM cycle: 49
Log-likelihood: -0.10830 cycle: 49
EM cycle: 50
Log-likelihood: -0.10756 cycle: 50
EM cycle: 51
Log-likelihood: -0.10688 cycle: 51
EM cycle: 52
Log-likelihood: -0.10620 cycle: 52
EM cycle: 53
Log-likelihood: -0.10551 cycle: 53
EM cycle: 54
Log-likelihood: -0.10486 cycle: 54
EM cycle: 55
Log-likelihood: -0.10422 cycle: 55
EM cycle: 56
Log-likelihood: -0.10362 cycle: 56
EM cycle: 57
Log-likelihood: -0.10303 cycle: 57
EM cycle: 58
Log-likelihood: -0.10242 cycle: 58
EM cycle: 59
Log-likelihood: -0.10187 cycle: 59
EM cycle: 60
Log-likelihood: -0.10131 cycle: 60
EM cycle: 61
Log-likelihood: -0.10076 cycle: 61
EM cycle: 62
Log-likelihood: -0.10022 cycle: 62
EM cycle: 63
Log-likelihood: -0.09968 cycle: 63
EM cycle: 64
Log-likelihood: -0.09919 cycle: 64
EM cycle: 65
Log-likelihood: -0.09870 cycle: 65
EM cycle: 66
Log-likelihood: -0.09821 cycle: 66
EM cycle: 67
Log-likelihood: -0.09773 cycle: 67
EM cycle: 68
Log-likelihood: -0.09728 cycle: 68
EM cycle: 69
Log-likelihood: -0.09680 cycle: 69
EM cycle: 70
Log-likelihood: -0.09639 cycle: 70
EM cycle: 71
Log-likelihood: -0.09592 cycle: 71
EM cycle: 72
Log-likelihood: -0.09550 cycle: 72
EM cycle: 73
Log-likelihood: -0.09507 cycle: 73
EM cycle: 74
Log-likelihood: -0.09469 cycle: 74
EM cycle: 75
Log-likelihood: -0.09427 cycle: 75
EM cycle: 76
Log-likelihood: -0.09386 cycle: 76
EM cycle: 77
Log-likelihood: -0.09351 cycle: 77
EM cycle: 78
Log-likelihood: -0.09312 cycle: 78
EM cycle: 79
Log-likelihood: -0.09273 cycle: 79
EM cycle: 80
Log-likelihood: -0.09235 cycle: 80
EM cycle: 81
Log-likelihood: -0.09202 cycle: 81
EM cycle: 82
Log-likelihood: -0.09165 cycle: 82
EM cycle: 83
Log-likelihood: -0.09131 cycle: 83
EM cycle: 84
Log-likelihood: -0.09094 cycle: 84
EM cycle: 85
Log-likelihood: -0.09062 cycle: 85
EM cycle: 86
Log-likelihood: -0.09030 cycle: 86
EM cycle: 87
Log-likelihood: -0.08999 cycle: 87
EM cycle: 88
Log-likelihood: -0.08965 cycle: 88
EM cycle: 89
Log-likelihood: -0.08931 cycle: 89
EM cycle: 90
Log-likelihood: -0.08902 cycle: 90
EM cycle: 91
Log-likelihood: -0.08874 cycle: 91
EM completed.
Final Log-Likelihood: -0.08874
Name | Total (ms)
===========================
main | 132
init | 0
Bundle | 112
Bundle.init | 0
Bundle.explain | 108
Bundle.BDDCalc | 1
EM | 19
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
Axiom: stefan type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild domain person
stefan hasChild markus
hasChild some person subClassOf learnedClass
2) stefan hasChild markus
hasChild range person
hasChild some person subClassOf learnedClass
3) ( male
and ( female
or hasChild some person
)
) subClassOf learnedClass
stefan type male
stefan hasChild markus
hasChild range person
4) ( male
and ( female
or hasChild some person
)
) subClassOf learnedClass
stefan type male
male subClassOf person
stefan hasChild markus
markus type male
5) ( male
and ( female
or hasChild some person
)
) subClassOf learnedClass
stefan type male
markus hasChild anna
hasChild domain person
stefan hasChild markus
Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass
Explanation(s):
1) martin hasChild heinz
hasChild range person
hasChild some person subClassOf learnedClass
2) heinz type male
male subClassOf person
martin hasChild heinz
hasChild some person subClassOf learnedClass
3) ( male
and ( female
or hasChild some person
)
) subClassOf learnedClass
martin type male
heinz type male
male subClassOf person
martin hasChild heinz
Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild range person
hasChild some person subClassOf learnedClass
2) markus hasChild anna
hasChild domain person
anna hasChild heinz
hasChild some person subClassOf learnedClass
3) ( male
and ( female
or hasChild some person
)
) subClassOf learnedClass
markus hasChild anna
hasChild domain person
markus type male
anna hasChild heinz
4) ( male
and ( female
or hasChild some person
)
) subClassOf learnedClass
markus hasChild anna
female subClassOf person
markus type male
anna type female
Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass
Explanation: AXIOM IS NOT ENTAILED!
Trying the second method...
Axiom: heinz type learnedClass
Explanation: AXIOM IS NOT ENTAILED!
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 4
stefan Type learnedClass - prob: 0.58738 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.50757 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.56874 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.77449 cycle: 1
EM cycle: 2
Log-likelihood: -0.56019 cycle: 2
EM cycle: 3
Log-likelihood: -0.40000 cycle: 3
EM cycle: 4
Log-likelihood: -0.32903 cycle: 4
EM cycle: 5
Log-likelihood: -0.28721 cycle: 5
EM cycle: 6
Log-likelihood: -0.25892 cycle: 6
EM cycle: 7
Log-likelihood: -0.23819 cycle: 7
EM cycle: 8
Log-likelihood: -0.22218 cycle: 8
EM cycle: 9
Log-likelihood: -0.20929 cycle: 9
EM cycle: 10
Log-likelihood: -0.19868 cycle: 10
EM cycle: 11
Log-likelihood: -0.18970 cycle: 11
EM cycle: 12
Log-likelihood: -0.18203 cycle: 12
EM cycle: 13
Log-likelihood: -0.17531 cycle: 13
EM cycle: 14
Log-likelihood: -0.16940 cycle: 14
EM cycle: 15
Log-likelihood: -0.16414 cycle: 15
EM cycle: 16
Log-likelihood: -0.15941 cycle: 16
EM cycle: 17
Log-likelihood: -0.15515 cycle: 17
EM cycle: 18
Log-likelihood: -0.15125 cycle: 18
EM cycle: 19
Log-likelihood: -0.14771 cycle: 19
EM cycle: 20
Log-likelihood: -0.14444 cycle: 20
EM cycle: 21
Log-likelihood: -0.14138 cycle: 21
EM cycle: 22
Log-likelihood: -0.13858 cycle: 22
EM cycle: 23
Log-likelihood: -0.13597 cycle: 23
EM cycle: 24
Log-likelihood: -0.13352 cycle: 24
EM cycle: 25
Log-likelihood: -0.13123 cycle: 25
EM cycle: 26
Log-likelihood: -0.12908 cycle: 26
EM cycle: 27
Log-likelihood: -0.12704 cycle: 27
EM cycle: 28
Log-likelihood: -0.12514 cycle: 28
EM cycle: 29
Log-likelihood: -0.12334 cycle: 29
EM cycle: 30
Log-likelihood: -0.12159 cycle: 30
EM cycle: 31
Log-likelihood: -0.11994 cycle: 31
EM cycle: 32
Log-likelihood: -0.11840 cycle: 32
EM cycle: 33
Log-likelihood: -0.11691 cycle: 33
EM cycle: 34
Log-likelihood: -0.11547 cycle: 34
EM cycle: 35
Log-likelihood: -0.11414 cycle: 35
EM cycle: 36
Log-likelihood: -0.11284 cycle: 36
EM cycle: 37
Log-likelihood: -0.11159 cycle: 37
EM cycle: 38
Log-likelihood: -0.11040 cycle: 38
EM cycle: 39
Log-likelihood: -0.10923 cycle: 39
EM cycle: 40
Log-likelihood: -0.10814 cycle: 40
EM cycle: 41
Log-likelihood: -0.10707 cycle: 41
EM cycle: 42
Log-likelihood: -0.10605 cycle: 42
EM cycle: 43
Log-likelihood: -0.10505 cycle: 43
EM cycle: 44
Log-likelihood: -0.10409 cycle: 44
EM cycle: 45
Log-likelihood: -0.10317 cycle: 45
EM cycle: 46
Log-likelihood: -0.10227 cycle: 46
EM cycle: 47
Log-likelihood: -0.10143 cycle: 47
EM cycle: 48
Log-likelihood: -0.10057 cycle: 48
EM cycle: 49
Log-likelihood: -0.09976 cycle: 49
EM cycle: 50
Log-likelihood: -0.09898 cycle: 50
EM cycle: 51
Log-likelihood: -0.09823 cycle: 51
EM cycle: 52
Log-likelihood: -0.09747 cycle: 52
EM cycle: 53
Log-likelihood: -0.09674 cycle: 53
EM cycle: 54
Log-likelihood: -0.09603 cycle: 54
EM cycle: 55
Log-likelihood: -0.09536 cycle: 55
EM cycle: 56
Log-likelihood: -0.09469 cycle: 56
EM cycle: 57
Log-likelihood: -0.09404 cycle: 57
EM cycle: 58
Log-likelihood: -0.09341 cycle: 58
EM cycle: 59
Log-likelihood: -0.09280 cycle: 59
EM cycle: 60
Log-likelihood: -0.09219 cycle: 60
EM cycle: 61
Log-likelihood: -0.09160 cycle: 61
EM cycle: 62
Log-likelihood: -0.09103 cycle: 62
EM cycle: 63
Log-likelihood: -0.09049 cycle: 63
EM cycle: 64
Log-likelihood: -0.08993 cycle: 64
EM cycle: 65
Log-likelihood: -0.08940 cycle: 65
EM cycle: 66
Log-likelihood: -0.08889 cycle: 66
EM cycle: 67
Log-likelihood: -0.08838 cycle: 67
EM cycle: 68
Log-likelihood: -0.08789 cycle: 68
EM cycle: 69
Log-likelihood: -0.08738 cycle: 69
EM cycle: 70
Log-likelihood: -0.08691 cycle: 70
EM cycle: 71
Log-likelihood: -0.08644 cycle: 71
EM cycle: 72
Log-likelihood: -0.08598 cycle: 72
EM cycle: 73
Log-likelihood: -0.08555 cycle: 73
EM cycle: 74
Log-likelihood: -0.08509 cycle: 74
EM cycle: 75
Log-likelihood: -0.08465 cycle: 75
EM cycle: 76
Log-likelihood: -0.08424 cycle: 76
EM cycle: 77
Log-likelihood: -0.08383 cycle: 77
EM cycle: 78
Log-likelihood: -0.08341 cycle: 78
EM cycle: 79
Log-likelihood: -0.08302 cycle: 79
EM cycle: 80
Log-likelihood: -0.08262 cycle: 80
EM cycle: 81
Log-likelihood: -0.08224 cycle: 81
EM cycle: 82
Log-likelihood: -0.08187 cycle: 82
EM cycle: 83
Log-likelihood: -0.08149 cycle: 83
EM cycle: 84
Log-likelihood: -0.08113 cycle: 84
EM cycle: 85
Log-likelihood: -0.08076 cycle: 85
EM cycle: 86
Log-likelihood: -0.08042 cycle: 86
EM cycle: 87
Log-likelihood: -0.08007 cycle: 87
EM cycle: 88
Log-likelihood: -0.07972 cycle: 88
EM cycle: 89
Log-likelihood: -0.07940 cycle: 89
EM cycle: 90
Log-likelihood: -0.07904 cycle: 90
EM cycle: 91
Log-likelihood: -0.07875 cycle: 91
EM cycle: 92
Log-likelihood: -0.07841 cycle: 92
EM cycle: 93
Log-likelihood: -0.07809 cycle: 93
EM cycle: 94
Log-likelihood: -0.07779 cycle: 94
EM cycle: 95
Log-likelihood: -0.07750 cycle: 95
EM cycle: 96
Log-likelihood: -0.07719 cycle: 96
EM cycle: 97
Log-likelihood: -0.07691 cycle: 97
EM completed.
Final Log-Likelihood: -0.07691
Name | Total (ms)
===========================
main | 75
init | 1
Bundle | 54
Bundle.init | 1
Bundle.explain | 49
Bundle.BDDCalc | 3
EM | 20
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
Axiom: stefan type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild domain person
stefan hasChild markus
hasChild some person subClassOf learnedClass
2) stefan hasChild markus
hasChild range person
hasChild some person subClassOf learnedClass
3) stefan type male
stefan type father
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
4) father subClassOf male
stefan type father
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
5) stefan type male
stefan hasChild markus
hasChild range person
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass
Explanation(s):
1) martin hasChild heinz
hasChild range person
hasChild some person subClassOf learnedClass
2) martin type male
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
martin type father
3) father subClassOf male
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
martin type father
4) heinz type male
male subClassOf person
martin hasChild heinz
hasChild some person subClassOf learnedClass
Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild range person
hasChild some person subClassOf learnedClass
2) markus type father
markus type male
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
3) father subClassOf male
markus type father
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
4) markus hasChild anna
hasChild domain person
anna hasChild heinz
hasChild some person subClassOf learnedClass
5) markus hasChild anna
hasChild domain person
markus type male
( male
and ( father
or hasChild some person
)
) subClassOf learnedClass
anna hasChild heinz
Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass
Explanation: AXIOM IS NOT ENTAILED!
Trying the second method...
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 | 98
init | 1
Bundle | 74
Bundle.init | 0
Bundle.explain | 69
Bundle.BDDCalc | 1
EM | 23
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
Axiom: stefan type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild domain person
stefan hasChild markus
hasChild some person subClassOf learnedClass
2) stefan hasChild markus
hasChild range person
hasChild some person subClassOf learnedClass
3) stefan type male
( male
and ( father
or hasChild some male
)
) subClassOf learnedClass
stefan type father
4) father subClassOf male
( male
and ( father
or hasChild some male
)
) subClassOf learnedClass
stefan type father
Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass
Explanation(s):
1) martin hasChild heinz
hasChild range person
hasChild some person subClassOf learnedClass
2) martin type male
( male
and ( father
or hasChild some male
)
) subClassOf learnedClass
martin type father
3) father subClassOf male
( male
and ( father
or hasChild some male
)
) subClassOf learnedClass
martin type father
4) heinz type male
male subClassOf person
martin hasChild heinz
hasChild some person subClassOf learnedClass
Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild range person
hasChild some person subClassOf learnedClass
2) ( male
and ( father
or hasChild some male
)
) subClassOf learnedClass
markus type father
markus type male
3) markus hasChild anna
hasChild domain person
anna hasChild heinz
hasChild some person subClassOf learnedClass
Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass
Explanation: AXIOM IS NOT ENTAILED!
Trying the second method...
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 | 92
init | 1
Bundle | 64
Bundle.init | 0
Bundle.explain | 61
Bundle.BDDCalc | 1
EM | 26
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
Axiom: stefan type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild domain person
stefan hasChild markus
hasChild some person subClassOf learnedClass
2) stefan hasChild markus
hasChild range person
hasChild some person subClassOf learnedClass
3) stefan type male
stefan type father
( male
and ( father
or hasChild some female
)
) subClassOf learnedClass
4) father subClassOf male
stefan type father
( male
and ( father
or hasChild some female
)
) subClassOf learnedClass
Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass
Explanation(s):
1) martin hasChild heinz
hasChild range person
hasChild some person subClassOf learnedClass
2) martin type male
martin type father
( male
and ( father
or hasChild some female
)
) subClassOf learnedClass
3) father subClassOf male
martin type father
( male
and ( father
or hasChild some female
)
) subClassOf learnedClass
4) heinz type male
male subClassOf person
martin hasChild heinz
hasChild some person subClassOf learnedClass
Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild range person
hasChild some person subClassOf learnedClass
2) markus type father
markus type male
( male
and ( father
or hasChild some female
)
) subClassOf learnedClass
3) father subClassOf male
markus type father
( male
and ( father
or hasChild some female
)
) subClassOf learnedClass
4) markus hasChild anna
hasChild domain person
anna hasChild heinz
hasChild some person subClassOf learnedClass
5) markus hasChild anna
markus type male
anna type female
( male
and ( father
or hasChild some female
)
) subClassOf learnedClass
Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass
Explanation: AXIOM IS NOT ENTAILED!
Trying the second method...
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 | 108
init | 1
Bundle | 91
Bundle.init | 0
Bundle.explain | 88
Bundle.BDDCalc | 0
EM | 15
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
Axiom: stefan type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild domain person
stefan hasChild markus
hasChild some person subClassOf learnedClass
2) stefan hasChild markus
hasChild range person
hasChild some person subClassOf learnedClass
3) stefan type male
( male
and ( father
or hasChild some father
)
) subClassOf learnedClass
stefan type father
4) father subClassOf male
( male
and ( father
or hasChild some father
)
) subClassOf learnedClass
stefan type father
Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass
Explanation(s):
1) martin hasChild heinz
hasChild range person
hasChild some person subClassOf learnedClass
2) martin type male
( male
and ( father
or hasChild some father
)
) subClassOf learnedClass
martin type father
3) father subClassOf male
( male
and ( father
or hasChild some father
)
) subClassOf learnedClass
martin type father
4) heinz type male
male subClassOf person
martin hasChild heinz
hasChild some person subClassOf learnedClass
Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass
Explanation(s):
1) markus hasChild anna
hasChild range person
hasChild some person subClassOf learnedClass
2) ( male
and ( father
or hasChild some father
)
) subClassOf learnedClass
markus type father
markus type male
3) markus hasChild anna
hasChild domain person
anna hasChild heinz
hasChild some person subClassOf learnedClass
Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass
Explanation: AXIOM IS NOT ENTAILED!
Trying the second method...
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 | 74
init | 0
Bundle | 58
Bundle.init | 0
Bundle.explain | 55
Bundle.BDDCalc | 0
EM | 14
Test case 3 - Dummy parameter learner
[.....] 0%
[=....] 20%
[==...] 40%
[===..] 60%
[====.] 80%Debug logger: false
INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
INFO (DummyParameterLearner.java:151) - Ontology created in 0.0 (ms)
Ontology created in 0.0 (ms)
INFO (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 (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 (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 (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 (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 (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 (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 (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 (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 (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 (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] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 31.388 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.2.0:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-ext/target/components-ext-1.5.1-SNAPSHOT.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ components-ext ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-ext/target/components-ext-1.5.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-SNAPSHOT.pom
[INFO]
[INFO] ----------------------< org.dllearner:interfaces >----------------------
[INFO] Building dllearner-interfaces 1.5.1-SNAPSHOT [4/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces ---
[INFO] Deleting /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/target
[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/workspace/interfaces/src/main/javacc
[INFO]
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 357 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.8.1:compile (default-compile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 127 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/src/main/java/org/dllearner/confparser/ConfParserLegacy.java: Some input files use or override a deprecated API.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/src/main/java/org/dllearner/confparser/ConfParserLegacy.java: Recompile with -Xlint:deprecation for details.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/src/main/java/org/dllearner/cli/ExpressionValidation.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/src/main/java/org/dllearner/cli/ExpressionValidation.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.1.0:testResources (default-testResources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.8.1:testCompile (default-testCompile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/target/test-classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-surefire-plugin:2.22.1:test (default-test) @ interfaces ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/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 173ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Materializing TBox...
materialising concepts
[.....] 0%
[=....] 33%materialising object properties ...
[===..] 66%materialising datatype properties
...TBox materialised in 41 ms.
... initialized component 'reasoner' in 44ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 15ms. 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 4ms. 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 (28444 descriptions tested).
Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 5ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts
[.....] 0%
[=....] 33%materialising object properties ...
[===..] 66%materialising datatype properties
...TBox materialised in 2 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 (28673 descriptions tested).
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 32.901 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.068 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.094 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...
materialising concepts
[.....] 0%
[.....] 0%
[.....] 1%
[.....] 1%
[.....] 2%
[.....] 3%
[.....] 3%
[.....] 4%
[.....] 4%
[.....] 5%
[.....] 6%
[.....] 6%
[.....] 7%
[.....] 8%
[.....] 8%
[.....] 9%
[.....] 9%
[.....] 10%
[.....] 11%
[.....] 11%
[.....] 12%
[.....] 13%
[.....] 13%
[.....] 14%
[.....] 14%
[.....] 15%
[.....] 16%
[.....] 16%
[.....] 17%
[.....] 18%
[.....] 18%
[.....] 19%
[.....] 19%
[=....] 20%
[=....] 21%
[=....] 21%
[=....] 22%
[=....] 22%
[=....] 23%
[=....] 24%
[=....] 24%
[=....] 25%
[=....] 26%
[=....] 26%
[=....] 27%
[=....] 27%
[=....] 28%
[=....] 29%
[=....] 29%
[=....] 30%
[=....] 31%
[=....] 31%
[=....] 32%
[=....] 32%
[=....] 33%
[=....] 34%
[=....] 34%
[=....] 35%
[=....] 36%
[=....] 36%
[=....] 37%
[=....] 37%
[=....] 38%
[=....] 39%
[=....] 39%
[==...] 40%
[==...] 40%
[==...] 41%
[==...] 42%
[==...] 42%
[==...] 43%
[==...] 44%
[==...] 44%
[==...] 45%
[==...] 45%
[==...] 46%
[==...] 47%
[==...] 47%
[==...] 48%
[==...] 49%
[==...] 49%
[==...] 50%
[==...] 50%
[==...] 51%
[==...] 52%
[==...] 52%
[==...] 53%
[==...] 54%
[==...] 54%
[==...] 55%
[==...] 55%
[==...] 56%
[==...] 57%
[==...] 57%
[==...] 58%
[==...] 59%
[==...] 59%
[===..] 60%
[===..] 60%
[===..] 61%
[===..] 62%
[===..] 62%
[===..] 63%
[===..] 63%
[===..] 64%
[===..] 65%
[===..] 65%
[===..] 66%
[===..] 67%
[===..] 67%
[===..] 68%
[===..] 68%
[===..] 69%
[===..] 70%
[===..] 70%
[===..] 71%
[===..] 72%
[===..] 72%
[===..] 73%
[===..] 73%
[===..] 74%
[===..] 75%
[===..] 75%
[===..] 76%
[===..] 77%
[===..] 77%
[===..] 78%
[===..] 78%
[===..] 79%
[====.] 80%
[====.] 80%
[====.] 81%
[====.] 81%
[====.] 82%
[====.] 83%
[====.] 83%
[====.] 84%
[====.] 85%
[====.] 85%
[====.] 86%
[====.] 86%
[====.] 87%materialising object properties ...
[====.] 88%
[====.] 88%
[====.] 89%
[====.] 90%materialising datatype properties
[====.] 90%
[====.] 91%
[====.] 91%
[====.] 92%
[====.] 93%
[====.] 93%
[====.] 94%
[====.] 95%
[====.] 95%
[====.] 96%
[====.] 96%
[====.] 97%
[====.] 98%
[====.] 98%
[====.] 99%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 8485 ms.
... initialized component 'reasoner' in 12s 170ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 124ms. 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 8ms. 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: 14.552 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.2.0:jar (default-jar) @ interfaces ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/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/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-SNAPSHOT.pom
[INFO]
[INFO] --------------------< org.dllearner:interfaces-ext >--------------------
[INFO] Building interfaces-ext 1.5.1-SNAPSHOT [5/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces-ext ---
[INFO] Deleting /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/target
[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/workspace/interfaces-ext/src/main/javacc
[INFO]
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 357 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.8.1:compile (default-compile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 73 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/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/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ReplacedMethodDocumentImpl.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.1.0: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/workspace/interfaces-ext/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.8.1:testCompile (default-testCompile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.22.1:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/target/surefire-reports
[INFO]
[INFO] -------------------------------------------------------
[INFO] T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.unife.CLILEAPTest
main
DL-Learner command line interface
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...
materialising concepts
[.....] 0%
[.....] 16%
[=....] 33%
[==...] 50%
[===..] 66%materialising object properties ...
[====.] 83%materialising datatype properties
...TBox materialised in 47 ms.
... initialized component 'reasoner' in 457ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'alg' of type CELOE ...
... initialized component 'alg' in 19ms. Status: OK
Initializing component 'lpr' of type EDGE ...
... initialized component 'lpr' in 0ms. Status: OK
Initializing component 'psla' of type LEAP ...
... initialized component 'psla' in 7ms. Status: OK
CLI LEAP
CLI LEAP
Running algorithm instance "psla" (LEAP)
start class:Thing
more accurate (50.00%) class expression found after 38ms: Thing
more accurate (83.33%) class expression found after 110ms: learnedClass
more accurate (100.00%) class expression found after 112ms: father
Algorithm terminated successfully (time: 10s 1ms, 6441 descriptions tested, 4976 nodes in the search tree).
number of retrievals: 6640
retrieval reasoning time: 103ms ( 0ms per retrieval)
number of instance checks: 31 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 295 (0 multiple)
subsumption reasoning time: 61ms ( 0ms per subsumption check)
overall reasoning time: 164ms
solutions:
1: father (pred. acc.: 100.00%, F-measure: 100.00%)
2: father (pred. acc.: 100.00%, F-measure: 100.00%)
3: father or (hasChild some female) (pred. acc.: 100.00%, F-measure: 100.00%)
4: father or (hasChild some father) (pred. acc.: 100.00%, F-measure: 100.00%)
5: learnedClass and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
6: male and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
7: father or (hasChild some (not (learnedClass))) (pred. acc.: 100.00%, F-measure: 100.00%)
8: father or (hasChild some (not (male))) (pred. acc.: 100.00%, F-measure: 100.00%)
9: (not (female)) and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
10: father or (learnedClass and (hasChild some learnedClass)) (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 | 294
init | 92
Bundle | 141
Bundle.init | 0
Bundle.explain | 120
Bundle.BDDCalc | 3
EM | 49
Current Log-Likelihood: -0.25428
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 4.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 | 110
init | 2
Bundle | 87
Bundle.init | 0
Bundle.explain | 78
Bundle.BDDCalc | 0
EM | 17
Current Log-Likelihood: -0.15390
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 3.0 (ms)
Adding axiom: learnedClass EquivalentTo father or (hasChild some female)
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 11
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: [stefan Type father, learnedClass EquivalentTo father or (hasChild some female)]
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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
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: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Removing axiom: markus Type father 1 more removed: [father EquivalentTo learnedClass]
MUPS 3: [male SubClassOf learnedClass, markus Type male]
Computed 3 explanations
Restoring axiom: markus Type father
Computed 3 explanations
Restoring axiom: father EquivalentTo 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: [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: 11
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.15384
============ Results ============
ax 1/11 : father EquivalentTo learnedClass arrayprob: 0.99440
ax 2/11 : male SubClassOf learnedClass arrayprob: 0.12300
ax 3/11 : learnedClass SubClassOf Thing arrayprob: 0.98484
ax 4/11 : father SubClassOf male arrayprob: 1.00000
ax 5/11 : female SubClassOf person arrayprob: 0.55044
ax 6/11 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.29779
ax 7/11 : hasChild Domain person arrayprob: 0.94125
ax 8/11 : male SubClassOf person arrayprob: 0.59755
ax 9/11 : female DisjointWith male arrayprob: 1.00000
ax 10/11 : person SubClassOf Thing arrayprob: 0.38519
ax 11/11 : hasChild Range person arrayprob: 0.27495
=================================
Name | Total (ms)
===========================
main | 80
init | 1
Bundle | 72
Bundle.init | 1
Bundle.explain | 62
Bundle.BDDCalc | 2
EM | 6
Current Log-Likelihood: -0.15384
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Adding axiom: learnedClass EquivalentTo father or (hasChild some father)
The axiom will make the KB inconsistent.
It will NOT be added
The axiom will make the KB inconsistent.
It will NOT be added
Trying with the next class expression
Adding axiom: learnedClass EquivalentTo learnedClass and (hasChild some person)
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
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: [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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo 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: [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: 12
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.18589
============ Results ============
ax 1/12 : father EquivalentTo learnedClass arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing arrayprob: 0.87918
ax 4/12 : father SubClassOf male arrayprob: 0.99004
ax 5/12 : female SubClassOf person arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.70488
ax 7/12 : hasChild Domain person arrayprob: 0.27495
ax 8/12 : male SubClassOf person arrayprob: 0.33322
ax 9/12 : female DisjointWith male arrayprob: 1.00000
ax 10/12 : person SubClassOf Thing arrayprob: 0.98484
ax 11/12 : hasChild Range person arrayprob: 0.12890
ax 12/12 : learnedClass EquivalentTo learnedClass and (hasChild some person) arrayprob: 0.24054
=================================
Name | Total (ms)
===========================
main | 129
init | 1
Bundle | 113
Bundle.init | 0
Bundle.explain | 102
Bundle.BDDCalc | 0
EM | 13
Current Log-Likelihood: -0.18589
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo male and (hasChild some person)
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
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: [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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo 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: 12
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.20924
============ Results ============
ax 1/12 : father EquivalentTo learnedClass arrayprob: 0.95704
ax 2/12 : male SubClassOf learnedClass arrayprob: 0.14051
ax 3/12 : learnedClass SubClassOf Thing arrayprob: 0.87918
ax 4/12 : father SubClassOf male arrayprob: 0.55044
ax 5/12 : female SubClassOf person arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.74085
ax 7/12 : hasChild Domain person arrayprob: 0.27495
ax 8/12 : male SubClassOf person arrayprob: 0.33322
ax 9/12 : female DisjointWith male arrayprob: 1.00000
ax 10/12 : person SubClassOf Thing arrayprob: 0.98484
ax 11/12 : hasChild Range person arrayprob: 0.12890
ax 12/12 : learnedClass EquivalentTo male and (hasChild some person) arrayprob: 1.00000
=================================
Name | Total (ms)
===========================
main | 101
init | 1
Bundle | 92
Bundle.init | 0
Bundle.explain | 85
Bundle.BDDCalc | 0
EM | 5
Current Log-Likelihood: -0.20924
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
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: [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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo 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: [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: []
MUPS 2: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (learnedClass))), anna Type female, anna hasChild heinz]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 3 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (learnedClass))) 4 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))
Removing axiom: anna Type female 5 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Removing axiom: anna hasChild heinz 5 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))]
Stop - satisfiable (early termination)
Restoring axiom: anna hasChild heinz
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 5 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father or (hasChild some (not (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: 12
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.25960
============ Results ============
ax 1/12 : father EquivalentTo learnedClass arrayprob: 0.99122
ax 2/12 : male SubClassOf learnedClass arrayprob: 0.12511
ax 3/12 : learnedClass SubClassOf Thing arrayprob: 0.87918
ax 4/12 : father SubClassOf male arrayprob: 0.96541
ax 5/12 : female SubClassOf person arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.30974
ax 7/12 : hasChild Domain person arrayprob: 0.27495
ax 8/12 : male SubClassOf person arrayprob: 0.33322
ax 9/12 : female DisjointWith male arrayprob: 0.99830
ax 10/12 : person SubClassOf Thing arrayprob: 0.98484
ax 11/12 : learnedClass EquivalentTo father or (hasChild some (not (learnedClass))) arrayprob: 0.01579
ax 12/12 : hasChild Range person arrayprob: 0.12890
=================================
Name | Total (ms)
===========================
main | 122
init | 1
Bundle | 110
Bundle.init | 0
Bundle.explain | 101
Bundle.BDDCalc | 0
EM | 9
Current Log-Likelihood: -0.25960
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some (not (male))), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
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: [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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some (not (male))), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo 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: [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: 12
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.18589
============ Results ============
ax 1/12 : father EquivalentTo learnedClass arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing arrayprob: 0.87918
ax 4/12 : father SubClassOf male arrayprob: 0.99004
ax 5/12 : learnedClass EquivalentTo father or (hasChild some (not (male))) arrayprob: 0.70488
ax 6/12 : female SubClassOf person arrayprob: 0.59755
ax 7/12 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.24054
ax 8/12 : hasChild Domain person arrayprob: 0.27495
ax 9/12 : male SubClassOf person arrayprob: 0.33322
ax 10/12 : female DisjointWith male arrayprob: 1.00000
ax 11/12 : person SubClassOf Thing arrayprob: 0.98484
ax 12/12 : hasChild Range person arrayprob: 0.12890
=================================
Name | Total (ms)
===========================
main | 91
init | 1
Bundle | 85
Bundle.init | 0
Bundle.explain | 78
Bundle.BDDCalc | 0
EM | 5
Current Log-Likelihood: -0.18589
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
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: [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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo 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: []
MUPS 2: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: michelle Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: father EquivalentTo learnedClass 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 2 more removed: [father EquivalentTo learnedClass, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
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: []
MUPS 2: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: anna Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable
Restoring axiom: anna Type female
Removing axiom: father EquivalentTo learnedClass 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 2 more removed: [father EquivalentTo learnedClass, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Removing axiom: anna Type female 4 more removed: [father EquivalentTo learnedClass, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 12
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.27754
============ Results ============
ax 1/12 : father EquivalentTo learnedClass arrayprob: 0.96262
ax 2/12 : male SubClassOf learnedClass arrayprob: 0.13007
ax 3/12 : learnedClass SubClassOf Thing arrayprob: 0.87918
ax 4/12 : father SubClassOf male arrayprob: 0.87416
ax 5/12 : female SubClassOf person arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.73414
ax 7/12 : hasChild Domain person arrayprob: 0.27495
ax 8/12 : learnedClass EquivalentTo (not (female)) and (hasChild some person) arrayprob: 0.74260
ax 9/12 : male SubClassOf person arrayprob: 0.33322
ax 10/12 : female DisjointWith male arrayprob: 0.99234
ax 11/12 : person SubClassOf Thing arrayprob: 0.98484
ax 12/12 : hasChild Range person arrayprob: 0.12890
=================================
Name | Total (ms)
===========================
main | 66
init | 1
Bundle | 58
Bundle.init | 0
Bundle.explain | 54
Bundle.BDDCalc | 2
EM | 6
Current Log-Likelihood: -0.27754
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (learnedClass and (hasChild some learnedClass))
Running parameter learner
Created 12 probabilistic axiom
Probability Map computed. Size: 12
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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
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: [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]
MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: father EquivalentTo 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: [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: 12
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.18589
============ Results ============
ax 1/12 : father EquivalentTo learnedClass arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing arrayprob: 0.87918
ax 4/12 : learnedClass EquivalentTo father or (learnedClass and (hasChild some learnedClass)) arrayprob: 0.24054
ax 5/12 : father SubClassOf male arrayprob: 0.99004
ax 6/12 : female SubClassOf person arrayprob: 0.59755
ax 7/12 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.70488
ax 8/12 : hasChild Domain person arrayprob: 0.27495
ax 9/12 : male SubClassOf person arrayprob: 0.33322
ax 10/12 : female DisjointWith male arrayprob: 1.00000
ax 11/12 : person SubClassOf Thing arrayprob: 0.98484
ax 12/12 : hasChild Range person arrayprob: 0.12890
=================================
Name | Total (ms)
===========================
main | 60
init | 1
Bundle | 55
Bundle.init | 0
Bundle.explain | 51
Bundle.BDDCalc | 0
EM | 4
Current Log-Likelihood: -0.18589
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: learnedClass EquivalentTo father or (hasChild some female)
Saving the learned ontology
Main: 11146 ms
CELOE: 10028 ms
EDGE: 1053 ms
Bundle: 813 ms
BDDCalc: 7 ms
explain: 731 ms
init: 1 ms
EM: 114 ms
init: 101 ms
Other: 65 ms
Program client: execution successfully terminated
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.433 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.2.0:jar (default-jar) @ interfaces-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/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/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-SNAPSHOT.pom
[INFO]
[INFO] -----------------------< org.dllearner:scripts >------------------------
[INFO] Building Executable scripts 1.5.1-SNAPSHOT [6/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ scripts ---
[INFO] Deleting /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/target
[INFO]
[INFO] --- maven-resources-plugin:3.1.0: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/workspace/scripts/src/main/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.8.1:compile (default-compile) @ scripts ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 26 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.1.0: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/workspace/scripts/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.8.1:testCompile (default-testCompile) @ scripts ---
[INFO] No sources to compile
[INFO]
[INFO] --- maven-surefire-plugin:2.22.1:test (default-test) @ scripts ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.2.0:jar (default-jar) @ scripts ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/target/scripts-1.5.1-SNAPSHOT.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ scripts ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/target/scripts-1.5.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary for DL Learner Parent Pom 1.5.1-SNAPSHOT:
[INFO]
[INFO] DL Learner Parent Pom .............................. SUCCESS [ 0.611 s]
[INFO] DL Learner Core Components ......................... SUCCESS [05:36 min]
[INFO] components-ext ..................................... SUCCESS [03:26 min]
[INFO] dllearner-interfaces ............................... SUCCESS [01:35 min]
[INFO] interfaces-ext ..................................... SUCCESS [ 24.703 s]
[INFO] Executable scripts ................................. SUCCESS [ 15.385 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 11:21 min
[INFO] Finished at: 2021-11-03T20:50:01+01:00
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/pom.xml to org.dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces-ext/target/dl-learner.jar to org.dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-ext/target/components-ext-1.5.1-SNAPSHOT.jar to org.dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/pom.xml to org.dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/scripts/target/scripts-1.5.1-SNAPSHOT.jar to org.dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-core/pom.xml to org.dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-core/target/components-core-1.5.1-SNAPSHOT.jar to org.dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/components-core/target/components-core-1.5.1-SNAPSHOT-tests.jar to org.dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-SNAPSHOT-tests.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/pom.xml to org.dllearner/dllearner-parent/1.5.1-SNAPSHOT/dllearner-parent-1.5.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-SNAPSHOT.jar
channel stopped
Maven RedeployPublisher use remote maven settings from : /usr/share/tomcat8/.m2/settings.xml
[INFO] Deployment in https://maven.aksw.org/archiva/repository/snapshots (id=maven.aksw.snapshots,uniqueVersion=true)
Deploying the main artifact components-core-1.5.1-SNAPSHOT.jar
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/maven-metadata.xml (365 B at 5.1 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-20211103.195007-6.jar
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-20211103.195007-6.jar (1.7 MB at 2.9 MB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-20211103.195007-6.pom
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-20211103.195007-6.pom (19 kB at 111 kB/s)
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/maven-metadata.xml (821 B at 59 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/maven-metadata.xml (778 B at 32 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/maven-metadata.xml (820 B at 27 kB/s)
Deploying the main artifact components-core-1.5.1-SNAPSHOT-tests.jar
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-20211103.195007-6-tests.jar
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/components-core-1.5.1-20211103.195007-6-tests.jar (1.2 MB at 6.7 MB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-core/1.5.1-SNAPSHOT/maven-metadata.xml (990 B at 38 kB/s)
[INFO] Deployment in https://maven.aksw.org/archiva/repository/snapshots (id=maven.aksw.snapshots,uniqueVersion=true)
Deploying the main artifact components-ext-1.5.1-SNAPSHOT.jar
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/maven-metadata.xml (364 B at 9.1 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-20211103.195008-6.jar
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-20211103.195008-6.jar (33 MB at 45 MB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-20211103.195008-6.pom
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/components-ext-1.5.1-20211103.195008-6.pom (12 kB at 64 kB/s)
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/maven-metadata.xml (820 B at 82 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/1.5.1-SNAPSHOT/maven-metadata.xml (777 B at 35 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/components-ext/maven-metadata.xml (819 B at 37 kB/s)
[INFO] Deployment in https://maven.aksw.org/archiva/repository/snapshots (id=maven.aksw.snapshots,uniqueVersion=true)
Deploying the main artifact dllearner-parent-1.5.1-SNAPSHOT.pom
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/1.5.1-SNAPSHOT/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/1.5.1-SNAPSHOT/maven-metadata.xml (366 B at 52 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/1.5.1-SNAPSHOT/dllearner-parent-1.5.1-20211103.195009-6.pom
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/1.5.1-SNAPSHOT/dllearner-parent-1.5.1-20211103.195009-6.pom (38 kB at 252 kB/s)
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/maven-metadata.xml (822 B at 34 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/1.5.1-SNAPSHOT/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/1.5.1-SNAPSHOT/maven-metadata.xml (606 B at 29 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/dllearner-parent/maven-metadata.xml (821 B at 41 kB/s)
[INFO] Deployment in https://maven.aksw.org/archiva/repository/snapshots (id=maven.aksw.snapshots,uniqueVersion=true)
Deploying the main artifact interfaces-1.5.1-SNAPSHOT.jar
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/maven-metadata.xml (360 B at 7.1 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-20211103.195010-6.jar
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-20211103.195010-6.jar (580 kB at 3.7 MB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-20211103.195010-6.pom
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/interfaces-1.5.1-20211103.195010-6.pom (14 kB at 104 kB/s)
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/maven-metadata.xml (816 B at 91 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/1.5.1-SNAPSHOT/maven-metadata.xml (773 B at 39 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces/maven-metadata.xml (815 B at 39 kB/s)
[INFO] Deployment in https://maven.aksw.org/archiva/repository/snapshots (id=maven.aksw.snapshots,uniqueVersion=true)
Deploying the main artifact interfaces-ext-1.5.1-SNAPSHOT.jar
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/maven-metadata.xml (364 B at 11 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-20211103.195010-6.jar
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-20211103.195010-6.jar (404 kB at 2.6 MB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-20211103.195010-6.pom
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/interfaces-ext-1.5.1-20211103.195010-6.pom (33 kB at 186 kB/s)
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/maven-metadata.xml (535 B at 59 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/1.5.1-SNAPSHOT/maven-metadata.xml (777 B at 34 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/interfaces-ext/maven-metadata.xml (534 B at 25 kB/s)
[INFO] Deployment in https://maven.aksw.org/archiva/repository/snapshots (id=maven.aksw.snapshots,uniqueVersion=true)
Deploying the main artifact scripts-1.5.1-SNAPSHOT.jar
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/maven-metadata.xml (357 B at 11 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-20211103.195010-6.jar
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-20211103.195010-6.jar (144 kB at 751 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-20211103.195010-6.pom
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/scripts-1.5.1-20211103.195010-6.pom (3.0 kB at 21 kB/s)
Downloading from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/maven-metadata.xml
Downloaded from maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/maven-metadata.xml (813 B at 28 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/1.5.1-SNAPSHOT/maven-metadata.xml (770 B at 35 kB/s)
Uploading to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/maven-metadata.xml
Uploaded to maven.aksw.snapshots: https://maven.aksw.org/archiva/repository/snapshots/org/dllearner/scripts/maven-metadata.xml (812 B at 43 kB/s)
[INFO] Deployment done in 3.7 sec
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@4030b562[nodeId=MDEwOlJlcG9zaXRvcnkyMjY5MzUxNQ==,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=255594,milestones={},language=Java,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/SmartDataAnalytics/DL-Learner,id=22693515,nodeId=<null>,createdAt=2014-08-06T18:29:54Z,updatedAt=2021-11-03T15:26:08Z]] (sha:67506ad) with context:DL-Learner
Setting commit status on GitHub for https://github.com/SmartDataAnalytics/DL-Learner/commit/67506ad6e6102026e9777ea71ab2e7517b31e247
Sending e-mails to: buehmann@informatik.uni-leipzig.de patrick.westphal@informatik.uni-leipzig.de sbin@informatik.uni-leipzig.de
Finished: SUCCESS
![[Jenkins]](/jenkins/static/33c50748/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output