# Console Output

Skipping 460 KB.. Full Logmore removed: [father SubClassOf male, male and (father or (hasChild some female)) SubClassOf learnedClass] 4) markus hasChild anna hasChild domain person anna hasChild heinz hasChild some person subClassOf learnedClass MUPS 4: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass] Removing axiom: markus hasChild anna 3 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus hasChild anna Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass] MUPS 4: [markus Type father, markus Type male, male and (father or (hasChild some female)) SubClassOf learnedClass] Removing axiom: markus Type father 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] 5) markus hasChild anna markus type male anna type female ( male and ( father or hasChild some female ) ) subClassOf learnedClass MUPS 5: [markus hasChild anna, markus Type male, anna Type female, male and (father or (hasChild some female)) SubClassOf learnedClass] Removing axiom: markus hasChild anna 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus hasChild anna Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass Removing axiom: markus Type male 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type male Removing axiom: anna Type female 5 more removed: [father SubClassOf male, markus Type father, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: anna Type female Restoring axiom: markus Type father Removing axiom: male and (father or (hasChild some female)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable Restoring axiom: male and (father or (hasChild some female)) SubClassOf learnedClass Removing axiom: markus Type male 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type male Restoring axiom: hasChild some person SubClassOf learnedClass Removing axiom: hasChild Domain person 4 more removed: [father SubClassOf male, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: hasChild Domain person Removing axiom: anna hasChild heinz 5 more removed: [father SubClassOf male, hasChild Domain person, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: anna hasChild heinz Restoring axiom: hasChild Range person Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [father SubClassOf male, hasChild Domain person, hasChild Range person, male and (father or (hasChild some female)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: hasChild some person SubClassOf learnedClass Query 4 of 4 (100%) Negative Example: heinz Type not (learnedClass) Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz}) Axiom: heinz type not learnedClass Explanation: AXIOM IS NOT ENTAILED! Trying the second method... Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz}) Axiom: heinz type learnedClass Explanation: AXIOM IS NOT ENTAILED! Explanations founding completed (BDDs computed) Start EM Algorithm - n. of probabilistic axioms: 10 - n. of examples: 4 stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5 martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5 markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 5 heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0 EM cycle: 0 EM cycle: 1 Log-likelihood: -1.59810 cycle: 1 EM cycle: 2 Log-likelihood: -0.50132 cycle: 2 EM cycle: 3 Log-likelihood: -0.36236 cycle: 3 EM cycle: 4 Log-likelihood: -0.30119 cycle: 4 EM cycle: 5 Log-likelihood: -0.26528 cycle: 5 EM cycle: 6 Log-likelihood: -0.24101 cycle: 6 EM cycle: 7 Log-likelihood: -0.22327 cycle: 7 EM cycle: 8 Log-likelihood: -0.20956 cycle: 8 EM cycle: 9 Log-likelihood: -0.19857 cycle: 9 EM cycle: 10 Log-likelihood: -0.18949 cycle: 10 EM cycle: 11 Log-likelihood: -0.18182 cycle: 11 EM cycle: 12 Log-likelihood: -0.17527 cycle: 12 EM cycle: 13 Log-likelihood: -0.16952 cycle: 13 EM cycle: 14 Log-likelihood: -0.16447 cycle: 14 EM cycle: 15 Log-likelihood: -0.15996 cycle: 15 EM cycle: 16 Log-likelihood: -0.15594 cycle: 16 EM cycle: 17 Log-likelihood: -0.15229 cycle: 17 EM cycle: 18 Log-likelihood: -0.14894 cycle: 18 EM cycle: 19 Log-likelihood: -0.14589 cycle: 19 EM cycle: 20 Log-likelihood: -0.14308 cycle: 20 EM cycle: 21 Log-likelihood: -0.14049 cycle: 21 EM cycle: 22 Log-likelihood: -0.13810 cycle: 22 EM cycle: 23 Log-likelihood: -0.13587 cycle: 23 EM cycle: 24 Log-likelihood: -0.13373 cycle: 24 EM cycle: 25 Log-likelihood: -0.13179 cycle: 25 EM cycle: 26 Log-likelihood: -0.12997 cycle: 26 EM cycle: 27 Log-likelihood: -0.12819 cycle: 27 EM cycle: 28 Log-likelihood: -0.12653 cycle: 28 EM cycle: 29 Log-likelihood: -0.12498 cycle: 29 EM cycle: 30 Log-likelihood: -0.12350 cycle: 30 EM cycle: 31 Log-likelihood: -0.12210 cycle: 31 EM cycle: 32 Log-likelihood: -0.12076 cycle: 32 EM cycle: 33 Log-likelihood: -0.11949 cycle: 33 EM cycle: 34 Log-likelihood: -0.11828 cycle: 34 EM cycle: 35 Log-likelihood: -0.11706 cycle: 35 EM cycle: 36 Log-likelihood: -0.11596 cycle: 36 EM cycle: 37 Log-likelihood: -0.11493 cycle: 37 EM cycle: 38 Log-likelihood: -0.11388 cycle: 38 EM cycle: 39 Log-likelihood: -0.11288 cycle: 39 EM cycle: 40 Log-likelihood: -0.11194 cycle: 40 EM cycle: 41 Log-likelihood: -0.11100 cycle: 41 EM cycle: 42 Log-likelihood: -0.11012 cycle: 42 EM cycle: 43 Log-likelihood: -0.10926 cycle: 43 EM cycle: 44 Log-likelihood: -0.10844 cycle: 44 EM cycle: 45 Log-likelihood: -0.10765 cycle: 45 EM cycle: 46 Log-likelihood: -0.10688 cycle: 46 EM cycle: 47 Log-likelihood: -0.10611 cycle: 47 EM cycle: 48 Log-likelihood: -0.10538 cycle: 48 EM cycle: 49 Log-likelihood: -0.10469 cycle: 49 EM cycle: 50 Log-likelihood: -0.10402 cycle: 50 EM cycle: 51 Log-likelihood: -0.10336 cycle: 51 EM cycle: 52 Log-likelihood: -0.10271 cycle: 52 EM cycle: 53 Log-likelihood: -0.10210 cycle: 53 EM cycle: 54 Log-likelihood: -0.10147 cycle: 54 EM cycle: 55 Log-likelihood: -0.10086 cycle: 55 EM cycle: 56 Log-likelihood: -0.10031 cycle: 56 EM cycle: 57 Log-likelihood: -0.09974 cycle: 57 EM cycle: 58 Log-likelihood: -0.09921 cycle: 58 EM cycle: 59 Log-likelihood: -0.09865 cycle: 59 EM cycle: 60 Log-likelihood: -0.09814 cycle: 60 EM cycle: 61 Log-likelihood: -0.09762 cycle: 61 EM cycle: 62 Log-likelihood: -0.09712 cycle: 62 EM cycle: 63 Log-likelihood: -0.09663 cycle: 63 EM cycle: 64 Log-likelihood: -0.09618 cycle: 64 EM cycle: 65 Log-likelihood: -0.09573 cycle: 65 EM cycle: 66 Log-likelihood: -0.09524 cycle: 66 EM cycle: 67 Log-likelihood: -0.09480 cycle: 67 EM cycle: 68 Log-likelihood: -0.09437 cycle: 68 EM cycle: 69 Log-likelihood: -0.09395 cycle: 69 EM cycle: 70 Log-likelihood: -0.09353 cycle: 70 EM cycle: 71 Log-likelihood: -0.09313 cycle: 71 EM cycle: 72 Log-likelihood: -0.09274 cycle: 72 EM cycle: 73 Log-likelihood: -0.09234 cycle: 73 EM cycle: 74 Log-likelihood: -0.09196 cycle: 74 EM cycle: 75 Log-likelihood: -0.09156 cycle: 75 EM cycle: 76 Log-likelihood: -0.09121 cycle: 76 EM cycle: 77 Log-likelihood: -0.09084 cycle: 77 EM cycle: 78 Log-likelihood: -0.09049 cycle: 78 EM cycle: 79 Log-likelihood: -0.09016 cycle: 79 EM cycle: 80 Log-likelihood: -0.08980 cycle: 80 EM cycle: 81 Log-likelihood: -0.08945 cycle: 81 EM cycle: 82 Log-likelihood: -0.08914 cycle: 82 EM cycle: 83 Log-likelihood: -0.08881 cycle: 83 EM cycle: 84 Log-likelihood: -0.08847 cycle: 84 EM cycle: 85 Log-likelihood: -0.08817 cycle: 85 EM cycle: 86 Log-likelihood: -0.08787 cycle: 86 EM cycle: 87 Log-likelihood: -0.08756 cycle: 87 EM cycle: 88 Log-likelihood: -0.08726 cycle: 88 EM cycle: 89 Log-likelihood: -0.08697 cycle: 89 EM cycle: 90 Log-likelihood: -0.08665 cycle: 90 EM cycle: 91 Log-likelihood: -0.08637 cycle: 91 EM completed. Final Log-Likelihood: -0.08637 Name | Total (ms) =========================== main | 60 init | 0 Bundle | 51 Bundle.init | 0 Bundle.explain | 50 Bundle.BDDCalc | 0 EM | 8 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637 Current Log-Likelihood: -0.08637 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner Initializing... Preparing Probability map... Preparing Probability Map... Random Seed set to: 0 Created 10 probabilistic axiom Probability Map computed. Size: 10 Initialization completed Start finding explanations for every example (Computing BDDs)... Query 1 of 4 (25%) Positive Example: stefan Type learnedClass Get 2147483647 explanation(s) for: (not (learnedClass)) and ({stefan}) Axiom: stefan type learnedClass Explanation(s): 1) markus hasChild anna hasChild domain person stefan hasChild markus hasChild some person subClassOf learnedClass MUPS 1: [markus hasChild anna, hasChild Domain person, stefan hasChild markus, hasChild some person SubClassOf learnedClass] Removing axiom: markus hasChild anna 0 more removed: [] 2) stefan hasChild markus hasChild range person hasChild some person subClassOf learnedClass MUPS 2: [stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass] Removing axiom: stefan hasChild markus 1 more removed: [markus hasChild anna] 3) stefan type male ( male and ( father or hasChild some father ) ) subClassOf learnedClass stefan type father MUPS 3: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father] Removing axiom: stefan Type male 2 more removed: [markus hasChild anna, stefan hasChild markus] 4) father subClassOf male ( male and ( father or hasChild some father ) ) subClassOf learnedClass stefan type father MUPS 4: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 3 more removed: [stefan Type male, markus hasChild anna, stefan hasChild markus] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: stefan Type father 4 more removed: [stefan Type male, markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus] Stop - satisfiable (early termination) Restoring axiom: stefan Type father Removing axiom: father SubClassOf male 4 more removed: [stefan Type male, markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus] Stop - satisfiable (early termination) Restoring axiom: father SubClassOf male Restoring axiom: stefan Type male Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus] Stop - satisfiable (early termination) Restoring axiom: stefan Type father Restoring axiom: stefan hasChild markus Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass] MUPS 4: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: stefan Type father 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: stefan Type father Removing axiom: stefan Type male 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: stefan Type male Restoring axiom: hasChild some person SubClassOf learnedClass Removing axiom: hasChild Range person 4 more removed: [markus hasChild anna, father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: hasChild Range person Restoring axiom: markus hasChild anna Removing axiom: stefan hasChild markus 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] MUPS 4: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: stefan Type father 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: stefan Type father Removing axiom: stefan Type male 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan hasChild markus, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: stefan Type male Restoring axiom: stefan hasChild markus Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] MUPS 4: [stefan Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, stefan Type father] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: stefan Type father 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: stefan Type father Removing axiom: stefan Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: stefan Type male Restoring axiom: hasChild some person SubClassOf learnedClass Removing axiom: hasChild Domain person 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: hasChild Domain person Query 2 of 4 (50%) Positive Example: martin Type learnedClass Get 2147483647 explanation(s) for: (not (learnedClass)) and ({martin}) Axiom: martin type learnedClass Explanation(s): 1) martin hasChild heinz hasChild range person hasChild some person subClassOf learnedClass MUPS 1: [martin hasChild heinz, hasChild Range person, hasChild some person SubClassOf learnedClass] Removing axiom: martin hasChild heinz 0 more removed: [] 2) martin type male ( male and ( father or hasChild some father ) ) subClassOf learnedClass martin type father MUPS 2: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin Type father] Removing axiom: martin Type male 1 more removed: [martin hasChild heinz] 3) father subClassOf male ( male and ( father or hasChild some father ) ) subClassOf learnedClass martin type father MUPS 3: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin Type father] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 2 more removed: [martin Type male, martin hasChild heinz] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: martin Type father 3 more removed: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz] Stop - satisfiable (early termination) Restoring axiom: martin Type father Removing axiom: father SubClassOf male 3 more removed: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz] Stop - satisfiable (early termination) Restoring axiom: father SubClassOf male Restoring axiom: martin Type male Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: martin Type father 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin hasChild heinz] Stop - satisfiable (early termination) Restoring axiom: martin Type father Restoring axiom: martin hasChild heinz Removing axiom: hasChild Range person 2 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass] 4) heinz type male male subClassOf person martin hasChild heinz hasChild some person subClassOf learnedClass MUPS 4: [heinz Type male, male SubClassOf person, martin hasChild heinz, hasChild some person SubClassOf learnedClass] Removing axiom: martin hasChild heinz 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person] Stop - satisfiable (early termination) Restoring axiom: martin hasChild heinz Removing axiom: hasChild some person SubClassOf learnedClass 3 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person] MUPS 4: [martin Type male, male and (father or (hasChild some father)) SubClassOf learnedClass, martin Type father] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: martin Type father 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: martin Type father Removing axiom: martin Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: martin Type male Restoring axiom: hasChild some person SubClassOf learnedClass Removing axiom: heinz Type male 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: heinz Type male Removing axiom: male SubClassOf person 4 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: male SubClassOf person Restoring axiom: hasChild Range person Removing axiom: hasChild some person SubClassOf learnedClass 5 more removed: [father SubClassOf male, male and (father or (hasChild some father)) SubClassOf learnedClass, male SubClassOf person, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: hasChild some person SubClassOf learnedClass Query 3 of 4 (75%) Positive Example: markus Type learnedClass Get 2147483647 explanation(s) for: (not (learnedClass)) and ({markus}) Axiom: markus type learnedClass Explanation(s): 1) markus hasChild anna hasChild range person hasChild some person subClassOf learnedClass MUPS 1: [markus hasChild anna, hasChild Range person, hasChild some person SubClassOf learnedClass] Removing axiom: markus hasChild anna 0 more removed: [] 2) ( male and ( father or hasChild some father ) ) subClassOf learnedClass markus type father markus type male MUPS 2: [male and (father or (hasChild some father)) SubClassOf learnedClass, markus Type father, markus Type male] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 1 more removed: [markus hasChild anna] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: markus Type father 2 more removed: [markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type father Removing axiom: markus Type male 2 more removed: [markus hasChild anna, male and (father or (hasChild some father)) SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type male Restoring axiom: markus hasChild anna Removing axiom: hasChild Range person 1 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass] 3) markus hasChild anna hasChild domain person anna hasChild heinz hasChild some person subClassOf learnedClass MUPS 3: [markus hasChild anna, hasChild Domain person, anna hasChild heinz, hasChild some person SubClassOf learnedClass] Removing axiom: markus hasChild anna 2 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person] Stop - satisfiable (early termination) Restoring axiom: markus hasChild anna Removing axiom: hasChild some person SubClassOf learnedClass 2 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person] MUPS 3: [male and (father or (hasChild some father)) SubClassOf learnedClass, markus Type father, markus Type male] Removing axiom: male and (father or (hasChild some father)) SubClassOf learnedClass 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable Restoring axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Removing axiom: markus Type father 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type father Removing axiom: markus Type male 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type male Restoring axiom: hasChild some person SubClassOf learnedClass Removing axiom: hasChild Domain person 3 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: hasChild Domain person Removing axiom: anna hasChild heinz 4 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: anna hasChild heinz Restoring axiom: hasChild Range person Removing axiom: hasChild some person SubClassOf learnedClass 4 more removed: [male and (father or (hasChild some father)) SubClassOf learnedClass, hasChild Domain person, hasChild Range person, hasChild some person SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: hasChild some person SubClassOf learnedClass Query 4 of 4 (100%) Negative Example: heinz Type not (learnedClass) Get 2147483647 explanation(s) for: (not (not (learnedClass))) and ({heinz}) Axiom: heinz type not learnedClass Explanation: AXIOM IS NOT ENTAILED! Trying the second method... Get 2147483647 explanation(s) for: (not (learnedClass)) and ({heinz}) Axiom: heinz type learnedClass Explanation: AXIOM IS NOT ENTAILED! Explanations founding completed (BDDs computed) Start EM Algorithm - n. of probabilistic axioms: 10 - n. of examples: 4 stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5 martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5 markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 4 heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0 EM cycle: 0 EM cycle: 1 Log-likelihood: -1.59810 cycle: 1 EM cycle: 2 Log-likelihood: -0.50132 cycle: 2 EM cycle: 3 Log-likelihood: -0.36236 cycle: 3 EM cycle: 4 Log-likelihood: -0.30119 cycle: 4 EM cycle: 5 Log-likelihood: -0.26528 cycle: 5 EM cycle: 6 Log-likelihood: -0.24101 cycle: 6 EM cycle: 7 Log-likelihood: -0.22327 cycle: 7 EM cycle: 8 Log-likelihood: -0.20956 cycle: 8 EM cycle: 9 Log-likelihood: -0.19857 cycle: 9 EM cycle: 10 Log-likelihood: -0.18949 cycle: 10 EM cycle: 11 Log-likelihood: -0.18182 cycle: 11 EM cycle: 12 Log-likelihood: -0.17527 cycle: 12 EM cycle: 13 Log-likelihood: -0.16952 cycle: 13 EM cycle: 14 Log-likelihood: -0.16447 cycle: 14 EM cycle: 15 Log-likelihood: -0.15996 cycle: 15 EM cycle: 16 Log-likelihood: -0.15594 cycle: 16 EM cycle: 17 Log-likelihood: -0.15229 cycle: 17 EM cycle: 18 Log-likelihood: -0.14894 cycle: 18 EM cycle: 19 Log-likelihood: -0.14589 cycle: 19 EM cycle: 20 Log-likelihood: -0.14308 cycle: 20 EM cycle: 21 Log-likelihood: -0.14049 cycle: 21 EM cycle: 22 Log-likelihood: -0.13810 cycle: 22 EM cycle: 23 Log-likelihood: -0.13587 cycle: 23 EM cycle: 24 Log-likelihood: -0.13373 cycle: 24 EM cycle: 25 Log-likelihood: -0.13179 cycle: 25 EM cycle: 26 Log-likelihood: -0.12997 cycle: 26 EM cycle: 27 Log-likelihood: -0.12819 cycle: 27 EM cycle: 28 Log-likelihood: -0.12653 cycle: 28 EM cycle: 29 Log-likelihood: -0.12498 cycle: 29 EM cycle: 30 Log-likelihood: -0.12350 cycle: 30 EM cycle: 31 Log-likelihood: -0.12210 cycle: 31 EM cycle: 32 Log-likelihood: -0.12076 cycle: 32 EM cycle: 33 Log-likelihood: -0.11949 cycle: 33 EM cycle: 34 Log-likelihood: -0.11828 cycle: 34 EM cycle: 35 Log-likelihood: -0.11706 cycle: 35 EM cycle: 36 Log-likelihood: -0.11596 cycle: 36 EM cycle: 37 Log-likelihood: -0.11493 cycle: 37 EM cycle: 38 Log-likelihood: -0.11388 cycle: 38 EM cycle: 39 Log-likelihood: -0.11288 cycle: 39 EM cycle: 40 Log-likelihood: -0.11194 cycle: 40 EM cycle: 41 Log-likelihood: -0.11100 cycle: 41 EM cycle: 42 Log-likelihood: -0.11012 cycle: 42 EM cycle: 43 Log-likelihood: -0.10926 cycle: 43 EM cycle: 44 Log-likelihood: -0.10844 cycle: 44 EM cycle: 45 Log-likelihood: -0.10765 cycle: 45 EM cycle: 46 Log-likelihood: -0.10688 cycle: 46 EM cycle: 47 Log-likelihood: -0.10611 cycle: 47 EM cycle: 48 Log-likelihood: -0.10538 cycle: 48 EM cycle: 49 Log-likelihood: -0.10469 cycle: 49 EM cycle: 50 Log-likelihood: -0.10402 cycle: 50 EM cycle: 51 Log-likelihood: -0.10336 cycle: 51 EM cycle: 52 Log-likelihood: -0.10271 cycle: 52 EM cycle: 53 Log-likelihood: -0.10210 cycle: 53 EM cycle: 54 Log-likelihood: -0.10147 cycle: 54 EM cycle: 55 Log-likelihood: -0.10086 cycle: 55 EM cycle: 56 Log-likelihood: -0.10031 cycle: 56 EM cycle: 57 Log-likelihood: -0.09974 cycle: 57 EM cycle: 58 Log-likelihood: -0.09921 cycle: 58 EM cycle: 59 Log-likelihood: -0.09865 cycle: 59 EM cycle: 60 Log-likelihood: -0.09814 cycle: 60 EM cycle: 61 Log-likelihood: -0.09762 cycle: 61 EM cycle: 62 Log-likelihood: -0.09712 cycle: 62 EM cycle: 63 Log-likelihood: -0.09663 cycle: 63 EM cycle: 64 Log-likelihood: -0.09618 cycle: 64 EM cycle: 65 Log-likelihood: -0.09573 cycle: 65 EM cycle: 66 Log-likelihood: -0.09524 cycle: 66 EM cycle: 67 Log-likelihood: -0.09480 cycle: 67 EM cycle: 68 Log-likelihood: -0.09437 cycle: 68 EM cycle: 69 Log-likelihood: -0.09395 cycle: 69 EM cycle: 70 Log-likelihood: -0.09353 cycle: 70 EM cycle: 71 Log-likelihood: -0.09313 cycle: 71 EM cycle: 72 Log-likelihood: -0.09274 cycle: 72 EM cycle: 73 Log-likelihood: -0.09234 cycle: 73 EM cycle: 74 Log-likelihood: -0.09196 cycle: 74 EM cycle: 75 Log-likelihood: -0.09156 cycle: 75 EM cycle: 76 Log-likelihood: -0.09121 cycle: 76 EM cycle: 77 Log-likelihood: -0.09084 cycle: 77 EM cycle: 78 Log-likelihood: -0.09049 cycle: 78 EM cycle: 79 Log-likelihood: -0.09016 cycle: 79 EM cycle: 80 Log-likelihood: -0.08980 cycle: 80 EM cycle: 81 Log-likelihood: -0.08945 cycle: 81 EM cycle: 82 Log-likelihood: -0.08914 cycle: 82 EM cycle: 83 Log-likelihood: -0.08881 cycle: 83 EM cycle: 84 Log-likelihood: -0.08847 cycle: 84 EM cycle: 85 Log-likelihood: -0.08817 cycle: 85 EM cycle: 86 Log-likelihood: -0.08787 cycle: 86 EM cycle: 87 Log-likelihood: -0.08756 cycle: 87 EM cycle: 88 Log-likelihood: -0.08726 cycle: 88 EM cycle: 89 Log-likelihood: -0.08697 cycle: 89 EM cycle: 90 Log-likelihood: -0.08665 cycle: 90 EM cycle: 91 Log-likelihood: -0.08637 cycle: 91 EM completed. Final Log-Likelihood: -0.08637 Name | Total (ms) =========================== main | 52 init | 0 Bundle | 43 Bundle.init | 0 Bundle.explain | 40 Bundle.BDDCalc | 1 EM | 9 INFO (LEAP.java:214) - Current Log-Likelihood: -0.08637 Current Log-Likelihood: -0.08637 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:108) - Greedy search finished Greedy search finished DEBUG (AbstractLEAP.java:330) - Replacing super class "dummyClass" with "classToDescribe" Replacing super class "dummyClass" with "classToDescribe" INFO (AbstractLEAP.java:393) - Learned Axiom: hasChild some person SubClassOf father Learned Axiom: hasChild some person SubClassOf father DEBUG (AbstractLEAP.java:406) - Replaced all the super classes Replaced all the super classes INFO (LEAP.java:126) - Saving the learned ontology Saving the learned ontology INFO (AbstractLEAP.java:188) - Main: 10627 ms Main: 10627 ms INFO (AbstractLEAP.java:189) - CELOE: 10001 ms CELOE: 10001 ms INFO (AbstractLEAP.java:200) - EDGE: 603 ms EDGE: 603 ms INFO (AbstractLEAP.java:200) - Bundle: 501 ms Bundle: 501 ms INFO (AbstractLEAP.java:200) - BDDCalc: 7 ms BDDCalc: 7 ms INFO (AbstractLEAP.java:200) - explain: 479 ms explain: 479 ms INFO (AbstractLEAP.java:200) - init: 1 ms init: 1 ms INFO (AbstractLEAP.java:200) - EM: 90 ms EM: 90 ms INFO (AbstractLEAP.java:200) - init: 6 ms init: 6 ms INFO (AbstractLEAP.java:208) - Other: 23 ms Other: 23 ms INFO (AbstractLEAP.java:209) - Program client: execution successfully terminated Program client: execution successfully terminated Test case 3 - Dummy parameter learner Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@54b2d002 Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set). Injecting values [[org.semanticweb.owlapi.rio.RioNTriplesParserFactory@b849fa6, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@2095c331, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@40ddf339, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@586486c, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@57bac3f0, org.semanticweb.owlapi.rio.RioN3ParserFactory@7b795db7, org.semanticweb.owlapi.rio.RioTurtleParserFactory@774c5e5c, org.semanticweb.owlapi.rio.RioRDFaParserFactory@7fbbdd8a, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@4e9ea32f, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@4cf01c41, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@1d1c63af, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@55f6f965, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@d271a54, org.semanticweb.owlapi.rio.RioTrigParserFactory@79ec57b8, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@c83ed77, org.semanticweb.owlapi.rio.RioTrixParserFactory@56ba8e8c, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@6ff8e744, org.semanticweb.owlapi.rio.RioJsonParserFactory@3909a854]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set). Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@409395b9]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set). Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@53e82089, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@61d42275, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@2a259f6f, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@5e80d5, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@4148ce43, org.semanticweb.owlapi.rio.RioJsonStorerFactory@4ec27c4c, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@6614289a, org.semanticweb.owlapi.rio.RioN3StorerFactory@12200670, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@670c171c, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@66a8751a, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@416b681c, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@78861d9e, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@3df3410a, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@257b3561, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@46fb9581, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@6207145c, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@7ccf6114, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@6fcc0a1, org.semanticweb.owlapi.rio.RioTrixStorerFactory@1eabfad5, org.semanticweb.owlapi.rio.RioTrigStorerFactory@6a878778]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set). http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit' is not recognized. entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'entityExpansionLimit' is not recognized. Total number of triples: 27 Loaded OntologyID(OntologyIRI(<http://example.com/father>) VersionIRI(<null>)) Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner) Materializing TBox... materialising concepts [.....] 0% [=....] 20% [==...] 40% [===..] 60%materialising object properties ... [====.] 80%materialising datatype properties finished materialising data properties. ...TBox materialised in 1 ms. classHierarchy: Thing person female male father object properties: [hasChild] Numeric Splits: {} Debug logger: true DEBUG (AbstractLEAP.java:129) - getting the individuals getting the individuals DEBUG (AbstractLEAP.java:166) - convert the individuals into assertional axioms convert the individuals into assertional axioms Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@146833a2 Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set). Injecting values [[org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@183ef89a, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@424a152f, org.semanticweb.owlapi.rio.RioN3ParserFactory@15ad5acb, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@12270a01, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@59c862af, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@5a8b42a3, org.semanticweb.owlapi.rio.RioTurtleParserFactory@351e86b2, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@4bb9f7d4, org.semanticweb.owlapi.rio.RioRDFaParserFactory@673a9db4, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@11582db6, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@50b38342, org.semanticweb.owlapi.rio.RioTrigParserFactory@2792c28, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@5649f55, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@558127d2, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@44106e25, org.semanticweb.owlapi.rio.RioJsonParserFactory@408d945b, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@57a5b03, org.semanticweb.owlapi.rio.RioTrixParserFactory@6fa7ce4]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set). Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@4552f905]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set). Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@646d58cd, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@fb2c2f3, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@2133b712, org.semanticweb.owlapi.rio.RioJsonStorerFactory@12532e37, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@7d4da729, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@6b64bf61, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@48da64f2, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@4e3ee457, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@1d5bb5c, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@41b66d1, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@4b7e4d14, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@388e4c25, org.semanticweb.owlapi.rio.RioTrigStorerFactory@148fca83, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@2aa811f9, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@66abb2fa, org.semanticweb.owlapi.rio.RioN3StorerFactory@401b67a9, org.semanticweb.owlapi.rio.RioTrixStorerFactory@2d2a8819, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@60b553f, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@7846913f, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@72585e83]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set). Injecting object uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl@70f91ae3 Loading file META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper No files found for META-INF/services/org.semanticweb.owlapi.model.OWLOntologyIRIMapper Injecting values [[]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setIRIMappers(java.util.Set). Injecting values [[org.semanticweb.owlapi.rio.RioRDFaParserFactory@1791e231, org.semanticweb.owlapi.rio.RioTrixParserFactory@24ac6fef, org.semanticweb.owlapi.rdf.rdfxml.parser.RDFXMLParserFactory@3155f190, org.semanticweb.owlapi.rio.RioJsonLDParserFactory@5c2a3f0c, org.semanticweb.owlapi.functional.parser.OWLFunctionalSyntaxOWLParserFactory@13f36d75, org.semanticweb.owlapi.oboformat.OBOFormatOWLAPIParserFactory@cfb94fd, org.semanticweb.owlapi.rio.RioBinaryRdfParserFactory@601d9f3a, org.semanticweb.owlapi.rio.RioRDFXMLParserFactory@55397d15, org.semanticweb.owlapi.manchestersyntax.parser.ManchesterOWLSyntaxOntologyParserFactory@227b9277, org.semanticweb.owlapi.rio.RioTrigParserFactory@5e360c3b, org.semanticweb.owlapi.rio.RioNTriplesParserFactory@5ca4c88a, org.semanticweb.owlapi.rdf.turtle.parser.TurtleOntologyParserFactory@b56d8a7, org.semanticweb.owlapi.rio.RioN3ParserFactory@5d93ff21, org.semanticweb.owlapi.owlxml.parser.OWLXMLParserFactory@6de5ad56, org.semanticweb.owlapi.rio.RioJsonParserFactory@6585df70, org.semanticweb.owlapi.rio.RioTurtleParserFactory@3cb49121, org.semanticweb.owlapi.krss2.parser.KRSS2OWLParserFactory@4c4215d7, org.semanticweb.owlapi.rio.RioNQuadsParserFactory@51fb5fe6]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyParsers(java.util.Set). Injecting values [[uk.ac.manchester.cs.owl.owlapi.OWLOntologyFactoryImpl@4ebd8d2]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyFactories(java.util.Set). Injecting values [[org.semanticweb.owlapi.rio.RioBinaryRdfStorerFactory@44a44a04, org.semanticweb.owlapi.rio.RioTrigStorerFactory@124ff64d, org.semanticweb.owlapi.owlxml.renderer.OWLXMLStorerFactory@5e05a706, org.semanticweb.owlapi.manchestersyntax.renderer.ManchesterSyntaxStorerFactory@3a69014e, org.semanticweb.owlapi.rio.RioTrixStorerFactory@75aa7703, org.semanticweb.owlapi.krss2.renderer.KRSS2OWLSyntaxStorerFactory@27746c5e, org.semanticweb.owlapi.rio.RioNQuadsStorerFactory@360a3106, org.semanticweb.owlapi.rio.RioTurtleStorerFactory@79777da7, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxStorerFactory@54737322, org.semanticweb.owlapi.rio.RioJsonLDStorerFactory@5a63fa71, org.semanticweb.owlapi.rdf.rdfxml.renderer.RDFXMLStorerFactory@3395c2a7, org.semanticweb.owlapi.rio.RioJsonStorerFactory@a6fc1bc, org.semanticweb.owlapi.rio.RioN3StorerFactory@5018b56b, org.semanticweb.owlapi.rio.RioNTriplesStorerFactory@737ff5c4, org.semanticweb.owlapi.functional.renderer.FunctionalSyntaxStorerFactory@7831d1aa, org.semanticweb.owlapi.rdf.turtle.renderer.TurtleStorerFactory@543ac221, org.semanticweb.owlapi.latex.renderer.LatexStorerFactory@2270f58d, org.semanticweb.owlapi.dlsyntax.renderer.DLSyntaxHTMLStorerFactory@50e1f3fc, org.semanticweb.owlapi.oboformat.OBOFormatStorerFactory@56da8847, org.semanticweb.owlapi.rio.RioRDFXMLStorerFactory@7e9a836]] on method public void uk.ac.manchester.cs.owl.owlapi.OWLOntologyManagerImpl.setOntologyStorers(java.util.Set). DEBUG (LEAP.java:71) - Starting structure learner LEAP Starting structure learner LEAP start class:Thing more accurate (75.00%) class expression found after 0ms: Thing computeM BOOL DPs:[] Numeric DPs:[] most general properties: `hasChild=1 m: {1=[person], 2=[not (father), not (female)], 3=[hasChild some Thing, hasChild only Thing], 4=[hasChild max 0 Thing]} more accurate (100.00%) class expression found after 1ms: hasChild some person m for person: {1=[female, male], 2=[not (father), not (female), not (male)], 3=[hasChild some Thing, hasChild only Thing], 4=[hasChild max 0 Thing]} Algorithm terminated successfully (time: 10s 0ms, 10755 descriptions tested, 7722 nodes in the search tree). number of retrievals: 10902 retrieval reasoning time: 86ms ( 0ms per retrieval) number of instance checks: 56 (0 multiple) instance check reasoning time: 0ms ( 0ms per instance check) (complex) subsumption checks: 314 (0 multiple) subsumption reasoning time: 9ms ( 0ms per subsumption check) overall reasoning time: 95ms solutions: 1: hasChild some person 100.00% 2: female or (hasChild some person) 100.00% 3: male and (hasChild some person) 100.00% 4: (not (male)) or (hasChild some person) 100.00% 5: (not (female)) and (hasChild some person) 100.00% 6: male and (female or (hasChild some person)) 100.00% 7: male and (father or (hasChild some person)) 100.00% 8: male and (father or (hasChild some male)) 100.00% 9: male and (father or (hasChild some female)) 100.00% 10: male and (father or (hasChild some father)) 100.00% INFO (LEAP.java:99) - Start greedy search Start greedy search DEBUG (LEAP.java:169) - Initial Log-likelihood: -41.44653 Initial Log-likelihood: -41.44653 INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology Successful creation of the learned ontology INFO (DummyParameterLearner.java:151) - Ontology created in 0.0 (ms) Ontology created in 0.0 (ms) INFO (LEAP.java:192) - Type of axiom to learn: subClassOf axioms Type of axiom to learn: subClassOf axioms INFO (LEAP.java:195) - number of axiom chunks: 10 number of axiom chunks: 10 INFO (LEAP.java:202) - Adding axiom: hasChild some person SubClassOf learnedClass Adding axiom: hasChild some person SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 9 probabilistic axiom Created 9 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 9 Probability Map computed. Size: 9 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:254) - Log-Likelihood enhanced. Updating ontologies... Log-Likelihood enhanced. Updating ontologies... DEBUG (LEAP.java:318) - Updating ontology Updating ontology INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology Successful creation of the learned ontology INFO (DummyParameterLearner.java:151) - Ontology created in 1.0 (ms) Ontology created in 1.0 (ms) DEBUG (LEAP.java:321) - Ontology Updated Ontology Updated INFO (LEAP.java:202) - Adding axiom: female or (hasChild some person) SubClassOf learnedClass Adding axiom: female or (hasChild some person) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: male and (hasChild some person) SubClassOf learnedClass Adding axiom: male and (hasChild some person) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: (not (male)) or (hasChild some person) SubClassOf learnedClass Adding axiom: (not (male)) or (hasChild some person) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: male and (female or (hasChild some person)) SubClassOf learnedClass Adding axiom: male and (female or (hasChild some person)) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:202) - Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass INFO (LEAP.java:211) - Running parameter learner Running parameter learner INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom Created 10 probabilistic axiom INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10 Probability Map computed. Size: 10 INFO (LEAP.java:214) - Current Log-Likelihood: 0 Current Log-Likelihood: 0 INFO (LEAP.java:302) - Log-Likelihood worsened. Removing Last Axioms... Log-Likelihood worsened. Removing Last Axioms... INFO (LEAP.java:108) - Greedy search finished Greedy search finished DEBUG (AbstractLEAP.java:330) - Replacing super class "dummyClass" with "classToDescribe" Replacing super class "dummyClass" with "classToDescribe" INFO (AbstractLEAP.java:393) - Learned Axiom: hasChild some person SubClassOf father Learned Axiom: hasChild some person SubClassOf father DEBUG (AbstractLEAP.java:406) - Replaced all the super classes Replaced all the super classes INFO (LEAP.java:126) - Saving the learned ontology Saving the learned ontology INFO (AbstractLEAP.java:188) - Main: 10021 ms Main: 10021 ms INFO (AbstractLEAP.java:189) - CELOE: 10001 ms CELOE: 10001 ms INFO (AbstractLEAP.java:200) - DummyParameterLearner: 0 ms DummyParameterLearner: 0 ms INFO (AbstractLEAP.java:208) - Other: 20 ms Other: 20 ms INFO (AbstractLEAP.java:209) - Program client: execution successfully terminated Program client: execution successfully terminated [INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 31.014 s - in org.dllearner.algorithms.probabilistic.structure.unife.leap.LEAPTest [INFO] Running org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.003 s - in org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest [INFO] [INFO] Results: [INFO] [INFO] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0 [INFO] [JENKINS] Recording test results [INFO] [INFO]--- maven-jar-plugin:3.1.0:jar (default-jar) @ components-ext ---[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar [INFO] [INFO]--- maven-install-plugin:2.4:install (default-install) @ components-ext ---[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.jar [INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.pom [INFO] [INFO] ----------------------< org.dllearner:interfaces >---------------------- [INFO] Building dllearner-interfaces 1.3.1-SNAPSHOT [4/6] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO]--- maven-clean-plugin:2.5:clean (default-clean) @ interfaces ---[INFO] [INFO]--- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces ---[INFO] [INFO]--- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces ---[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/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.7.0:compile (default-compile) @ interfaces ---[INFO] Changes detected - recompiling the module! [INFO] Compiling 127 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/target/classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Some input files use or override a deprecated API. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Recompile with -Xlint:deprecation for details. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/src/main/java/org/dllearner/confparser/PostProcessor.java: Some input files use unchecked or unsafe operations. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/src/main/java/org/dllearner/confparser/PostProcessor.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.7.0:testCompile (default-testCompile) @ interfaces ---[INFO] Changes detected - recompiling the module! [INFO] Compiling 7 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/target/test-classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java uses unchecked or unsafe operations. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: Recompile with -Xlint:unchecked for details. [INFO] [INFO]--- maven-surefire-plugin:2.22.0:test (default-test) @ interfaces ---[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/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 32ms. Status: OK Initializing component 'embeddedReasoner' of type OWL API Reasoner ... Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner) ... initialized component 'embeddedReasoner' in 175ms. 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 39 ms. ... initialized component 'reasoner' in 39ms. Status: OK Initializing component 'op' of type rho refinement operator ... ... initialized component 'op' in 14ms. 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 2ms. 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 (29579 descriptions tested). Initializing component 'ks' of type KB File ... ... initialized component 'ks' in 4ms. Status: OK Initializing component 'reasoner' of type closed world reasoner ... Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner) Materializing TBox... materialising concepts [.....] 0% [=....] 33%materialising object properties ... [===..] 66%materialising datatype properties ...TBox materialised in 1 ms. ... initialized component 'reasoner' in 9ms. Status: OK Initializing component 'op' of type rho refinement operator ... ... initialized component 'op' in 3ms. Status: OK Initializing component 'lp' of type PosNegLPStandard ... ... initialized component 'lp' in 0ms. Status: OK Initializing component 'h' of type multiple criteria heuristic ... ... initialized component 'h' in 0ms. Status: OK Initializing component 'alg' of type OWL Class Expression Learner ... ... initialized component 'alg' in 0ms. Status: OK starting top down refinement with: Thing (42.857% accuracy) more accurate (85.71%) class expression found: male more accurate (100.00%) class expression found: male and (hasChild some Thing) Maximum time (15 seconds) reached, stopping now... solutions (at most 20 are shown): 1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1) 2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1) 3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2) 4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2) 5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2) 6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3) 7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1) 8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2) 9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1) 10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2) 11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2) 12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3) 13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2) 14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3) 15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1) 16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2) 17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2) 18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2) 19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2) 20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3) Algorithm stopped (29663 descriptions tested). [INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 33.131 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.067 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.085 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 1ms. 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 8172 ms. ... initialized component 'reasoner' in 11s 645ms. Status: OK Initializing component 'op' of type rho refinement operator ... ... initialized component 'op' in 68ms. 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 4ms. 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: 11.9 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.1.0:jar (default-jar) @ interfaces ---[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/target/dl-learner.jar [INFO] [INFO]--- maven-install-plugin:2.4:install (default-install) @ interfaces ---[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar [INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom [INFO] [INFO] --------------------< org.dllearner:interfaces-ext >-------------------- [INFO] Building interfaces-ext 1.3.1-SNAPSHOT [5/6] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO]--- maven-clean-plugin:2.5:clean (default-clean) @ interfaces-ext ---[INFO] [INFO]--- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces-ext ---[INFO] [INFO]--- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces-ext ---[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/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.7.0:compile (default-compile) @ interfaces-ext ---[INFO] Changes detected - recompiling the module! [INFO] Compiling 73 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/target/classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/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 Merge-M/branches/win/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 Merge-M/branches/win/workspace/interfaces-ext/src/test/resources [INFO] [INFO]--- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces-ext ---[INFO] Changes detected - recompiling the module! [INFO] Compiling 1 source file to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/target/test-classes [INFO] [INFO]--- maven-surefire-plugin:2.22.0:test (default-test) @ interfaces-ext ---[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/target/surefire-reports [INFO] [INFO] ------------------------------------------------------- [INFO] T E S T S [INFO] ------------------------------------------------------- [INFO] Running org.dllearner.cli.unife.CLILEAPTest main SLF4J: Class path contains multiple SLF4J bindings. SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/slf4j/slf4j-log4j12/1.7.28/slf4j-log4j12-1.7.28.jar!/org/slf4j/impl/StaticLoggerBinder.class] SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/apache/logging/log4j/log4j-slf4j-impl/2.12.1/log4j-slf4j-impl-2.12.1.jar!/org/slf4j/impl/StaticLoggerBinder.class] SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation. SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory] DL-Learner command line interface Initializing component 'ks' of type OWL File ... ... initialized component 'ks' in 1ms. Status: OK Initializing component 'reasoner' of type closed world reasoner ... Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner) Materializing TBox... materialising concepts [.....] 0% [.....] 16% [=....] 33% [==...] 50% [===..] 66%materialising object properties ... [====.] 83%materialising datatype properties ...TBox materialised in 52 ms. ... initialized component 'reasoner' in 426ms. Status: OK Initializing component 'lp' of type PosNegLPStandard ... ... initialized component 'lp' in 1ms. Status: OK Initializing component 'lpr' of type EDGE ... ... initialized component 'lpr' in 0ms. Status: OK Initializing component 'alg' of type CELOE ... ... initialized component 'alg' in 18ms. Status: OK Initializing component 'psla' of type LEAP ... ... initialized component 'psla' in 6ms. Status: OK CLI LEAP CLI LEAP Running algorithm instance "psla" (LEAP) start class:Thing more accurate (50.00%) class expression found after 28ms: Thing more accurate (83.33%) class expression found after 84ms: learnedClass more accurate (100.00%) class expression found after 85ms: father Algorithm terminated successfully (time: 10s 0ms, 6782 descriptions tested, 5256 nodes in the search tree). number of retrievals: 6981 retrieval reasoning time: 94ms ( 0ms per retrieval) number of instance checks: 54 (0 multiple) instance check reasoning time: 0ms ( 0ms per instance check) (complex) subsumption checks: 295 (0 multiple) subsumption reasoning time: 57ms ( 0ms per subsumption check) overall reasoning time: 152ms 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 0.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 | 169 init | 24 Bundle | 101 Bundle.init | 0 Bundle.explain | 88 Bundle.BDDCalc | 4 EM | 33 Current Log-Likelihood: -0.25428 Log-Likelihood enhanced. Updating ontologies... Creation of the learned ontology... Successful creation of the learned ontology Ontology created in 3.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 | 74 init | 1 Bundle | 58 Bundle.init | 0 Bundle.explain | 56 Bundle.BDDCalc | 0 EM | 9 Current Log-Likelihood: -0.15390 Log-Likelihood enhanced. Updating ontologies... Creation of the learned ontology... Successful creation of the learned ontology Ontology created in 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 | 68 init | 0 Bundle | 60 Bundle.init | 0 Bundle.explain | 55 Bundle.BDDCalc | 0 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 | 72 init | 0 Bundle | 64 Bundle.init | 0 Bundle.explain | 58 Bundle.BDDCalc | 2 EM | 6 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 | 64 init | 0 Bundle | 57 Bundle.init | 0 Bundle.explain | 53 Bundle.BDDCalc | 1 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 | 79 init | 1 Bundle | 69 Bundle.init | 0 Bundle.explain | 63 Bundle.BDDCalc | 2 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 | 60 init | 1 Bundle | 53 Bundle.init | 0 Bundle.explain | 50 Bundle.BDDCalc | 1 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 | 61 init | 0 Bundle | 56 Bundle.init | 0 Bundle.explain | 51 Bundle.BDDCalc | 1 EM | 5 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 | 56 init | 0 Bundle | 52 Bundle.init | 0 Bundle.explain | 47 Bundle.BDDCalc | 1 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: 10760 ms CELOE: 10003 ms EDGE: 703 ms Bundle: 570 ms BDDCalc: 12 ms explain: 521 ms init: 0 ms EM: 82 ms init: 27 ms Other: 54 ms Program client: execution successfully terminated [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.881 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.1.0:jar (default-jar) @ interfaces-ext ---[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/target/dl-learner.jar [INFO] [INFO]--- maven-install-plugin:2.4:install (default-install) @ interfaces-ext ---[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar [INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom [INFO] [INFO] -----------------------< org.dllearner:scripts >------------------------ [INFO] Building Executable scripts 1.3.1-SNAPSHOT [6/6] [INFO] --------------------------------[ jar ]--------------------------------- [INFO] [INFO]--- maven-clean-plugin:2.5:clean (default-clean) @ scripts ---[INFO] [INFO]--- maven-resources-plugin:3.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 Merge-M/branches/win/workspace/scripts/src/main/resources [INFO] [INFO]--- maven-compiler-plugin:3.7.0:compile (default-compile) @ scripts ---[INFO] Changes detected - recompiling the module! [INFO] Compiling 26 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/target/classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java uses unchecked or unsafe operations. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/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 Merge-M/branches/win/workspace/scripts/src/test/resources [INFO] [INFO]--- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ scripts ---[INFO] No sources to compile [INFO] [INFO]--- maven-surefire-plugin:2.22.0:test (default-test) @ scripts ---[INFO] No tests to run. [JENKINS] Recording test results [INFO] [INFO]--- maven-jar-plugin:3.1.0:jar (default-jar) @ scripts ---[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar [INFO] [INFO]--- maven-install-plugin:2.4:install (default-install) @ scripts ---[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.jar [INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.pom [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary: [INFO] [INFO] DL Learner Parent Pom 1.3.1-SNAPSHOT ............... SUCCESS [ 0.841 s] [INFO] DL Learner Core Components ......................... SUCCESS [02:19 min] [INFO] components-ext ..................................... SUCCESS [01:03 min] [INFO] dllearner-interfaces ............................... SUCCESS [ 53.696 s] [INFO] interfaces-ext ..................................... SUCCESS [ 21.926 s] [INFO] Executable scripts 1.3.1-SNAPSHOT .................. SUCCESS [ 1.882 s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 04:45 min [INFO] Finished at: 2019-09-13T09:25:48+02:00 [INFO] ------------------------------------------------------------------------ Waiting for Jenkins to finish collecting data [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/pom.xml to org.dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces-ext/target/dl-learner.jar to org.dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.pom [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.jar [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/pom.xml to org.dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.pom [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar to org.dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.jar [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-core/pom.xml to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.pom [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-core/target/components-core-1.3.1-SNAPSHOT.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.jar [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/components-core/target/components-core-1.3.1-SNAPSHOT-tests.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT-tests.jar [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/pom.xml to org.dllearner/dllearner-parent/1.3.1-SNAPSHOT/dllearner-parent-1.3.1-SNAPSHOT.pom [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom [JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/win/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar channel stopped [File exists] check if file exists [.git/MERGE_MODE] Run condition [Not] enabling perform for step [[Set GitHub commit status (universal)]] [Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@57b74716[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=254855,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Fri, 13 Sep 2019 07:25:57 GMT], ETag=[W/"f94b6be98a87adb9aada187409dc985e"], Last-Modified=[Wed, 11 Sep 2019 11:32:13 GMT], OkHttp-Received-Millis=[1568359557989], OkHttp-Response-Source=[NETWORK 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1568359557754], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[801A:1A715:10EAF14:148B996:5D7B4485], X-OAuth-Scopes=[admin:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4993], X-RateLimit-Reset=[1568362847], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/SmartDataAnalytics/DL-Learner,id=22693515]] (sha:422857b) with context:jenkins-merge Setting commit status on GitHub for https://github.com/SmartDataAnalytics/DL-Learner/commit/422857b313a2de397e929e1fbff9df8fc0db2077 Finished: SUCCESS