# Console Output

[INFO] [INFO] --------------------< org.dllearner:interfaces-ext >-------------------- [INFO] Building interfaces-ext 1.4.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/feature-exte.mquh5a.taheuristics/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/feature-exte.mquh5a.taheuristics/workspace/interfaces-ext/target/classes [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-exte.mquh5a.taheuristics/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/MapTypeImpl.java: Some input files use unchecked or unsafe operations. [INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-exte.mquh5a.taheuristics/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/MapTypeImpl.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/feature-exte.mquh5a.taheuristics/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/feature-exte.mquh5a.taheuristics/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/feature-exte.mquh5a.taheuristics/workspace/interfaces-ext/target/surefire-reports [INFO] [INFO] ------------------------------------------------------- [INFO] T E S T S [INFO] ------------------------------------------------------- [INFO] Running org.dllearner.cli.unife.CLILEAPTest main DL-Learner command line interface Initializing component 'ks' of type OWL File ... ... initialized component 'ks' in 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 399ms. Status: OK Initializing component 'lp' of type PosNegLPStandard ... ... initialized component 'lp' in 0ms. Status: OK Initializing component 'lpr' of type EDGE ... ... initialized component 'lpr' in 1ms. Status: OK Initializing component 'alg' of type CELOE ... ... initialized component 'alg' in 17ms. Status: OK Initializing component 'psla' of type LEAP ... ... initialized component 'psla' in 5ms. Status: OK CLI LEAP CLI LEAP Running algorithm instance "psla" (LEAP) start class:Thing more accurate (50.00%) class expression found after 29ms: Thing more accurate (83.33%) class expression found after 85ms: learnedClass more accurate (100.00%) class expression found after 87ms: father Algorithm terminated successfully (time: 10s 0ms, 6401 descriptions tested, 4961 nodes in the search tree). number of retrievals: 6600 retrieval reasoning time: 104ms ( 0ms per retrieval) number of instance checks: 31 (0 multiple) instance check reasoning time: 0ms ( 0ms per instance check) (complex) subsumption checks: 295 (0 multiple) subsumption reasoning time: 71ms ( 0ms per subsumption check) overall reasoning time: 176ms solutions: 1: father (pred. acc.: 100.00%, F-measure: 100.00%) 2: father (pred. acc.: 100.00%, F-measure: 100.00%) 3: father or (hasChild some female) (pred. acc.: 100.00%, F-measure: 100.00%) 4: father or (hasChild some father) (pred. acc.: 100.00%, F-measure: 100.00%) 5: learnedClass and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%) 6: male and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%) 7: father or (hasChild some (not (learnedClass))) (pred. acc.: 100.00%, F-measure: 100.00%) 8: father or (hasChild some (not (male))) (pred. acc.: 100.00%, F-measure: 100.00%) 9: (not (female)) and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%) 10: father or (learnedClass and (hasChild some learnedClass)) (pred. acc.: 100.00%, F-measure: 100.00%) Start greedy search Creation of the learned ontology... Successful creation of the learned ontology Ontology created in 1.0 (ms) Type of axiom to learn: equivalentClasses axioms number of axiom chunks: 10 Adding axiom: father EquivalentTo learnedClass Running parameter learner Created 10 probabilistic axiom Probability Map computed. Size: 10 Created 10 probabilistic axiom Probability Map computed. Size: 10 Start finding explanations for every example (Computing BDDs)... Query 1 of 6 (16%) Positive Example: stefan Type learnedClass Get 3 explanation(s) for: (not (learnedClass)) and ({stefan}) MUPS 1: [stefan Type male, male SubClassOf learnedClass] Removing axiom: stefan Type male 0 more removed: [] MUPS 2: [father EquivalentTo learnedClass, stefan Type father] Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male] MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father] Computed 3 explanations Restoring axiom: father EquivalentTo learnedClass Computed 3 explanations Restoring axiom: stefan Type male Computed 3 explanations WARNING! The value of the probability may be a lower bound. Query 2 of 6 (33%) Positive Example: martin Type learnedClass Get 3 explanation(s) for: (not (learnedClass)) and ({martin}) MUPS 1: [male SubClassOf learnedClass, martin Type male] Removing axiom: male SubClassOf learnedClass 0 more removed: [] MUPS 2: [father EquivalentTo learnedClass, martin Type father] Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass] Stop - satisfiable Restoring axiom: father EquivalentTo learnedClass Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass] Stop - satisfiable (early termination) Restoring axiom: martin Type father Restoring axiom: male SubClassOf learnedClass Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass] Stop - satisfiable (early termination) Restoring axiom: martin Type male Query 3 of 6 (50%) Positive Example: markus Type learnedClass Get 3 explanation(s) for: (not (learnedClass)) and ({markus}) MUPS 1: [father EquivalentTo learnedClass, markus Type father] Removing axiom: father EquivalentTo learnedClass 0 more removed: [] MUPS 2: [male SubClassOf learnedClass, markus Type male] Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass] Stop - satisfiable Restoring axiom: male SubClassOf learnedClass Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type male Restoring axiom: father EquivalentTo learnedClass Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: markus Type father Query 4 of 6 (66%) Negative Example: michelle Type not (learnedClass) Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle}) MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male] Removing axiom: father EquivalentTo learnedClass 0 more removed: [] Stop - satisfiable Restoring axiom: father EquivalentTo learnedClass Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass] Stop - satisfiable (early termination) Restoring axiom: father SubClassOf male Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male] Stop - satisfiable (early termination) Restoring axiom: michelle Type female Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male] Stop - satisfiable (early termination) Restoring axiom: female DisjointWith male Query 5 of 6 (83%) Negative Example: heinz Type not (learnedClass) Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz}) Get 3 explanation(s) for: (not (learnedClass)) and ({heinz}) MUPS 1: [male SubClassOf learnedClass, heinz Type male] Removing axiom: male SubClassOf learnedClass 0 more removed: [] Stop - satisfiable Restoring axiom: male SubClassOf learnedClass Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: heinz Type male Query 6 of 6 (100%) Negative Example: anna Type not (learnedClass) Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna}) MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female] Removing axiom: father EquivalentTo learnedClass 0 more removed: [] Stop - satisfiable Restoring axiom: father EquivalentTo learnedClass Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass] Stop - satisfiable (early termination) Restoring axiom: father SubClassOf male Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male] Stop - satisfiable (early termination) Restoring axiom: female DisjointWith male Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male] Stop - satisfiable (early termination) Restoring axiom: anna Type female Explanations founding completed (BDDs computed) Start EM Algorithm - n. of probabilistic axioms: 10 - n. of examples: 6 EM completed. Final Log-Likelihood: -0.25428 ============ Results ============ ax 1/10 : father EquivalentTo learnedClass arrayprob: 0.99660 ax 2/10 : male SubClassOf learnedClass arrayprob: 0.18941 ax 3/10 : learnedClass SubClassOf Thing arrayprob: 0.38519 ax 4/10 : father SubClassOf male arrayprob: 0.98600 ax 5/10 : female SubClassOf person arrayprob: 0.63742 ax 6/10 : hasChild Domain person arrayprob: 0.87918 ax 7/10 : male SubClassOf person arrayprob: 0.55044 ax 8/10 : female DisjointWith male arrayprob: 1.00000 ax 9/10 : person SubClassOf Thing arrayprob: 0.33322 ax 10/10 : hasChild Range person arrayprob: 0.94125 ================================= Name | Total (ms) =========================== main | 214 init | 28 Bundle | 125 Bundle.init | 0 Bundle.explain | 109 Bundle.BDDCalc | 3 EM | 49 Current Log-Likelihood: -0.25428 Log-Likelihood enhanced. Updating ontologies... Creation of the learned ontology... Successful creation of the learned ontology Ontology created in 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 | 77 init | 0 Bundle | 64 Bundle.init | 0 Bundle.explain | 59 Bundle.BDDCalc | 0 EM | 10 Current Log-Likelihood: -0.15390 Log-Likelihood enhanced. Updating ontologies... Creation of the learned ontology... Successful creation of the learned ontology Ontology created in 2.0 (ms) Adding axiom: learnedClass EquivalentTo father or (hasChild some female) Running parameter learner Created 11 probabilistic axiom Probability Map computed. Size: 11 Start finding explanations for every example (Computing BDDs)... Query 1 of 6 (16%) Positive Example: stefan Type learnedClass Get 3 explanation(s) for: (not (learnedClass)) and ({stefan}) MUPS 1: [stefan Type male, male SubClassOf learnedClass] Removing axiom: stefan Type male 0 more removed: [] MUPS 2: [father EquivalentTo learnedClass, stefan Type father] Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male] MUPS 3: [stefan Type father, learnedClass EquivalentTo father or (hasChild some female)] Computed 3 explanations Restoring axiom: father EquivalentTo learnedClass Computed 3 explanations Restoring axiom: stefan Type male Computed 3 explanations WARNING! The value of the probability may be a lower bound. Query 2 of 6 (33%) Positive Example: martin Type learnedClass Get 3 explanation(s) for: (not (learnedClass)) and ({martin}) MUPS 1: [male SubClassOf learnedClass, martin Type male] Removing axiom: male SubClassOf learnedClass 0 more removed: [] MUPS 2: [father EquivalentTo learnedClass, martin Type father] Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass] MUPS 3: [learnedClass EquivalentTo father or (hasChild some female), martin Type father] Computed 3 explanations Restoring axiom: father EquivalentTo learnedClass Computed 3 explanations Restoring axiom: male SubClassOf learnedClass Computed 3 explanations WARNING! The value of the probability may be a lower bound. Query 3 of 6 (50%) Positive Example: markus Type learnedClass Get 3 explanation(s) for: (not (learnedClass)) and ({markus}) MUPS 1: [father EquivalentTo learnedClass, markus Type father] Removing axiom: father EquivalentTo learnedClass 0 more removed: [] MUPS 2: [learnedClass EquivalentTo father or (hasChild some female), markus Type father] Removing axiom: markus Type father 1 more removed: [father EquivalentTo learnedClass] MUPS 3: [male SubClassOf learnedClass, markus Type male] Computed 3 explanations Restoring axiom: markus Type father Computed 3 explanations Restoring axiom: father EquivalentTo learnedClass Computed 3 explanations WARNING! The value of the probability may be a lower bound. Query 4 of 6 (66%) Negative Example: michelle Type not (learnedClass) Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle}) MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male] Removing axiom: father EquivalentTo learnedClass 0 more removed: [] Stop - satisfiable Restoring axiom: father EquivalentTo learnedClass Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass] Stop - satisfiable (early termination) Restoring axiom: father SubClassOf male Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male] Stop - satisfiable (early termination) Restoring axiom: michelle Type female Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male] Stop - satisfiable (early termination) Restoring axiom: female DisjointWith male Query 5 of 6 (83%) Negative Example: heinz Type not (learnedClass) Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz}) Get 3 explanation(s) for: (not (learnedClass)) and ({heinz}) MUPS 1: [male SubClassOf learnedClass, heinz Type male] Removing axiom: male SubClassOf learnedClass 0 more removed: [] Stop - satisfiable Restoring axiom: male SubClassOf learnedClass Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass] Stop - satisfiable (early termination) Restoring axiom: heinz Type male Query 6 of 6 (100%) Negative Example: anna Type not (learnedClass) Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna}) MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female] Removing axiom: father EquivalentTo learnedClass 0 more removed: [] Stop - satisfiable Restoring axiom: father EquivalentTo learnedClass Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass] Stop - satisfiable (early termination) Restoring axiom: father SubClassOf male Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male] Stop - satisfiable (early termination) Restoring axiom: female DisjointWith male Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male] Stop - satisfiable (early termination) Restoring axiom: anna Type female Explanations founding completed (BDDs computed) Start EM Algorithm - n. of probabilistic axioms: 11 - n. of examples: 6 EM completed. Final Log-Likelihood: -0.15384 ============ Results ============ ax 1/11 : father EquivalentTo learnedClass arrayprob: 0.99440 ax 2/11 : male SubClassOf learnedClass arrayprob: 0.12300 ax 3/11 : learnedClass SubClassOf Thing arrayprob: 0.98484 ax 4/11 : father SubClassOf male arrayprob: 1.00000 ax 5/11 : female SubClassOf person arrayprob: 0.55044 ax 6/11 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.29779 ax 7/11 : hasChild Domain person arrayprob: 0.94125 ax 8/11 : male SubClassOf person arrayprob: 0.59755 ax 9/11 : female DisjointWith male arrayprob: 1.00000 ax 10/11 : person SubClassOf Thing arrayprob: 0.38519 ax 11/11 : hasChild Range person arrayprob: 0.27495 ================================= Name | Total (ms) =========================== main | 80 init | 0 Bundle | 71 Bundle.init | 1 Bundle.explain | 63 Bundle.BDDCalc | 1 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 2.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 | 79 init | 1 Bundle | 71 Bundle.init | 0 Bundle.explain | 65 Bundle.BDDCalc | 2 EM | 7 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 | 71 init | 1 Bundle | 63 Bundle.init | 0 Bundle.explain | 56 Bundle.BDDCalc | 1 EM | 6 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 | 110 init | 0 Bundle | 87 Bundle.init | 0 Bundle.explain | 82 Bundle.BDDCalc | 1 EM | 21 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 | 115 init | 1 Bundle | 105 Bundle.init | 0 Bundle.explain | 98 Bundle.BDDCalc | 1 EM | 8 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 | 88 init | 1 Bundle | 80 Bundle.init | 0 Bundle.explain | 73 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 | 84 init | 1 Bundle | 79 Bundle.init | 0 Bundle.explain | 70 Bundle.BDDCalc | 0 EM | 4 Current Log-Likelihood: -0.18589 Log-Likelihood worsened. Removing Last Axioms... Greedy search finished Learned Axiom: father EquivalentTo learnedClass Learned Axiom: father EquivalentTo learnedClass Learned Axiom: learnedClass EquivalentTo father or (hasChild some female) Saving the learned ontology Main: 10991 ms CELOE: 10003 ms EDGE: 918 ms Bundle: 745 ms BDDCalc: 10 ms explain: 675 ms init: 1 ms EM: 116 ms init: 33 ms Other: 70 ms Program client: execution successfully terminated [INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.518 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/feature-exte.mquh5a.taheuristics/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/feature-exte.mquh5a.taheuristics/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.jar [INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/feature-exte.mquh5a.taheuristics/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.pom [INFO] ------------------------------------------------------------------------ [INFO] Reactor Summary: [INFO] [INFO] DL Learner Parent Pom 1.4.1-SNAPSHOT ............... SUCCESS [ 0.951 s] [INFO] DL Learner Core Components ......................... SUCCESS [02:30 min] [INFO] components-ext ..................................... SUCCESS [01:03 min] [INFO] dllearner-interfaces ............................... SUCCESS [ 56.915 s] [INFO] interfaces-ext ..................................... SUCCESS [ 22.021 s] [INFO] Executable scripts 1.4.1-SNAPSHOT .................. SUCCESS [ 1.900 s] [INFO] ------------------------------------------------------------------------ [INFO] BUILD SUCCESS [INFO] ------------------------------------------------------------------------ [INFO] Total time: 05:01 min [INFO] Finished at: 2020-10-08T18:57:53+02:00 [INFO] ------------------------------------------------------------------------ Waiting for Jenkins to finish collecting data