[INFO]
[INFO] --------------------< org.dllearner:interfaces-ext >--------------------
[INFO] Building interfaces-ext 1.3.1-SNAPSHOT [5/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces-ext ---
[INFO]
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces-ext ---
[INFO]
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces-ext ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/src/main/javacc
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:resources (default-resources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 391 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 73 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/QualifierDocumentImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/QualifierDocumentImpl.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.0.2:testResources (default-testResources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/src/test/resources
[INFO]
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.20.1:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/surefire-reports
[INFO]
[INFO] -------------------------------------------------------
[INFO] T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.unife.CLILEAPTest
main
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/slf4j/slf4j-log4j12/1.7.26/slf4j-log4j12-1.7.26.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/apache/logging/log4j/log4j-slf4j-impl/2.12.0/log4j-slf4j-impl-2.12.0.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory]
DL-Learner command line interface
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 1ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
...TBox materialised in 46 ms.
... initialized component 'reasoner' in 389ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'lpr' of type EDGE ...
... initialized component 'lpr' in 0ms. Status: OK
Initializing component 'alg' of type CELOE ...
... initialized component 'alg' in 19ms. Status: OK
Initializing component 'psla' of type LEAP ...
... initialized component 'psla' in 5ms. Status: OK
CLI LEAP
CLI LEAP
Running algorithm instance "psla" (LEAP)
start class:Thing
more accurate (50.00%) class expression found after 29ms: Thing
more accurate (83.33%) class expression found after 79ms: learnedClass
more accurate (100.00%) class expression found after 80ms: father
Algorithm terminated successfully (time: 10s 3ms, 6555 descriptions tested, 4868 nodes in the search tree).
number of retrievals: 6751
retrieval reasoning time: 87ms ( 0ms per retrieval)
number of instance checks: 27 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 292 (0 multiple)
subsumption reasoning time: 54ms ( 0ms per subsumption check)
overall reasoning time: 141ms
solutions:
1: father (pred. acc.: 100.00%, F-measure: 100.00%)
2: father (pred. acc.: 100.00%, F-measure: 100.00%)
3: father (pred. acc.: 100.00%, F-measure: 100.00%)
4: father or (hasChild some female) (pred. acc.: 100.00%, F-measure: 100.00%)
5: father or (hasChild some father) (pred. acc.: 100.00%, F-measure: 100.00%)
6: learnedClass and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
7: male and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
8: father and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
9: father or (hasChild some (not (male))) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (not (female)) and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
Start greedy search
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Type of axiom to learn: equivalentClasses axioms
number of axiom chunks: 10
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.25428
============ Results ============
ax 1/10 : father EquivalentTo learnedClass arrayprob: 0.99660
ax 2/10 : male SubClassOf learnedClass arrayprob: 0.18941
ax 3/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 4/10 : father SubClassOf male arrayprob: 0.98600
ax 5/10 : female SubClassOf person arrayprob: 0.63742
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 168
init | 23
Bundle | 97
Bundle.init | 0
Bundle.explain | 86
Bundle.BDDCalc | 1
EM | 34
Current Log-Likelihood: -0.25428
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 2.0 (ms)
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [father EquivalentTo learnedClass, stefan Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.15390
============ Results ============
ax 1/10 : father EquivalentTo learnedClass arrayprob: 0.99848
ax 2/10 : male SubClassOf learnedClass arrayprob: 0.11937
ax 3/10 : learnedClass SubClassOf Thing arrayprob: 0.98484
ax 4/10 : father SubClassOf male arrayprob: 0.99066
ax 5/10 : female SubClassOf person arrayprob: 0.55044
ax 6/10 : hasChild Domain person arrayprob: 0.94125
ax 7/10 : male SubClassOf person arrayprob: 0.59755
ax 8/10 : female DisjointWith male arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing arrayprob: 0.38519
ax 10/10 : hasChild Range person arrayprob: 0.27495
=================================
Name | Total (ms)
===========================
main | 71
init | 1
Bundle | 60
Bundle.init | 0
Bundle.explain | 53
Bundle.BDDCalc | 1
EM | 9
Current Log-Likelihood: -0.15390
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.15390
============ Results ============
ax 1/10 : father EquivalentTo learnedClass arrayprob: 0.99848
ax 2/10 : male SubClassOf learnedClass arrayprob: 0.11937
ax 3/10 : learnedClass SubClassOf Thing arrayprob: 0.98484
ax 4/10 : father SubClassOf male arrayprob: 0.99066
ax 5/10 : female SubClassOf person arrayprob: 0.55044
ax 6/10 : hasChild Domain person arrayprob: 0.94125
ax 7/10 : male SubClassOf person arrayprob: 0.59755
ax 8/10 : female DisjointWith male arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing arrayprob: 0.38519
ax 10/10 : hasChild Range person arrayprob: 0.27495
=================================
Name | Total (ms)
===========================
main | 59
init | 0
Bundle | 51
Bundle.init | 0
Bundle.explain | 47
Bundle.BDDCalc | 1
EM | 6
Current Log-Likelihood: -0.15390
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some female)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [stefan Type father, learnedClass EquivalentTo father or (hasChild some female)]
Removing axiom: stefan Type father 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.26581
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24054
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : learnedClass EquivalentTo father or (hasChild some female) arrayprob: 0.98722
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 50
init | 0
Bundle | 46
Bundle.init | 0
Bundle.explain | 37
Bundle.BDDCalc | 1
EM | 4
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some father)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some father), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some father), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some father), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.26581
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some father) arrayprob: 0.98722
ax 5/10 : female SubClassOf person arrayprob: 0.63742
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 44
init | 1
Bundle | 37
Bundle.init | 0
Bundle.explain | 33
Bundle.BDDCalc | 0
EM | 4
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo learnedClass and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: father SubClassOf male 2 more removed: [stefan Type male, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: stefan Type father 3 more removed: [stefan Type male, male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: stefan Type male
Removing axiom: male SubClassOf learnedClass 2 more removed: [male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -2.24933
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.75000
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24053
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.87918
ax 6/10 : male SubClassOf person arrayprob: 0.55044
ax 7/10 : female DisjointWith male arrayprob: 0.98484
ax 8/10 : person SubClassOf Thing arrayprob: 0.33322
ax 9/10 : hasChild Range person arrayprob: 0.94125
ax 10/10 : learnedClass EquivalentTo learnedClass and (hasChild some person) arrayprob: 0.73097
=================================
Name | Total (ms)
===========================
main | 38
init | 0
Bundle | 35
Bundle.init | 0
Bundle.explain | 30
Bundle.BDDCalc | 0
EM | 1
Current Log-Likelihood: -2.24933
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo male and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, stefan hasChild markus, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [martin Type male, martin hasChild heinz, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, martin hasChild heinz, hasChild Range person, martin Type father, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: martin Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, markus Type male, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, markus Type father, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, female DisjointWith male, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [female DisjointWith male, anna Type female, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.86074
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.36175
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.51527
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.96895
ax 6/10 : male SubClassOf person arrayprob: 0.55044
ax 7/10 : female DisjointWith male arrayprob: 1.00000
ax 8/10 : person SubClassOf Thing arrayprob: 0.33322
ax 9/10 : hasChild Range person arrayprob: 0.99626
ax 10/10 : learnedClass EquivalentTo male and (hasChild some person) arrayprob: 0.99444
=================================
Name | Total (ms)
===========================
main | 67
init | 1
Bundle | 55
Bundle.init | 0
Bundle.explain | 51
Bundle.BDDCalc | 2
EM | 9
Current Log-Likelihood: -0.86074
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, hasChild Domain person, stefan Type father, learnedClass EquivalentTo father and (hasChild some person), stefan hasChild markus]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father and (hasChild some person), martin hasChild heinz, hasChild Range person, martin Type father]
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: martin hasChild heinz 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Removing axiom: martin Type father 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo father and (hasChild some person), markus Type father, hasChild Range person]
Removing axiom: markus hasChild anna 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: markus hasChild anna
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father SubClassOf male, michelle Type female, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person), anna Type female]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: anna Type female 3 more removed: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.27340
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.19924
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.98677
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.99465
ax 6/10 : male SubClassOf person arrayprob: 0.55044
ax 7/10 : female DisjointWith male arrayprob: 1.00000
ax 8/10 : learnedClass EquivalentTo father and (hasChild some person) arrayprob: 0.99653
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.99751
=================================
Name | Total (ms)
===========================
main | 60
init | 1
Bundle | 51
Bundle.init | 1
Bundle.explain | 49
Bundle.BDDCalc | 0
EM | 5
Current Log-Likelihood: -0.27340
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some (not (male))), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some (not (male))), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some (not (male))), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.26581
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some (not (male))) arrayprob: 0.98722
ax 5/10 : female SubClassOf person arrayprob: 0.63742
ax 6/10 : hasChild Domain person arrayprob: 0.87918
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.94125
=================================
Name | Total (ms)
===========================
main | 35
init | 0
Bundle | 32
Bundle.init | 0
Bundle.explain | 27
Bundle.BDDCalc | 1
EM | 3
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, stefan hasChild markus]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [martin Type male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person, martin Type father]
Computed 3 explanations
Restoring axiom: martin Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type male, hasChild Range person]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type father, hasChild Range person]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [learnedClass EquivalentTo (not (female)) and (hasChild some person), anna Type female]
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Removing axiom: anna Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
- n. of probabilistic axioms: 10
- n. of examples: 6
EM completed.
Final Log-Likelihood: -0.87160
============ Results ============
ax 1/10 : male SubClassOf learnedClass arrayprob: 0.36573
ax 2/10 : learnedClass SubClassOf Thing arrayprob: 0.38519
ax 3/10 : father SubClassOf male arrayprob: 0.51105
ax 4/10 : female SubClassOf person arrayprob: 0.63742
ax 5/10 : hasChild Domain person arrayprob: 0.96812
ax 6/10 : learnedClass EquivalentTo (not (female)) and (hasChild some person) arrayprob: 0.99432
ax 7/10 : male SubClassOf person arrayprob: 0.55044
ax 8/10 : female DisjointWith male arrayprob: 0.99839
ax 9/10 : person SubClassOf Thing arrayprob: 0.33322
ax 10/10 : hasChild Range person arrayprob: 0.99614
=================================
Name | Total (ms)
===========================
main | 59
init | 0
Bundle | 51
Bundle.init | 0
Bundle.explain | 46
Bundle.BDDCalc | 1
EM | 8
Current Log-Likelihood: -0.87160
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: father EquivalentTo learnedClass
Saving the learned ontology
Main: 10707 ms
CELOE: 10005 ms
EDGE: 651 ms
Bundle: 515 ms
BDDCalc: 8 ms
explain: 459 ms
init: 1 ms
EM: 83 ms
init: 27 ms
Other: 51 ms
Program client: execution successfully terminated
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.803 s - in org.dllearner.cli.unife.CLILEAPTest
[INFO]
[INFO] Results:
[INFO]
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0
[INFO]
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ interfaces-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/dl-learner.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces-ext ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/generic-framework/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] DL Learner Parent Pom 1.3.1-SNAPSHOT ............... SUCCESS [ 0.540 s]
[INFO] DL Learner Core Components ......................... SUCCESS [02:09 min]
[INFO] components-ext ..................................... SUCCESS [ 59.357 s]
[INFO] dllearner-interfaces ............................... SUCCESS [ 51.955 s]
[INFO] interfaces-ext ..................................... SUCCESS [ 19.722 s]
[INFO] Executable scripts 1.3.1-SNAPSHOT .................. SUCCESS [ 1.371 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 04:26 min
[INFO] Finished at: 2019-07-30T15:44:07+02:00
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
![[Jenkins]](/jenkins/static/33c50748/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output