44
INFO (BundleUtilities.java:273) - male and (hasChild some person) SubClassOf learnedClass => 1.0
male and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female or (hasChild some person) SubClassOf learnedClass => 1.0
female or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
(not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - hasChild some person SubClassOf learnedClass => 1.0
hasChild some person SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female DisjointWith male => 0.33322
female DisjointWith male => 0.33322
INFO (BundleUtilities.java:273) - anna Type female => 0.38569
anna Type female => 0.38569
INFO (BundleUtilities.java:273) - heinz Type male => 0.98516
heinz Type male => 0.98516
INFO (BundleUtilities.java:273) - markus Type father => 0.87921
markus Type father => 0.87921
INFO (BundleUtilities.java:273) - markus Type male => 0.94144
markus Type male => 0.94144
INFO (BundleUtilities.java:273) - martin Type father => 0.27495
martin Type father => 0.27495
INFO (BundleUtilities.java:273) - martin Type male => 0.12889
martin Type male => 0.12889
INFO (BundleUtilities.java:273) - michelle Type female => 0.1466
michelle Type female => 0.1466
INFO (BundleUtilities.java:273) - stefan Type father => 0.02324
stefan Type father => 0.02324
INFO (BundleUtilities.java:273) - stefan Type male => 0.54674
stefan Type male => 0.54674
INFO (BundleUtilities.java:273) - anna hasChild heinz => 0.96526
anna hasChild heinz => 0.96526
INFO (BundleUtilities.java:273) - markus hasChild anna => 0.99842
markus hasChild anna => 0.99842
INFO (BundleUtilities.java:273) - martin hasChild heinz => 1.0
martin hasChild heinz => 1.0
INFO (BundleUtilities.java:273) - stefan hasChild markus => 1.0
stefan hasChild markus => 1.0
INFO (BundleUtilities.java:273) - hasChild Domain person => 0.77952
hasChild Domain person => 0.77952
INFO (BundleUtilities.java:273) - hasChild Range person => 0.99945
hasChild Range person => 0.99945
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 24
Probability Map computed. Size: 24
DEBUG (EDGE.java:148) - Initialization completed
Initialization completed
INFO (EDGE.java:198) - Start finding explanations for every example (Computing BDDs)...
Start finding explanations for every example (Computing BDDs)...
INFO (EDGE.java:203) - Query 1 of 4 (25%)
Query 1 of 4 (25%)
DEBUG (EDGE.java:205) - Positive Example: stefan Type learnedClass
Positive Example: stefan Type learnedClass
Garbage collection #1: 101 nodes / 54 free / 0.001s / 0.001s total
Garbage collection #2: 101 nodes / 46 free / 0.0s / 0.001s total
Garbage collection #3: 101 nodes / 44 free / 0.001s / 0.002s total
Garbage collection #4: 101 nodes / 40 free / 0.0s / 0.002s total
Garbage collection #5: 101 nodes / 46 free / 0.0s / 0.002s total
Garbage collection #6: 101 nodes / 38 free / 0.0s / 0.002s total
INFO (EDGE.java:203) - Query 2 of 4 (50%)
Query 2 of 4 (50%)
DEBUG (EDGE.java:205) - Positive Example: martin Type learnedClass
Positive Example: martin Type learnedClass
Garbage collection #7: 101 nodes / 33 free / 0.0s / 0.002s total
Garbage collection #8: 101 nodes / 37 free / 0.0s / 0.002s total
INFO (EDGE.java:203) - Query 3 of 4 (75%)
Query 3 of 4 (75%)
DEBUG (EDGE.java:205) - Positive Example: markus Type learnedClass
Positive Example: markus Type learnedClass
Garbage collection #9: 101 nodes / 37 free / 0.0s / 0.002s total
Garbage collection #10: 101 nodes / 24 free / 0.0s / 0.002s total
Garbage collection #11: 101 nodes / 15 free / 0.0s / 0.002s total
Resizing node table from 101 to 199
Garbage collection #12: 199 nodes / 110 free / 0.0s / 0.002s total
INFO (EDGE.java:258) - Query 4 of 4 (100%)
Query 4 of 4 (100%)
DEBUG (EDGE.java:260) - Negative Example: heinz Type not (learnedClass)
Negative Example: heinz Type not (learnedClass)
DEBUG (EDGE.java:293) - Trying the second method...
Trying the second method...
INFO (EDGE.java:334) - Explanations founding completed (BDDs computed)
Explanations founding completed (BDDs computed)
INFO (EDGE.java:889) - Start EM Algorithm
Start EM Algorithm
INFO (EDGE.java:889) - - n. of probabilistic axioms: 24
- n. of probabilistic axioms: 24
INFO (EDGE.java:889) - - n. of examples: 4
- n. of examples: 4
DEBUG (EDGE.java:907) - EM cycle: 0
EM cycle: 0
DEBUG (EDGE.java:937) - EM cycle: 1
EM cycle: 1
DEBUG (EDGE.java:948) - etas after 1th expectation: [ [0.87111, 0.12889][0.00158, 1.99842][0.0, 0.0][0.0, 3.0][0.01483, 0.98517][0.97676, 0.02324][0.0, 0.0][0.0, 1.0][0.24158, 1.75842][0.6143, 0.3857][0.03473, 0.96527][0.0, 3.0][0.45326, 0.54674][0.80673, 2.19327][0.75895, 0.24105][0.0, 3.0][0.44084, 1.55916][0.0, 3.0][0.71356, 1.28644][0.0, 1.0][0.0, 0.0][0.11711, 1.88289][0.72505, 0.27495][0.00129, 2.99871]]
etas after 1th expectation: [ [0.87111, 0.12889][0.00158, 1.99842][0.0, 0.0][0.0, 3.0][0.01483, 0.98517][0.97676, 0.02324][0.0, 0.0][0.0, 1.0][0.24158, 1.75842][0.6143, 0.3857][0.03473, 0.96527][0.0, 3.0][0.45326, 0.54674][0.80673, 2.19327][0.75895, 0.24105][0.0, 3.0][0.44084, 1.55916][0.0, 3.0][0.71356, 1.28644][0.0, 1.0][0.0, 0.0][0.11711, 1.88289][0.72505, 0.27495][0.00129, 2.99871]]
DEBUG (EDGE.java:963) - Log-likelihood: -0.00194 cycle: 1
Log-likelihood: -0.00194 cycle: 1
DEBUG (EDGE.java:937) - EM cycle: 2
EM cycle: 2
DEBUG (EDGE.java:948) - etas after 2th expectation: [ [1.74222, 0.25778][0.00237, 3.99763][0.0, 0.0][0.0, 6.00001][0.02965, 1.97035][1.95352, 0.04648][0.0, 0.0][0.0, 2.0][0.48316, 3.51685][1.2286, 0.77141][0.06945, 1.93056][0.0, 6.0][0.90652, 1.09348][1.61346, 4.38655][1.5179, 0.48211][0.0, 6.00001][0.88159, 3.11841][0.0, 6.00001][1.427, 2.573][0.0, 2.0][0.0, 0.0][0.2342, 3.76581][1.4501, 0.5499][0.00228, 5.99772]]
etas after 2th expectation: [ [1.74222, 0.25778][0.00237, 3.99763][0.0, 0.0][0.0, 6.00001][0.02965, 1.97035][1.95352, 0.04648][0.0, 0.0][0.0, 2.0][0.48316, 3.51685][1.2286, 0.77141][0.06945, 1.93056][0.0, 6.0][0.90652, 1.09348][1.61346, 4.38655][1.5179, 0.48211][0.0, 6.00001][0.88159, 3.11841][0.0, 6.00001][1.427, 2.573][0.0, 2.0][0.0, 0.0][0.2342, 3.76581][1.4501, 0.5499][0.00228, 5.99772]]
DEBUG (EDGE.java:963) - Log-likelihood: -0.00109 cycle: 2
Log-likelihood: -0.00109 cycle: 2
DEBUG (EDGE.java:937) - EM cycle: 3
EM cycle: 3
DEBUG (EDGE.java:948) - etas after 3th expectation: [ [2.61333, 0.38667][0.00296, 5.99704][0.0, 0.0][0.0, 9.00002][0.04446, 2.95554][2.93028, 0.06972][0.0, 0.0][0.0, 3.0][0.72474, 5.27528][1.8429, 1.15712][0.10416, 2.89586][0.0, 9.0][1.35978, 1.64022][2.42019, 6.57983][2.27685, 0.72317][0.0, 9.00002][1.32232, 4.67769][0.0, 9.00002][2.14039, 3.85961][0.0, 3.0][0.0, 0.0][0.3513, 5.64872][2.17515, 0.82485][0.00316, 8.99684]]
etas after 3th expectation: [ [2.61333, 0.38667][0.00296, 5.99704][0.0, 0.0][0.0, 9.00002][0.04446, 2.95554][2.93028, 0.06972][0.0, 0.0][0.0, 3.0][0.72474, 5.27528][1.8429, 1.15712][0.10416, 2.89586][0.0, 9.0][1.35978, 1.64022][2.42019, 6.57983][2.27685, 0.72317][0.0, 9.00002][1.32232, 4.67769][0.0, 9.00002][2.14039, 3.85961][0.0, 3.0][0.0, 0.0][0.3513, 5.64872][2.17515, 0.82485][0.00316, 8.99684]]
DEBUG (EDGE.java:963) - Log-likelihood: -8.4E-4 cycle: 3
Log-likelihood: -8.4E-4 cycle: 3
INFO (EDGE.java:974) - EM completed.
EM completed.
INFO (EDGE.java:975) -
INFO (EDGE.java:975) - Final Log-Likelihood: -8.4E-4
Final Log-Likelihood: -8.4E-4
INFO (EDGE.java:791) -
INFO (EDGE.java:792) - ============ Results ============
============ Results ============
INFO (EDGE.java:793) -
INFO (EDGE.java:800) - ax 1/24 : martin Type male arrayprob: 0.12889
ax 1/24 : martin Type male arrayprob: 0.12889
INFO (EDGE.java:800) - ax 2/24 : markus hasChild anna arrayprob: 0.99951
ax 2/24 : markus hasChild anna arrayprob: 0.99951
INFO (EDGE.java:800) - ax 3/24 : michelle Type female arrayprob: 0.1466
ax 3/24 : michelle Type female arrayprob: 0.1466
INFO (EDGE.java:800) - ax 4/24 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 4/24 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 5/24 : heinz Type male arrayprob: 0.98518
ax 5/24 : heinz Type male arrayprob: 0.98518
INFO (EDGE.java:800) - ax 6/24 : stefan Type father arrayprob: 0.02324
ax 6/24 : stefan Type father arrayprob: 0.02324
INFO (EDGE.java:800) - ax 7/24 : female DisjointWith male arrayprob: 0.33322
ax 7/24 : female DisjointWith male arrayprob: 0.33322
INFO (EDGE.java:800) - ax 8/24 : martin hasChild heinz arrayprob: 1.0
ax 8/24 : martin hasChild heinz arrayprob: 1.0
INFO (EDGE.java:800) - ax 9/24 : markus Type father arrayprob: 0.87921
ax 9/24 : markus Type father arrayprob: 0.87921
INFO (EDGE.java:800) - ax 10/24 : anna Type female arrayprob: 0.3857
ax 10/24 : anna Type female arrayprob: 0.3857
INFO (EDGE.java:800) - ax 11/24 : anna hasChild heinz arrayprob: 0.96528
ax 11/24 : anna hasChild heinz arrayprob: 0.96528
INFO (EDGE.java:800) - ax 12/24 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
ax 12/24 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 13/24 : stefan Type male arrayprob: 0.54674
ax 13/24 : stefan Type male arrayprob: 0.54674
INFO (EDGE.java:800) - ax 14/24 : father SubClassOf male arrayprob: 0.73109
ax 14/24 : father SubClassOf male arrayprob: 0.73109
INFO (EDGE.java:800) - ax 15/24 : female SubClassOf person arrayprob: 0.24106
ax 15/24 : female SubClassOf person arrayprob: 0.24106
INFO (EDGE.java:800) - ax 16/24 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 16/24 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 17/24 : hasChild Domain person arrayprob: 0.77961
ax 17/24 : hasChild Domain person arrayprob: 0.77961
INFO (EDGE.java:800) - ax 18/24 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 18/24 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 19/24 : male SubClassOf person arrayprob: 0.64327
ax 19/24 : male SubClassOf person arrayprob: 0.64327
INFO (EDGE.java:800) - ax 20/24 : stefan hasChild markus arrayprob: 1.0
ax 20/24 : stefan hasChild markus arrayprob: 1.0
INFO (EDGE.java:800) - ax 21/24 : person SubClassOf Thing arrayprob: 0.55044
ax 21/24 : person SubClassOf Thing arrayprob: 0.55044
INFO (EDGE.java:800) - ax 22/24 : markus Type male arrayprob: 0.94145
ax 22/24 : markus Type male arrayprob: 0.94145
INFO (EDGE.java:800) - ax 23/24 : martin Type father arrayprob: 0.27495
ax 23/24 : martin Type father arrayprob: 0.27495
INFO (EDGE.java:800) - ax 24/24 : hasChild Range person arrayprob: 0.99965
ax 24/24 : hasChild Range person arrayprob: 0.99965
INFO (EDGE.java:803) -
INFO (EDGE.java:804) - =================================
=================================
INFO (EDGE.java:818) -
INFO (EDGE.java:821) - Name | Total (ms)
Name | Total (ms)
INFO (EDGE.java:821) - ========================================
========================================
INFO (EDGE.java:821) - main | 909
main | 909
INFO (EDGE.java:821) - init | 12
init | 12
INFO (EDGE.java:821) - Bundle | 882
Bundle | 882
INFO (EDGE.java:821) - Bundle.init | 0
Bundle.init | 0
INFO (EDGE.java:821) - Bundle.explain | 872
Bundle.explain | 872
INFO (EDGE.java:821) - Bundle.BDDCalc | 6
Bundle.BDDCalc | 6
INFO (EDGE.java:821) - EM | 7
EM | 7
INFO (EDGE.java:821) - EM.Init | 0
EM.Init | 0
INFO (EDGE.java:821) - EM.Expectation | 3
EM.Expectation | 3
INFO (EDGE.java:821) - EM.Maximization | 0
EM.Maximization | 0
INFO (EDGE.java:821) - EM.Expectation.Forward | 0
EM.Expectation.Forward | 0
INFO (EDGE.java:821) - EM.Expectation.Backward | 1
EM.Expectation.Backward | 1
INFO (EDGE.java:821) - EM.Expectation.Backward.1 | 1
EM.Expectation.Backward.1 | 1
INFO (EDGE.java:821) - EM.Expectation.Backward.1.1 | 1
EM.Expectation.Backward.1.1 | 1
INFO (EDGE.java:821) - EM.Expectation.Backward.1.2 | 0
EM.Expectation.Backward.1.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.2 | 0
EM.Expectation.Backward.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.3 | 0
EM.Expectation.Backward.3 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.4 | 0
EM.Expectation.Backward.4 | 0
Current Log-Likelihood: -8.4E-4
Log-Likelihood enhanced. Updating ontologies...
Updating ontology
INFO (EDGE.java:366) - Creation of the learned ontology...
Creation of the learned ontology...
INFO (EDGE.java:461) - Successful creation of the learned ontology
Successful creation of the learned ontology
INFO (EDGE.java:462) - Ontology created in 2.0 (ms)
Ontology created in 2.0 (ms)
Ontology Updated
Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass
Running parameter learner
DEBUG (EDGE.java:146) - EDGE has not been initialized. Starting initialization...
EDGE has not been initialized. Starting initialization...
DEBUG (EDGE.java:826) - Initializing...
Initializing...
DEBUG (EDGE.java:477) - Preparing Probability map...
Preparing Probability map...
DEBUG (BundleUtilities.java:226) - Preparing Probability Map...
Preparing Probability Map...
INFO (BundleUtilities.java:273) - father SubClassOf male => 0.73109
father SubClassOf male => 0.73109
INFO (BundleUtilities.java:273) - female SubClassOf person => 0.24106
female SubClassOf person => 0.24106
INFO (BundleUtilities.java:273) - male SubClassOf person => 0.64327
male SubClassOf person => 0.64327
INFO (BundleUtilities.java:273) - person SubClassOf Thing => 0.55044
person SubClassOf Thing => 0.55044
INFO (BundleUtilities.java:273) - male and (hasChild some person) SubClassOf learnedClass => 1.0
male and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
(not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female or (hasChild some person) SubClassOf learnedClass => 1.0
female or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
(not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - hasChild some person SubClassOf learnedClass => 1.0
hasChild some person SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female DisjointWith male => 0.33322
female DisjointWith male => 0.33322
INFO (BundleUtilities.java:273) - anna Type female => 0.3857
anna Type female => 0.3857
INFO (BundleUtilities.java:273) - heinz Type male => 0.98518
heinz Type male => 0.98518
INFO (BundleUtilities.java:273) - markus Type father => 0.87921
markus Type father => 0.87921
INFO (BundleUtilities.java:273) - markus Type male => 0.94145
markus Type male => 0.94145
INFO (BundleUtilities.java:273) - martin Type father => 0.27495
martin Type father => 0.27495
INFO (BundleUtilities.java:273) - martin Type male => 0.12889
martin Type male => 0.12889
INFO (BundleUtilities.java:273) - michelle Type female => 0.1466
michelle Type female => 0.1466
INFO (BundleUtilities.java:273) - stefan Type father => 0.02324
stefan Type father => 0.02324
INFO (BundleUtilities.java:273) - stefan Type male => 0.54674
stefan Type male => 0.54674
INFO (BundleUtilities.java:273) - anna hasChild heinz => 0.96528
anna hasChild heinz => 0.96528
INFO (BundleUtilities.java:273) - markus hasChild anna => 0.99951
markus hasChild anna => 0.99951
INFO (BundleUtilities.java:273) - martin hasChild heinz => 1.0
martin hasChild heinz => 1.0
INFO (BundleUtilities.java:273) - stefan hasChild markus => 1.0
stefan hasChild markus => 1.0
INFO (BundleUtilities.java:273) - hasChild Domain person => 0.77961
hasChild Domain person => 0.77961
INFO (BundleUtilities.java:273) - hasChild Range person => 0.99965
hasChild Range person => 0.99965
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 25
Probability Map computed. Size: 25
DEBUG (EDGE.java:148) - Initialization completed
Initialization completed
INFO (EDGE.java:198) - Start finding explanations for every example (Computing BDDs)...
Start finding explanations for every example (Computing BDDs)...
INFO (EDGE.java:203) - Query 1 of 4 (25%)
Query 1 of 4 (25%)
DEBUG (EDGE.java:205) - Positive Example: stefan Type learnedClass
Positive Example: stefan Type learnedClass
Apr 20, 2017 2:10:23 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:24 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #1: 101 nodes / 47 free / 0.0s / 0.0s total
Garbage collection #2: 101 nodes / 45 free / 0.0s / 0.0s total
Garbage collection #3: 101 nodes / 28 free / 0.0s / 0.0s total
Garbage collection #4: 101 nodes / 3 free / 0.0s / 0.0s total
Resizing node table from 101 to 199
Garbage collection #5: 199 nodes / 107 free / 0.0s / 0.0s total
Garbage collection #6: 199 nodes / 99 free / 0.0s / 0.0s total
Garbage collection #7: 199 nodes / 117 free / 0.0s / 0.0s total
Garbage collection #8: 199 nodes / 115 free / 0.0s / 0.0s total
Garbage collection #9: 199 nodes / 84 free / 0.004s / 0.004s total
INFO (EDGE.java:203) - Query 2 of 4 (50%)
Query 2 of 4 (50%)
DEBUG (EDGE.java:205) - Positive Example: martin Type learnedClass
Positive Example: martin Type learnedClass
Garbage collection #10: 199 nodes / 95 free / 0.001s / 0.005s total
Garbage collection #11: 199 nodes / 72 free / 0.0s / 0.005s total
Garbage collection #12: 199 nodes / 62 free / 0.0s / 0.005s total
Garbage collection #13: 199 nodes / 59 free / 0.0s / 0.005s total
INFO (EDGE.java:203) - Query 3 of 4 (75%)
Query 3 of 4 (75%)
DEBUG (EDGE.java:205) - Positive Example: markus Type learnedClass
Positive Example: markus Type learnedClass
Garbage collection #14: 199 nodes / 57 free / 0.001s / 0.006s total
Garbage collection #15: 199 nodes / 42 free / 0.0s / 0.006s total
Garbage collection #16: 199 nodes / 29 free / 0.0s / 0.006s total
Resizing node table from 199 to 397
Garbage collection #17: 397 nodes / 212 free / 0.0s / 0.006s total
INFO (EDGE.java:258) - Query 4 of 4 (100%)
Query 4 of 4 (100%)
DEBUG (EDGE.java:260) - Negative Example: heinz Type not (learnedClass)
Negative Example: heinz Type not (learnedClass)
DEBUG (EDGE.java:293) - Trying the second method...
Trying the second method...
INFO (EDGE.java:334) - Explanations founding completed (BDDs computed)
Explanations founding completed (BDDs computed)
INFO (EDGE.java:889) - Start EM Algorithm
Start EM Algorithm
INFO (EDGE.java:889) - - n. of probabilistic axioms: 25
- n. of probabilistic axioms: 25
INFO (EDGE.java:889) - - n. of examples: 4
- n. of examples: 4
DEBUG (EDGE.java:907) - EM cycle: 0
EM cycle: 0
DEBUG (EDGE.java:937) - EM cycle: 1
EM cycle: 1
DEBUG (EDGE.java:948) - etas after 1th expectation: [ [4.9E-4, 1.99951][0.24158, 1.75842][0.61429, 0.38571][0.03471, 0.96529][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19328][0.75893, 0.24107][0.0, 3.0][0.44071, 1.55928][0.0, 3.0][0.71337, 1.28663][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 3.0][0.01481, 0.98519][0.97676, 0.02324][2.00035, 0.99966][0.0, 0.99999][0.0, 2.99999][0.0, 1.0][0.1171, 1.8829][0.72504, 0.27496][8.1E-4, 2.99919]]
etas after 1th expectation: [ [4.9E-4, 1.99951][0.24158, 1.75842][0.61429, 0.38571][0.03471, 0.96529][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19328][0.75893, 0.24107][0.0, 3.0][0.44071, 1.55928][0.0, 3.0][0.71337, 1.28663][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 3.0][0.01481, 0.98519][0.97676, 0.02324][2.00035, 0.99966][0.0, 0.99999][0.0, 2.99999][0.0, 1.0][0.1171, 1.8829][0.72504, 0.27496][8.1E-4, 2.99919]]
DEBUG (EDGE.java:963) - Log-likelihood: -7.2E-4 cycle: 1
Log-likelihood: -7.2E-4 cycle: 1
DEBUG (EDGE.java:937) - EM cycle: 2
EM cycle: 2
DEBUG (EDGE.java:948) - etas after 2th expectation: [ [7.3E-4, 3.99927][0.48316, 3.51683][1.22857, 0.77143][0.06941, 1.93059][0.0, 6.00001][0.90652, 1.09348][1.61346, 4.38653][1.51785, 0.48215][0.0, 5.99999][0.88138, 3.11861][0.0, 5.99999][1.42666, 2.57333][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99999][0.02962, 1.97038][1.9535, 0.04648][4.00068, 1.99933][0.0, 1.99999][0.0, 5.99999][0.0, 2.0][0.23421, 3.76578][1.45008, 0.54993][0.00143, 5.99855]]
etas after 2th expectation: [ [7.3E-4, 3.99927][0.48316, 3.51683][1.22857, 0.77143][0.06941, 1.93059][0.0, 6.00001][0.90652, 1.09348][1.61346, 4.38653][1.51785, 0.48215][0.0, 5.99999][0.88138, 3.11861][0.0, 5.99999][1.42666, 2.57333][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99999][0.02962, 1.97038][1.9535, 0.04648][4.00068, 1.99933][0.0, 1.99999][0.0, 5.99999][0.0, 2.0][0.23421, 3.76578][1.45008, 0.54993][0.00143, 5.99855]]
DEBUG (EDGE.java:963) - Log-likelihood: -4.1E-4 cycle: 2
Log-likelihood: -4.1E-4 cycle: 2
DEBUG (EDGE.java:937) - EM cycle: 3
EM cycle: 3
DEBUG (EDGE.java:948) - etas after 3th expectation: [ [9.1E-4, 5.99909][0.72474, 5.27524][1.84284, 1.15715][0.10411, 2.89588][0.0, 9.00002][1.35978, 1.64022][2.42019, 6.57978][2.27676, 0.72324][0.0, 8.99998][1.32202, 4.67796][0.0, 8.99998][2.13993, 3.86006][0.0, 0.0][2.61333, 0.38667][0.0, 0.0][0.0, 8.99998][0.04443, 2.95557][2.93026, 0.06972][6.00101, 2.999][0.0, 2.99999][0.0, 8.99999][0.0, 3.0][0.35131, 5.64868][2.17512, 0.82489][0.00198, 8.99798]]
etas after 3th expectation: [ [9.1E-4, 5.99909][0.72474, 5.27524][1.84284, 1.15715][0.10411, 2.89588][0.0, 9.00002][1.35978, 1.64022][2.42019, 6.57978][2.27676, 0.72324][0.0, 8.99998][1.32202, 4.67796][0.0, 8.99998][2.13993, 3.86006][0.0, 0.0][2.61333, 0.38667][0.0, 0.0][0.0, 8.99998][0.04443, 2.95557][2.93026, 0.06972][6.00101, 2.999][0.0, 2.99999][0.0, 8.99999][0.0, 3.0][0.35131, 5.64868][2.17512, 0.82489][0.00198, 8.99798]]
DEBUG (EDGE.java:963) - Log-likelihood: -3.4E-4 cycle: 3
Log-likelihood: -3.4E-4 cycle: 3
INFO (EDGE.java:974) - EM completed.
EM completed.
INFO (EDGE.java:975) -
INFO (EDGE.java:975) - Final Log-Likelihood: -3.4E-4
Final Log-Likelihood: -3.4E-4
INFO (EDGE.java:791) -
INFO (EDGE.java:792) - ============ Results ============
============ Results ============
INFO (EDGE.java:793) -
INFO (EDGE.java:800) - ax 1/25 : markus hasChild anna arrayprob: 0.99985
ax 1/25 : markus hasChild anna arrayprob: 0.99985
INFO (EDGE.java:800) - ax 2/25 : markus Type father arrayprob: 0.87921
ax 2/25 : markus Type father arrayprob: 0.87921
INFO (EDGE.java:800) - ax 3/25 : anna Type female arrayprob: 0.38572
ax 3/25 : anna Type female arrayprob: 0.38572
INFO (EDGE.java:800) - ax 4/25 : anna hasChild heinz arrayprob: 0.9653
ax 4/25 : anna hasChild heinz arrayprob: 0.9653
INFO (EDGE.java:800) - ax 5/25 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
ax 5/25 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 6/25 : stefan Type male arrayprob: 0.54674
ax 6/25 : stefan Type male arrayprob: 0.54674
INFO (EDGE.java:800) - ax 7/25 : father SubClassOf male arrayprob: 0.73109
ax 7/25 : father SubClassOf male arrayprob: 0.73109
INFO (EDGE.java:800) - ax 8/25 : female SubClassOf person arrayprob: 0.24108
ax 8/25 : female SubClassOf person arrayprob: 0.24108
INFO (EDGE.java:800) - ax 9/25 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 9/25 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 10/25 : hasChild Domain person arrayprob: 0.77966
ax 10/25 : hasChild Domain person arrayprob: 0.77966
INFO (EDGE.java:800) - ax 11/25 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 11/25 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 12/25 : male SubClassOf person arrayprob: 0.64334
ax 12/25 : male SubClassOf person arrayprob: 0.64334
INFO (EDGE.java:800) - ax 13/25 : person SubClassOf Thing arrayprob: 0.55044
ax 13/25 : person SubClassOf Thing arrayprob: 0.55044
INFO (EDGE.java:800) - ax 14/25 : martin Type male arrayprob: 0.12889
ax 14/25 : martin Type male arrayprob: 0.12889
INFO (EDGE.java:800) - ax 15/25 : michelle Type female arrayprob: 0.1466
ax 15/25 : michelle Type female arrayprob: 0.1466
INFO (EDGE.java:800) - ax 16/25 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 16/25 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 17/25 : heinz Type male arrayprob: 0.98519
ax 17/25 : heinz Type male arrayprob: 0.98519
INFO (EDGE.java:800) - ax 18/25 : stefan Type father arrayprob: 0.02324
ax 18/25 : stefan Type father arrayprob: 0.02324
INFO (EDGE.java:800) - ax 19/25 : female DisjointWith male arrayprob: 0.33322
ax 19/25 : female DisjointWith male arrayprob: 0.33322
INFO (EDGE.java:800) - ax 20/25 : martin hasChild heinz arrayprob: 1.0
ax 20/25 : martin hasChild heinz arrayprob: 1.0
INFO (EDGE.java:800) - ax 21/25 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 21/25 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 22/25 : stefan hasChild markus arrayprob: 1.0
ax 22/25 : stefan hasChild markus arrayprob: 1.0
INFO (EDGE.java:800) - ax 23/25 : markus Type male arrayprob: 0.94145
ax 23/25 : markus Type male arrayprob: 0.94145
INFO (EDGE.java:800) - ax 24/25 : martin Type father arrayprob: 0.27496
ax 24/25 : martin Type father arrayprob: 0.27496
INFO (EDGE.java:800) - ax 25/25 : hasChild Range person arrayprob: 0.99978
ax 25/25 : hasChild Range person arrayprob: 0.99978
INFO (EDGE.java:803) -
INFO (EDGE.java:804) - =================================
=================================
INFO (EDGE.java:818) -
INFO (EDGE.java:821) - Name | Total (ms)
Name | Total (ms)
INFO (EDGE.java:821) - ========================================
========================================
INFO (EDGE.java:821) - main | 2624
main | 2624
INFO (EDGE.java:821) - init | 13
init | 13
INFO (EDGE.java:821) - Bundle | 2596
Bundle | 2596
INFO (EDGE.java:821) - Bundle.init | 0
Bundle.init | 0
INFO (EDGE.java:821) - Bundle.explain | 2576
Bundle.explain | 2576
INFO (EDGE.java:821) - Bundle.BDDCalc | 15
Bundle.BDDCalc | 15
INFO (EDGE.java:821) - EM | 9
EM | 9
INFO (EDGE.java:821) - EM.Init | 1
EM.Init | 1
INFO (EDGE.java:821) - EM.Expectation | 5
EM.Expectation | 5
INFO (EDGE.java:821) - EM.Maximization | 0
EM.Maximization | 0
INFO (EDGE.java:821) - EM.Expectation.Forward | 1
EM.Expectation.Forward | 1
INFO (EDGE.java:821) - EM.Expectation.Backward | 2
EM.Expectation.Backward | 2
INFO (EDGE.java:821) - EM.Expectation.Backward.1 | 0
EM.Expectation.Backward.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.1 | 0
EM.Expectation.Backward.1.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.2 | 0
EM.Expectation.Backward.1.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.2 | 0
EM.Expectation.Backward.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.3 | 2
EM.Expectation.Backward.3 | 2
INFO (EDGE.java:821) - EM.Expectation.Backward.4 | 0
EM.Expectation.Backward.4 | 0
Current Log-Likelihood: -3.4E-4
Log-Likelihood enhanced. Updating ontologies...
Updating ontology
INFO (EDGE.java:366) - Creation of the learned ontology...
Creation of the learned ontology...
INFO (EDGE.java:461) - Successful creation of the learned ontology
Successful creation of the learned ontology
INFO (EDGE.java:462) - Ontology created in 2.0 (ms)
Ontology created in 2.0 (ms)
Ontology Updated
Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Running parameter learner
DEBUG (EDGE.java:146) - EDGE has not been initialized. Starting initialization...
EDGE has not been initialized. Starting initialization...
DEBUG (EDGE.java:826) - Initializing...
Initializing...
DEBUG (EDGE.java:477) - Preparing Probability map...
Preparing Probability map...
DEBUG (BundleUtilities.java:226) - Preparing Probability Map...
Preparing Probability Map...
INFO (BundleUtilities.java:273) - father SubClassOf male => 0.73109
father SubClassOf male => 0.73109
INFO (BundleUtilities.java:273) - female SubClassOf person => 0.24108
female SubClassOf person => 0.24108
INFO (BundleUtilities.java:273) - male SubClassOf person => 0.64334
male SubClassOf person => 0.64334
INFO (BundleUtilities.java:273) - person SubClassOf Thing => 0.55044
person SubClassOf Thing => 0.55044
INFO (BundleUtilities.java:273) - male and (hasChild some person) SubClassOf learnedClass => 1.0
male and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
(not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female or (hasChild some person) SubClassOf learnedClass => 1.0
female or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
(not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
(hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - hasChild some person SubClassOf learnedClass => 1.0
hasChild some person SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female DisjointWith male => 0.33322
female DisjointWith male => 0.33322
INFO (BundleUtilities.java:273) - anna Type female => 0.38572
anna Type female => 0.38572
INFO (BundleUtilities.java:273) - heinz Type male => 0.98519
heinz Type male => 0.98519
INFO (BundleUtilities.java:273) - markus Type father => 0.87921
markus Type father => 0.87921
INFO (BundleUtilities.java:273) - markus Type male => 0.94145
markus Type male => 0.94145
INFO (BundleUtilities.java:273) - martin Type father => 0.27496
martin Type father => 0.27496
INFO (BundleUtilities.java:273) - martin Type male => 0.12889
martin Type male => 0.12889
INFO (BundleUtilities.java:273) - michelle Type female => 0.1466
michelle Type female => 0.1466
INFO (BundleUtilities.java:273) - stefan Type father => 0.02324
stefan Type father => 0.02324
INFO (BundleUtilities.java:273) - stefan Type male => 0.54674
stefan Type male => 0.54674
INFO (BundleUtilities.java:273) - anna hasChild heinz => 0.9653
anna hasChild heinz => 0.9653
INFO (BundleUtilities.java:273) - markus hasChild anna => 0.99985
markus hasChild anna => 0.99985
INFO (BundleUtilities.java:273) - martin hasChild heinz => 1.0
martin hasChild heinz => 1.0
INFO (BundleUtilities.java:273) - stefan hasChild markus => 1.0
stefan hasChild markus => 1.0
INFO (BundleUtilities.java:273) - hasChild Domain person => 0.77966
hasChild Domain person => 0.77966
INFO (BundleUtilities.java:273) - hasChild Range person => 0.99978
hasChild Range person => 0.99978
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 26
Probability Map computed. Size: 26
DEBUG (EDGE.java:148) - Initialization completed
Initialization completed
INFO (EDGE.java:198) - Start finding explanations for every example (Computing BDDs)...
Start finding explanations for every example (Computing BDDs)...
INFO (EDGE.java:203) - Query 1 of 4 (25%)
Query 1 of 4 (25%)
DEBUG (EDGE.java:205) - Positive Example: stefan Type learnedClass
Positive Example: stefan Type learnedClass
Apr 20, 2017 2:10:26 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:26 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:26 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:26 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:27 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:27 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:27 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:27 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #1: 101 nodes / 47 free / 0.0s / 0.0s total
Garbage collection #2: 101 nodes / 46 free / 0.0s / 0.0s total
Garbage collection #3: 101 nodes / 31 free / 0.0s / 0.0s total
Garbage collection #4: 101 nodes / 26 free / 0.0s / 0.0s total
Garbage collection #5: 101 nodes / 0 free / 0.0s / 0.0s total
Resizing node table from 101 to 199
Garbage collection #6: 199 nodes / 100 free / 0.0s / 0.0s total
Garbage collection #7: 199 nodes / 89 free / 0.0s / 0.0s total
Garbage collection #8: 199 nodes / 65 free / 0.0s / 0.0s total
Garbage collection #9: 199 nodes / 83 free / 0.0s / 0.0s total
Garbage collection #10: 199 nodes / 70 free / 0.0s / 0.0s total
Garbage collection #11: 199 nodes / 72 free / 0.0s / 0.0s total
Garbage collection #12: 199 nodes / 49 free / 0.0s / 0.0s total
Garbage collection #13: 199 nodes / 42 free / 0.0s / 0.0s total
Garbage collection #14: 199 nodes / 58 free / 0.0s / 0.0s total
INFO (EDGE.java:203) - Query 2 of 4 (50%)
Query 2 of 4 (50%)
DEBUG (EDGE.java:205) - Positive Example: martin Type learnedClass
Positive Example: martin Type learnedClass
Apr 20, 2017 2:10:28 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:28 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #15: 199 nodes / 69 free / 0.001s / 0.001s total
Garbage collection #16: 199 nodes / 44 free / 0.0s / 0.001s total
Garbage collection #17: 199 nodes / 47 free / 0.001s / 0.002s total
Garbage collection #18: 199 nodes / 36 free / 0.0s / 0.002s total
Resizing node table from 199 to 397
INFO (EDGE.java:203) - Query 3 of 4 (75%)
Query 3 of 4 (75%)
DEBUG (EDGE.java:205) - Positive Example: markus Type learnedClass
Positive Example: markus Type learnedClass
Garbage collection #19: 397 nodes / 205 free / 0.0s / 0.002s total
Garbage collection #20: 397 nodes / 189 free / 0.0s / 0.002s total
INFO (EDGE.java:258) - Query 4 of 4 (100%)
Query 4 of 4 (100%)
DEBUG (EDGE.java:260) - Negative Example: heinz Type not (learnedClass)
Negative Example: heinz Type not (learnedClass)
DEBUG (EDGE.java:293) - Trying the second method...
Trying the second method...
INFO (EDGE.java:334) - Explanations founding completed (BDDs computed)
Explanations founding completed (BDDs computed)
INFO (EDGE.java:889) - Start EM Algorithm
Start EM Algorithm
INFO (EDGE.java:889) - - n. of probabilistic axioms: 26
- n. of probabilistic axioms: 26
INFO (EDGE.java:889) - - n. of examples: 4
- n. of examples: 4
DEBUG (EDGE.java:907) - EM cycle: 0
EM cycle: 0
DEBUG (EDGE.java:937) - EM cycle: 1
EM cycle: 1
DEBUG (EDGE.java:948) - etas after 1th expectation: [ [1.5E-4, 1.99985][0.24158, 1.75841][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19326][0.75892, 0.24108][0.0, 2.99999][0.44066, 1.55934][0.0, 2.99999][0.71331, 1.28669][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97676, 0.02324][2.00034, 0.99966][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.8829][0.72504, 0.27496][6.3E-4, 2.99937]]
etas after 1th expectation: [ [1.5E-4, 1.99985][0.24158, 1.75841][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19326][0.75892, 0.24108][0.0, 2.99999][0.44066, 1.55934][0.0, 2.99999][0.71331, 1.28669][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97676, 0.02324][2.00034, 0.99966][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.8829][0.72504, 0.27496][6.3E-4, 2.99937]]
DEBUG (EDGE.java:963) - Log-likelihood: -1.8E-4 cycle: 1
Log-likelihood: -1.8E-4 cycle: 1
DEBUG (EDGE.java:937) - EM cycle: 2
EM cycle: 2
DEBUG (EDGE.java:948) - etas after 2th expectation: [ [2.2E-4, 3.99978][0.48316, 3.51682][1.22851, 0.77147][0.06939, 1.93059][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.61345, 4.38652][1.51784, 0.48216][0.0, 5.99998][0.8813, 3.1187][0.0, 5.99998][1.42663, 2.57337][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95352, 0.04648][4.00067, 1.99933][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.23421, 3.76579][1.45007, 0.54992][0.00122, 5.99878]]
etas after 2th expectation: [ [2.2E-4, 3.99978][0.48316, 3.51682][1.22851, 0.77147][0.06939, 1.93059][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.61345, 4.38652][1.51784, 0.48216][0.0, 5.99998][0.8813, 3.1187][0.0, 5.99998][1.42663, 2.57337][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95352, 0.04648][4.00067, 1.99933][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.23421, 3.76579][1.45007, 0.54992][0.00122, 5.99878]]
DEBUG (EDGE.java:963) - Log-likelihood: -1.0E-4 cycle: 2
Log-likelihood: -1.0E-4 cycle: 2
INFO (EDGE.java:974) - EM completed.
EM completed.
INFO (EDGE.java:975) -
INFO (EDGE.java:975) - Final Log-Likelihood: -1.0E-4
Final Log-Likelihood: -1.0E-4
INFO (EDGE.java:791) -
INFO (EDGE.java:792) - ============ Results ============
============ Results ============
INFO (EDGE.java:793) -
INFO (EDGE.java:800) - ax 1/26 : markus hasChild anna arrayprob: 0.99995
ax 1/26 : markus hasChild anna arrayprob: 0.99995
INFO (EDGE.java:800) - ax 2/26 : markus Type father arrayprob: 0.87921
ax 2/26 : markus Type father arrayprob: 0.87921
INFO (EDGE.java:800) - ax 3/26 : anna Type female arrayprob: 0.38574
ax 3/26 : anna Type female arrayprob: 0.38574
INFO (EDGE.java:800) - ax 4/26 : anna hasChild heinz arrayprob: 0.9653
ax 4/26 : anna hasChild heinz arrayprob: 0.9653
INFO (EDGE.java:800) - ax 5/26 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
ax 5/26 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 6/26 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
ax 6/26 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 7/26 : stefan Type male arrayprob: 0.54674
ax 7/26 : stefan Type male arrayprob: 0.54674
INFO (EDGE.java:800) - ax 8/26 : father SubClassOf male arrayprob: 0.73109
ax 8/26 : father SubClassOf male arrayprob: 0.73109
INFO (EDGE.java:800) - ax 9/26 : female SubClassOf person arrayprob: 0.24108
ax 9/26 : female SubClassOf person arrayprob: 0.24108
INFO (EDGE.java:800) - ax 10/26 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 10/26 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 11/26 : hasChild Domain person arrayprob: 0.77968
ax 11/26 : hasChild Domain person arrayprob: 0.77968
INFO (EDGE.java:800) - ax 12/26 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 12/26 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 13/26 : male SubClassOf person arrayprob: 0.64334
ax 13/26 : male SubClassOf person arrayprob: 0.64334
INFO (EDGE.java:800) - ax 14/26 : person SubClassOf Thing arrayprob: 0.55044
ax 14/26 : person SubClassOf Thing arrayprob: 0.55044
INFO (EDGE.java:800) - ax 15/26 : martin Type male arrayprob: 0.12889
ax 15/26 : martin Type male arrayprob: 0.12889
INFO (EDGE.java:800) - ax 16/26 : michelle Type female arrayprob: 0.1466
ax 16/26 : michelle Type female arrayprob: 0.1466
INFO (EDGE.java:800) - ax 17/26 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 17/26 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 18/26 : heinz Type male arrayprob: 0.98519
ax 18/26 : heinz Type male arrayprob: 0.98519
INFO (EDGE.java:800) - ax 19/26 : stefan Type father arrayprob: 0.02324
ax 19/26 : stefan Type father arrayprob: 0.02324
INFO (EDGE.java:800) - ax 20/26 : female DisjointWith male arrayprob: 0.33322
ax 20/26 : female DisjointWith male arrayprob: 0.33322
INFO (EDGE.java:800) - ax 21/26 : martin hasChild heinz arrayprob: 1.0
ax 21/26 : martin hasChild heinz arrayprob: 1.0
INFO (EDGE.java:800) - ax 22/26 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 22/26 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 23/26 : stefan hasChild markus arrayprob: 1.0
ax 23/26 : stefan hasChild markus arrayprob: 1.0
INFO (EDGE.java:800) - ax 24/26 : markus Type male arrayprob: 0.94145
ax 24/26 : markus Type male arrayprob: 0.94145
INFO (EDGE.java:800) - ax 25/26 : martin Type father arrayprob: 0.27496
ax 25/26 : martin Type father arrayprob: 0.27496
INFO (EDGE.java:800) - ax 26/26 : hasChild Range person arrayprob: 0.9998
ax 26/26 : hasChild Range person arrayprob: 0.9998
INFO (EDGE.java:803) -
INFO (EDGE.java:804) - =================================
=================================
INFO (EDGE.java:818) -
INFO (EDGE.java:821) - Name | Total (ms)
Name | Total (ms)
INFO (EDGE.java:821) - ========================================
========================================
INFO (EDGE.java:821) - main | 3404
main | 3404
INFO (EDGE.java:821) - init | 14
init | 14
INFO (EDGE.java:821) - Bundle | 3378
Bundle | 3378
INFO (EDGE.java:821) - Bundle.init | 0
Bundle.init | 0
INFO (EDGE.java:821) - Bundle.explain | 3354
Bundle.explain | 3354
INFO (EDGE.java:821) - Bundle.BDDCalc | 19
Bundle.BDDCalc | 19
INFO (EDGE.java:821) - EM | 6
EM | 6
INFO (EDGE.java:821) - EM.Init | 0
EM.Init | 0
INFO (EDGE.java:821) - EM.Expectation | 2
EM.Expectation | 2
INFO (EDGE.java:821) - EM.Maximization | 0
EM.Maximization | 0
INFO (EDGE.java:821) - EM.Expectation.Forward | 1
EM.Expectation.Forward | 1
INFO (EDGE.java:821) - EM.Expectation.Backward | 0
EM.Expectation.Backward | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1 | 0
EM.Expectation.Backward.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.1 | 0
EM.Expectation.Backward.1.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.2 | 0
EM.Expectation.Backward.1.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.2 | 0
EM.Expectation.Backward.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.3 | 0
EM.Expectation.Backward.3 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.4 | 0
EM.Expectation.Backward.4 | 0
Current Log-Likelihood: -1.0E-4
Log-Likelihood enhanced. Updating ontologies...
Updating ontology
INFO (EDGE.java:366) - Creation of the learned ontology...
Creation of the learned ontology...
INFO (EDGE.java:461) - Successful creation of the learned ontology
Successful creation of the learned ontology
INFO (EDGE.java:462) - Ontology created in 2.0 (ms)
Ontology created in 2.0 (ms)
Ontology Updated
Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Running parameter learner
DEBUG (EDGE.java:146) - EDGE has not been initialized. Starting initialization...
EDGE has not been initialized. Starting initialization...
DEBUG (EDGE.java:826) - Initializing...
Initializing...
DEBUG (EDGE.java:477) - Preparing Probability map...
Preparing Probability map...
DEBUG (BundleUtilities.java:226) - Preparing Probability Map...
Preparing Probability Map...
INFO (BundleUtilities.java:273) - father SubClassOf male => 0.73109
father SubClassOf male => 0.73109
INFO (BundleUtilities.java:273) - female SubClassOf person => 0.24108
female SubClassOf person => 0.24108
INFO (BundleUtilities.java:273) - male SubClassOf person => 0.64334
male SubClassOf person => 0.64334
INFO (BundleUtilities.java:273) - person SubClassOf Thing => 0.55044
person SubClassOf Thing => 0.55044
INFO (BundleUtilities.java:273) - male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - male and (hasChild some person) SubClassOf learnedClass => 1.0
male and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
(not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female or (hasChild some person) SubClassOf learnedClass => 1.0
female or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
(not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
(hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - hasChild some person SubClassOf learnedClass => 1.0
hasChild some person SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female DisjointWith male => 0.33322
female DisjointWith male => 0.33322
INFO (BundleUtilities.java:273) - anna Type female => 0.38574
anna Type female => 0.38574
INFO (BundleUtilities.java:273) - heinz Type male => 0.98519
heinz Type male => 0.98519
INFO (BundleUtilities.java:273) - markus Type father => 0.87921
markus Type father => 0.87921
INFO (BundleUtilities.java:273) - markus Type male => 0.94145
markus Type male => 0.94145
INFO (BundleUtilities.java:273) - martin Type father => 0.27496
martin Type father => 0.27496
INFO (BundleUtilities.java:273) - martin Type male => 0.12889
martin Type male => 0.12889
INFO (BundleUtilities.java:273) - michelle Type female => 0.1466
michelle Type female => 0.1466
INFO (BundleUtilities.java:273) - stefan Type father => 0.02324
stefan Type father => 0.02324
INFO (BundleUtilities.java:273) - stefan Type male => 0.54674
stefan Type male => 0.54674
INFO (BundleUtilities.java:273) - anna hasChild heinz => 0.9653
anna hasChild heinz => 0.9653
INFO (BundleUtilities.java:273) - markus hasChild anna => 0.99995
markus hasChild anna => 0.99995
INFO (BundleUtilities.java:273) - martin hasChild heinz => 1.0
martin hasChild heinz => 1.0
INFO (BundleUtilities.java:273) - stefan hasChild markus => 1.0
stefan hasChild markus => 1.0
INFO (BundleUtilities.java:273) - hasChild Domain person => 0.77968
hasChild Domain person => 0.77968
INFO (BundleUtilities.java:273) - hasChild Range person => 0.9998
hasChild Range person => 0.9998
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 27
Probability Map computed. Size: 27
DEBUG (EDGE.java:148) - Initialization completed
Initialization completed
INFO (EDGE.java:198) - Start finding explanations for every example (Computing BDDs)...
Start finding explanations for every example (Computing BDDs)...
INFO (EDGE.java:203) - Query 1 of 4 (25%)
Query 1 of 4 (25%)
DEBUG (EDGE.java:205) - Positive Example: stefan Type learnedClass
Positive Example: stefan Type learnedClass
Apr 20, 2017 2:10:29 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:30 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:30 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:31 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:31 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:31 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:31 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:31 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:32 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #1: 101 nodes / 45 free / 0.0s / 0.0s total
Garbage collection #2: 101 nodes / 37 free / 0.0s / 0.0s total
Garbage collection #3: 101 nodes / 29 free / 0.0s / 0.0s total
Garbage collection #4: 101 nodes / 2 free / 0.0s / 0.0s total
Resizing node table from 101 to 199
Garbage collection #5: 199 nodes / 114 free / 0.0s / 0.0s total
Garbage collection #6: 199 nodes / 79 free / 0.0s / 0.0s total
Garbage collection #7: 199 nodes / 79 free / 0.0s / 0.0s total
Garbage collection #8: 199 nodes / 70 free / 0.001s / 0.001s total
Garbage collection #9: 199 nodes / 71 free / 0.0s / 0.001s total
Garbage collection #10: 199 nodes / 80 free / 0.0s / 0.001s total
Garbage collection #11: 199 nodes / 52 free / 0.0s / 0.001s total
Garbage collection #12: 199 nodes / 62 free / 0.0s / 0.001s total
Garbage collection #13: 199 nodes / 34 free / 0.0s / 0.001s total
Resizing node table from 199 to 397
Garbage collection #14: 397 nodes / 216 free / 0.0s / 0.001s total
INFO (EDGE.java:203) - Query 2 of 4 (50%)
Query 2 of 4 (50%)
DEBUG (EDGE.java:205) - Positive Example: martin Type learnedClass
Positive Example: martin Type learnedClass
Apr 20, 2017 2:10:34 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:34 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:34 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #15: 397 nodes / 201 free / 0.0s / 0.001s total
Garbage collection #16: 397 nodes / 180 free / 0.0s / 0.001s total
INFO (EDGE.java:203) - Query 3 of 4 (75%)
Query 3 of 4 (75%)
DEBUG (EDGE.java:205) - Positive Example: markus Type learnedClass
Positive Example: markus Type learnedClass
Apr 20, 2017 2:10:35 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #17: 397 nodes / 146 free / 0.001s / 0.002s total
Garbage collection #18: 397 nodes / 139 free / 0.0s / 0.002s total
Garbage collection #19: 397 nodes / 111 free / 0.0s / 0.002s total
Garbage collection #20: 397 nodes / 122 free / 0.0s / 0.002s total
Garbage collection #21: 397 nodes / 109 free / 0.0s / 0.002s total
INFO (EDGE.java:258) - Query 4 of 4 (100%)
Query 4 of 4 (100%)
DEBUG (EDGE.java:260) - Negative Example: heinz Type not (learnedClass)
Negative Example: heinz Type not (learnedClass)
DEBUG (EDGE.java:293) - Trying the second method...
Trying the second method...
INFO (EDGE.java:334) - Explanations founding completed (BDDs computed)
Explanations founding completed (BDDs computed)
INFO (EDGE.java:889) - Start EM Algorithm
Start EM Algorithm
INFO (EDGE.java:889) - - n. of probabilistic axioms: 27
- n. of probabilistic axioms: 27
INFO (EDGE.java:889) - - n. of examples: 4
- n. of examples: 4
DEBUG (EDGE.java:907) - EM cycle: 0
EM cycle: 0
DEBUG (EDGE.java:937) - EM cycle: 1
EM cycle: 1
DEBUG (EDGE.java:948) - etas after 1th expectation: [ [9.0E-5, 1.99991][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19328][0.75891, 0.24108][0.0, 2.99999][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97678, 0.02322][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.8829][0.0, 3.0][0.72503, 0.27496][6.0E-4, 2.99939]]
etas after 1th expectation: [ [9.0E-5, 1.99991][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19328][0.75891, 0.24108][0.0, 2.99999][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97678, 0.02322][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.8829][0.0, 3.0][0.72503, 0.27496][6.0E-4, 2.99939]]
DEBUG (EDGE.java:963) - Log-likelihood: -1.0E-5 cycle: 1
Log-likelihood: -1.0E-5 cycle: 1
DEBUG (EDGE.java:937) - EM cycle: 2
EM cycle: 2
DEBUG (EDGE.java:948) - etas after 2th expectation: [ [1.7E-4, 3.99983][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.61344, 4.38656][1.51782, 0.48216][0.0, 5.99998][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95358, 0.04642][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76579][0.0, 6.0][1.45006, 0.54992][0.0012, 5.99877]]
etas after 2th expectation: [ [1.7E-4, 3.99983][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.61344, 4.38656][1.51782, 0.48216][0.0, 5.99998][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95358, 0.04642][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76579][0.0, 6.0][1.45006, 0.54992][0.0012, 5.99877]]
DEBUG (EDGE.java:963) - Log-likelihood: 0.0 cycle: 2
Log-likelihood: 0.0 cycle: 2
INFO (EDGE.java:974) - EM completed.
EM completed.
INFO (EDGE.java:975) -
INFO (EDGE.java:975) - Final Log-Likelihood: 0.0
Final Log-Likelihood: 0.0
INFO (EDGE.java:791) -
INFO (EDGE.java:792) - ============ Results ============
============ Results ============
INFO (EDGE.java:793) -
INFO (EDGE.java:800) - ax 1/27 : markus hasChild anna arrayprob: 0.99996
ax 1/27 : markus hasChild anna arrayprob: 0.99996
INFO (EDGE.java:800) - ax 2/27 : markus Type father arrayprob: 0.87921
ax 2/27 : markus Type father arrayprob: 0.87921
INFO (EDGE.java:800) - ax 3/27 : anna Type female arrayprob: 0.38573
ax 3/27 : anna Type female arrayprob: 0.38573
INFO (EDGE.java:800) - ax 4/27 : anna hasChild heinz arrayprob: 0.9653
ax 4/27 : anna hasChild heinz arrayprob: 0.9653
INFO (EDGE.java:800) - ax 5/27 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
ax 5/27 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 6/27 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
ax 6/27 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 7/27 : stefan Type male arrayprob: 0.54674
ax 7/27 : stefan Type male arrayprob: 0.54674
INFO (EDGE.java:800) - ax 8/27 : father SubClassOf male arrayprob: 0.73109
ax 8/27 : father SubClassOf male arrayprob: 0.73109
INFO (EDGE.java:800) - ax 9/27 : female SubClassOf person arrayprob: 0.24108
ax 9/27 : female SubClassOf person arrayprob: 0.24108
INFO (EDGE.java:800) - ax 10/27 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 10/27 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 11/27 : hasChild Domain person arrayprob: 0.77968
ax 11/27 : hasChild Domain person arrayprob: 0.77968
INFO (EDGE.java:800) - ax 12/27 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 12/27 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 13/27 : male SubClassOf person arrayprob: 0.64334
ax 13/27 : male SubClassOf person arrayprob: 0.64334
INFO (EDGE.java:800) - ax 14/27 : person SubClassOf Thing arrayprob: 0.55044
ax 14/27 : person SubClassOf Thing arrayprob: 0.55044
INFO (EDGE.java:800) - ax 15/27 : martin Type male arrayprob: 0.12889
ax 15/27 : martin Type male arrayprob: 0.12889
INFO (EDGE.java:800) - ax 16/27 : michelle Type female arrayprob: 0.1466
ax 16/27 : michelle Type female arrayprob: 0.1466
INFO (EDGE.java:800) - ax 17/27 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 17/27 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 18/27 : heinz Type male arrayprob: 0.98519
ax 18/27 : heinz Type male arrayprob: 0.98519
INFO (EDGE.java:800) - ax 19/27 : stefan Type father arrayprob: 0.02321
ax 19/27 : stefan Type father arrayprob: 0.02321
INFO (EDGE.java:800) - ax 20/27 : female DisjointWith male arrayprob: 0.33322
ax 20/27 : female DisjointWith male arrayprob: 0.33322
INFO (EDGE.java:800) - ax 21/27 : martin hasChild heinz arrayprob: 1.0
ax 21/27 : martin hasChild heinz arrayprob: 1.0
INFO (EDGE.java:800) - ax 22/27 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 22/27 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 23/27 : stefan hasChild markus arrayprob: 1.0
ax 23/27 : stefan hasChild markus arrayprob: 1.0
INFO (EDGE.java:800) - ax 24/27 : markus Type male arrayprob: 0.94145
ax 24/27 : markus Type male arrayprob: 0.94145
INFO (EDGE.java:800) - ax 25/27 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
ax 25/27 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 26/27 : martin Type father arrayprob: 0.27496
ax 26/27 : martin Type father arrayprob: 0.27496
INFO (EDGE.java:800) - ax 27/27 : hasChild Range person arrayprob: 0.9998
ax 27/27 : hasChild Range person arrayprob: 0.9998
INFO (EDGE.java:803) -
INFO (EDGE.java:804) - =================================
=================================
INFO (EDGE.java:818) -
INFO (EDGE.java:821) - Name | Total (ms)
Name | Total (ms)
INFO (EDGE.java:821) - ========================================
========================================
INFO (EDGE.java:821) - main | 6491
main | 6491
INFO (EDGE.java:821) - init | 10
init | 10
INFO (EDGE.java:821) - Bundle | 6470
Bundle | 6470
INFO (EDGE.java:821) - Bundle.init | 0
Bundle.init | 0
INFO (EDGE.java:821) - Bundle.explain | 6454
Bundle.explain | 6454
INFO (EDGE.java:821) - Bundle.BDDCalc | 13
Bundle.BDDCalc | 13
INFO (EDGE.java:821) - EM | 6
EM | 6
INFO (EDGE.java:821) - EM.Init | 0
EM.Init | 0
INFO (EDGE.java:821) - EM.Expectation | 2
EM.Expectation | 2
INFO (EDGE.java:821) - EM.Maximization | 0
EM.Maximization | 0
INFO (EDGE.java:821) - EM.Expectation.Forward | 0
EM.Expectation.Forward | 0
INFO (EDGE.java:821) - EM.Expectation.Backward | 0
EM.Expectation.Backward | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1 | 0
EM.Expectation.Backward.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.1 | 0
EM.Expectation.Backward.1.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.2 | 0
EM.Expectation.Backward.1.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.2 | 0
EM.Expectation.Backward.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.3 | 0
EM.Expectation.Backward.3 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.4 | 0
EM.Expectation.Backward.4 | 0
Current Log-Likelihood: 0.0
Log-Likelihood enhanced. Updating ontologies...
Updating ontology
INFO (EDGE.java:366) - Creation of the learned ontology...
Creation of the learned ontology...
INFO (EDGE.java:461) - Successful creation of the learned ontology
Successful creation of the learned ontology
INFO (EDGE.java:462) - Ontology created in 2.0 (ms)
Ontology created in 2.0 (ms)
Ontology Updated
Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Running parameter learner
DEBUG (EDGE.java:146) - EDGE has not been initialized. Starting initialization...
EDGE has not been initialized. Starting initialization...
DEBUG (EDGE.java:826) - Initializing...
Initializing...
DEBUG (EDGE.java:477) - Preparing Probability map...
Preparing Probability map...
DEBUG (BundleUtilities.java:226) - Preparing Probability Map...
Preparing Probability Map...
INFO (BundleUtilities.java:273) - father SubClassOf male => 0.73109
father SubClassOf male => 0.73109
INFO (BundleUtilities.java:273) - female SubClassOf person => 0.24108
female SubClassOf person => 0.24108
INFO (BundleUtilities.java:273) - male SubClassOf person => 0.64334
male SubClassOf person => 0.64334
INFO (BundleUtilities.java:273) - person SubClassOf Thing => 0.55044
person SubClassOf Thing => 0.55044
INFO (BundleUtilities.java:273) - male and (father or (hasChild some male)) SubClassOf learnedClass => 1.0
male and (father or (hasChild some male)) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - male and (hasChild some person) SubClassOf learnedClass => 1.0
male and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
(not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female or (hasChild some person) SubClassOf learnedClass => 1.0
female or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
(not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
(hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - hasChild some person SubClassOf learnedClass => 1.0
hasChild some person SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female DisjointWith male => 0.33322
female DisjointWith male => 0.33322
INFO (BundleUtilities.java:273) - anna Type female => 0.38573
anna Type female => 0.38573
INFO (BundleUtilities.java:273) - heinz Type male => 0.98519
heinz Type male => 0.98519
INFO (BundleUtilities.java:273) - markus Type father => 0.87921
markus Type father => 0.87921
INFO (BundleUtilities.java:273) - markus Type male => 0.94145
markus Type male => 0.94145
INFO (BundleUtilities.java:273) - martin Type father => 0.27496
martin Type father => 0.27496
INFO (BundleUtilities.java:273) - martin Type male => 0.12889
martin Type male => 0.12889
INFO (BundleUtilities.java:273) - michelle Type female => 0.1466
michelle Type female => 0.1466
INFO (BundleUtilities.java:273) - stefan Type father => 0.02321
stefan Type father => 0.02321
INFO (BundleUtilities.java:273) - stefan Type male => 0.54674
stefan Type male => 0.54674
INFO (BundleUtilities.java:273) - anna hasChild heinz => 0.9653
anna hasChild heinz => 0.9653
INFO (BundleUtilities.java:273) - markus hasChild anna => 0.99996
markus hasChild anna => 0.99996
INFO (BundleUtilities.java:273) - martin hasChild heinz => 1.0
martin hasChild heinz => 1.0
INFO (BundleUtilities.java:273) - stefan hasChild markus => 1.0
stefan hasChild markus => 1.0
INFO (BundleUtilities.java:273) - hasChild Domain person => 0.77968
hasChild Domain person => 0.77968
INFO (BundleUtilities.java:273) - hasChild Range person => 0.9998
hasChild Range person => 0.9998
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 28
Probability Map computed. Size: 28
DEBUG (EDGE.java:148) - Initialization completed
Initialization completed
INFO (EDGE.java:198) - Start finding explanations for every example (Computing BDDs)...
Start finding explanations for every example (Computing BDDs)...
INFO (EDGE.java:203) - Query 1 of 4 (25%)
Query 1 of 4 (25%)
DEBUG (EDGE.java:205) - Positive Example: stefan Type learnedClass
Positive Example: stefan Type learnedClass
Apr 20, 2017 2:10:36 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:36 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:39 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:40 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #1: 101 nodes / 46 free / 0.001s / 0.001s total
Garbage collection #2: 101 nodes / 37 free / 0.0s / 0.001s total
Garbage collection #3: 101 nodes / 32 free / 0.0s / 0.001s total
Garbage collection #4: 101 nodes / 29 free / 0.0s / 0.001s total
Garbage collection #5: 101 nodes / 0 free / 0.0s / 0.001s total
Resizing node table from 101 to 199
Garbage collection #6: 199 nodes / 102 free / 0.0s / 0.001s total
Garbage collection #7: 199 nodes / 86 free / 0.0s / 0.001s total
Garbage collection #8: 199 nodes / 75 free / 0.001s / 0.002s total
Garbage collection #9: 199 nodes / 80 free / 0.0s / 0.002s total
Garbage collection #10: 199 nodes / 49 free / 0.0s / 0.002s total
Garbage collection #11: 199 nodes / 73 free / 0.0s / 0.002s total
Garbage collection #12: 199 nodes / 67 free / 0.0s / 0.002s total
Garbage collection #13: 199 nodes / 43 free / 0.001s / 0.003s total
Garbage collection #14: 199 nodes / 55 free / 0.0s / 0.003s total
Garbage collection #15: 199 nodes / 50 free / 0.0s / 0.003s total
Garbage collection #16: 199 nodes / 62 free / 0.001s / 0.004s total
Garbage collection #17: 199 nodes / 39 free / 0.0s / 0.004s total
Resizing node table from 199 to 397
Garbage collection #18: 397 nodes / 158 free / 0.0s / 0.004s total
Garbage collection #19: 397 nodes / 146 free / 0.0s / 0.004s total
INFO (EDGE.java:203) - Query 2 of 4 (50%)
Query 2 of 4 (50%)
DEBUG (EDGE.java:205) - Positive Example: martin Type learnedClass
Positive Example: martin Type learnedClass
Garbage collection #20: 397 nodes / 183 free / 0.001s / 0.005s total
Garbage collection #21: 397 nodes / 138 free / 0.0s / 0.005s total
Garbage collection #22: 397 nodes / 141 free / 0.001s / 0.006s total
Garbage collection #23: 397 nodes / 114 free / 0.0s / 0.006s total
INFO (EDGE.java:203) - Query 3 of 4 (75%)
Query 3 of 4 (75%)
DEBUG (EDGE.java:205) - Positive Example: markus Type learnedClass
Positive Example: markus Type learnedClass
Garbage collection #24: 397 nodes / 116 free / 0.0s / 0.006s total
Garbage collection #25: 397 nodes / 61 free / 0.003s / 0.009s total
Resizing node table from 397 to 787
Garbage collection #26: 787 nodes / 430 free / 0.0s / 0.009s total
INFO (EDGE.java:258) - Query 4 of 4 (100%)
Query 4 of 4 (100%)
DEBUG (EDGE.java:260) - Negative Example: heinz Type not (learnedClass)
Negative Example: heinz Type not (learnedClass)
DEBUG (EDGE.java:293) - Trying the second method...
Trying the second method...
INFO (EDGE.java:334) - Explanations founding completed (BDDs computed)
Explanations founding completed (BDDs computed)
INFO (EDGE.java:889) - Start EM Algorithm
Start EM Algorithm
INFO (EDGE.java:889) - - n. of probabilistic axioms: 28
- n. of probabilistic axioms: 28
INFO (EDGE.java:889) - - n. of examples: 4
- n. of examples: 4
DEBUG (EDGE.java:907) - EM cycle: 0
EM cycle: 0
DEBUG (EDGE.java:937) - EM cycle: 1
EM cycle: 1
DEBUG (EDGE.java:948) - etas after 1th expectation: [ [8.0E-5, 1.99992][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80671, 2.19328][0.0, 3.0][0.75891, 0.24108][0.0, 2.99999][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97681, 0.02319][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.88289][0.0, 3.0][0.72504, 0.27495][6.0E-4, 2.99938]]
etas after 1th expectation: [ [8.0E-5, 1.99992][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80671, 2.19328][0.0, 3.0][0.75891, 0.24108][0.0, 2.99999][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97681, 0.02319][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.88289][0.0, 3.0][0.72504, 0.27495][6.0E-4, 2.99938]]
DEBUG (EDGE.java:963) - Log-likelihood: 0.0 cycle: 1
Log-likelihood: 0.0 cycle: 1
DEBUG (EDGE.java:937) - EM cycle: 2
EM cycle: 2
DEBUG (EDGE.java:948) - etas after 2th expectation: [ [1.6E-4, 3.99984][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.6134, 4.38658][0.0, 6.0][1.51782, 0.48216][0.0, 5.99998][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95363, 0.04637][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76578][0.0, 6.0][1.45009, 0.54989][0.0012, 5.99876]]
etas after 2th expectation: [ [1.6E-4, 3.99984][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.6134, 4.38658][0.0, 6.0][1.51782, 0.48216][0.0, 5.99998][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95363, 0.04637][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76578][0.0, 6.0][1.45009, 0.54989][0.0012, 5.99876]]
DEBUG (EDGE.java:963) - Log-likelihood: 0.0 cycle: 2
Log-likelihood: 0.0 cycle: 2
INFO (EDGE.java:974) - EM completed.
EM completed.
INFO (EDGE.java:975) -
INFO (EDGE.java:975) - Final Log-Likelihood: 0.0
Final Log-Likelihood: 0.0
INFO (EDGE.java:791) -
INFO (EDGE.java:792) - ============ Results ============
============ Results ============
INFO (EDGE.java:793) -
INFO (EDGE.java:800) - ax 1/28 : markus hasChild anna arrayprob: 0.99996
ax 1/28 : markus hasChild anna arrayprob: 0.99996
INFO (EDGE.java:800) - ax 2/28 : markus Type father arrayprob: 0.87921
ax 2/28 : markus Type father arrayprob: 0.87921
INFO (EDGE.java:800) - ax 3/28 : anna Type female arrayprob: 0.38573
ax 3/28 : anna Type female arrayprob: 0.38573
INFO (EDGE.java:800) - ax 4/28 : anna hasChild heinz arrayprob: 0.9653
ax 4/28 : anna hasChild heinz arrayprob: 0.9653
INFO (EDGE.java:800) - ax 5/28 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
ax 5/28 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 6/28 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
ax 6/28 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 7/28 : stefan Type male arrayprob: 0.54674
ax 7/28 : stefan Type male arrayprob: 0.54674
INFO (EDGE.java:800) - ax 8/28 : father SubClassOf male arrayprob: 0.7311
ax 8/28 : father SubClassOf male arrayprob: 0.7311
INFO (EDGE.java:800) - ax 9/28 : male and (father or (hasChild some male)) SubClassOf learnedClass arrayprob: 1.0
ax 9/28 : male and (father or (hasChild some male)) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 10/28 : female SubClassOf person arrayprob: 0.24108
ax 10/28 : female SubClassOf person arrayprob: 0.24108
INFO (EDGE.java:800) - ax 11/28 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 11/28 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 12/28 : hasChild Domain person arrayprob: 0.77968
ax 12/28 : hasChild Domain person arrayprob: 0.77968
INFO (EDGE.java:800) - ax 13/28 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 13/28 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 14/28 : male SubClassOf person arrayprob: 0.64334
ax 14/28 : male SubClassOf person arrayprob: 0.64334
INFO (EDGE.java:800) - ax 15/28 : person SubClassOf Thing arrayprob: 0.55044
ax 15/28 : person SubClassOf Thing arrayprob: 0.55044
INFO (EDGE.java:800) - ax 16/28 : martin Type male arrayprob: 0.12889
ax 16/28 : martin Type male arrayprob: 0.12889
INFO (EDGE.java:800) - ax 17/28 : michelle Type female arrayprob: 0.1466
ax 17/28 : michelle Type female arrayprob: 0.1466
INFO (EDGE.java:800) - ax 18/28 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 18/28 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 19/28 : heinz Type male arrayprob: 0.98519
ax 19/28 : heinz Type male arrayprob: 0.98519
INFO (EDGE.java:800) - ax 20/28 : stefan Type father arrayprob: 0.02319
ax 20/28 : stefan Type father arrayprob: 0.02319
INFO (EDGE.java:800) - ax 21/28 : female DisjointWith male arrayprob: 0.33322
ax 21/28 : female DisjointWith male arrayprob: 0.33322
INFO (EDGE.java:800) - ax 22/28 : martin hasChild heinz arrayprob: 1.0
ax 22/28 : martin hasChild heinz arrayprob: 1.0
INFO (EDGE.java:800) - ax 23/28 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 23/28 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 24/28 : stefan hasChild markus arrayprob: 1.0
ax 24/28 : stefan hasChild markus arrayprob: 1.0
INFO (EDGE.java:800) - ax 25/28 : markus Type male arrayprob: 0.94145
ax 25/28 : markus Type male arrayprob: 0.94145
INFO (EDGE.java:800) - ax 26/28 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
ax 26/28 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 27/28 : martin Type father arrayprob: 0.27495
ax 27/28 : martin Type father arrayprob: 0.27495
INFO (EDGE.java:800) - ax 28/28 : hasChild Range person arrayprob: 0.9998
ax 28/28 : hasChild Range person arrayprob: 0.9998
INFO (EDGE.java:803) -
INFO (EDGE.java:804) - =================================
=================================
INFO (EDGE.java:818) -
INFO (EDGE.java:821) - Name | Total (ms)
Name | Total (ms)
INFO (EDGE.java:821) - ========================================
========================================
INFO (EDGE.java:821) - main | 13489
main | 13489
INFO (EDGE.java:821) - init | 10
init | 10
INFO (EDGE.java:821) - Bundle | 13466
Bundle | 13466
INFO (EDGE.java:821) - Bundle.init | 0
Bundle.init | 0
INFO (EDGE.java:821) - Bundle.explain | 13433
Bundle.explain | 13433
INFO (EDGE.java:821) - Bundle.BDDCalc | 21
Bundle.BDDCalc | 21
INFO (EDGE.java:821) - EM | 7
EM | 7
INFO (EDGE.java:821) - EM.Init | 1
EM.Init | 1
INFO (EDGE.java:821) - EM.Expectation | 3
EM.Expectation | 3
INFO (EDGE.java:821) - EM.Maximization | 0
EM.Maximization | 0
INFO (EDGE.java:821) - EM.Expectation.Forward | 0
EM.Expectation.Forward | 0
INFO (EDGE.java:821) - EM.Expectation.Backward | 1
EM.Expectation.Backward | 1
INFO (EDGE.java:821) - EM.Expectation.Backward.1 | 0
EM.Expectation.Backward.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.1 | 0
EM.Expectation.Backward.1.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.2 | 0
EM.Expectation.Backward.1.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.2 | 1
EM.Expectation.Backward.2 | 1
INFO (EDGE.java:821) - EM.Expectation.Backward.3 | 0
EM.Expectation.Backward.3 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.4 | 0
EM.Expectation.Backward.4 | 0
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Running parameter learner
DEBUG (EDGE.java:146) - EDGE has not been initialized. Starting initialization...
EDGE has not been initialized. Starting initialization...
DEBUG (EDGE.java:826) - Initializing...
Initializing...
DEBUG (EDGE.java:477) - Preparing Probability map...
Preparing Probability map...
DEBUG (BundleUtilities.java:226) - Preparing Probability Map...
Preparing Probability Map...
INFO (BundleUtilities.java:273) - father SubClassOf male => 0.73109
father SubClassOf male => 0.73109
INFO (BundleUtilities.java:273) - female SubClassOf person => 0.24108
female SubClassOf person => 0.24108
INFO (BundleUtilities.java:273) - male SubClassOf person => 0.64334
male SubClassOf person => 0.64334
INFO (BundleUtilities.java:273) - person SubClassOf Thing => 0.55044
person SubClassOf Thing => 0.55044
INFO (BundleUtilities.java:273) - male and (father or (hasChild some female)) SubClassOf learnedClass => 1.0
male and (father or (hasChild some female)) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - male and (hasChild some person) SubClassOf learnedClass => 1.0
male and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
(not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female or (hasChild some person) SubClassOf learnedClass => 1.0
female or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
(not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
(hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - hasChild some person SubClassOf learnedClass => 1.0
hasChild some person SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female DisjointWith male => 0.33322
female DisjointWith male => 0.33322
INFO (BundleUtilities.java:273) - anna Type female => 0.38573
anna Type female => 0.38573
INFO (BundleUtilities.java:273) - heinz Type male => 0.98519
heinz Type male => 0.98519
INFO (BundleUtilities.java:273) - markus Type father => 0.87921
markus Type father => 0.87921
INFO (BundleUtilities.java:273) - markus Type male => 0.94145
markus Type male => 0.94145
INFO (BundleUtilities.java:273) - martin Type father => 0.27496
martin Type father => 0.27496
INFO (BundleUtilities.java:273) - martin Type male => 0.12889
martin Type male => 0.12889
INFO (BundleUtilities.java:273) - michelle Type female => 0.1466
michelle Type female => 0.1466
INFO (BundleUtilities.java:273) - stefan Type father => 0.02321
stefan Type father => 0.02321
INFO (BundleUtilities.java:273) - stefan Type male => 0.54674
stefan Type male => 0.54674
INFO (BundleUtilities.java:273) - anna hasChild heinz => 0.9653
anna hasChild heinz => 0.9653
INFO (BundleUtilities.java:273) - markus hasChild anna => 0.99996
markus hasChild anna => 0.99996
INFO (BundleUtilities.java:273) - martin hasChild heinz => 1.0
martin hasChild heinz => 1.0
INFO (BundleUtilities.java:273) - stefan hasChild markus => 1.0
stefan hasChild markus => 1.0
INFO (BundleUtilities.java:273) - hasChild Domain person => 0.77968
hasChild Domain person => 0.77968
INFO (BundleUtilities.java:273) - hasChild Range person => 0.9998
hasChild Range person => 0.9998
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 28
Probability Map computed. Size: 28
DEBUG (EDGE.java:148) - Initialization completed
Initialization completed
INFO (EDGE.java:198) - Start finding explanations for every example (Computing BDDs)...
Start finding explanations for every example (Computing BDDs)...
INFO (EDGE.java:203) - Query 1 of 4 (25%)
Query 1 of 4 (25%)
DEBUG (EDGE.java:205) - Positive Example: stefan Type learnedClass
Positive Example: stefan Type learnedClass
Apr 20, 2017 2:10:49 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:50 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:52 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:52 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:10:53 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #1: 101 nodes / 45 free / 0.0s / 0.0s total
Garbage collection #2: 101 nodes / 37 free / 0.0s / 0.0s total
Garbage collection #3: 101 nodes / 32 free / 0.0s / 0.0s total
Garbage collection #4: 101 nodes / 29 free / 0.0s / 0.0s total
Garbage collection #5: 101 nodes / 0 free / 0.0s / 0.0s total
Resizing node table from 101 to 199
Garbage collection #6: 199 nodes / 102 free / 0.0s / 0.0s total
Garbage collection #7: 199 nodes / 86 free / 0.0s / 0.0s total
Garbage collection #8: 199 nodes / 85 free / 0.0s / 0.0s total
Garbage collection #9: 199 nodes / 73 free / 0.0s / 0.0s total
Garbage collection #10: 199 nodes / 69 free / 0.0s / 0.0s total
Garbage collection #11: 199 nodes / 70 free / 0.0s / 0.0s total
Garbage collection #12: 199 nodes / 55 free / 0.0s / 0.0s total
Garbage collection #13: 199 nodes / 50 free / 0.001s / 0.001s total
Garbage collection #14: 199 nodes / 63 free / 0.0s / 0.001s total
Garbage collection #15: 199 nodes / 46 free / 0.0s / 0.001s total
Garbage collection #16: 199 nodes / 17 free / 0.0s / 0.001s total
Resizing node table from 199 to 397
Garbage collection #17: 397 nodes / 194 free / 0.0s / 0.001s total
INFO (EDGE.java:203) - Query 2 of 4 (50%)
Query 2 of 4 (50%)
DEBUG (EDGE.java:205) - Positive Example: martin Type learnedClass
Positive Example: martin Type learnedClass
Apr 20, 2017 2:10:57 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #18: 397 nodes / 198 free / 0.0s / 0.001s total
Garbage collection #19: 397 nodes / 160 free / 0.0s / 0.001s total
Garbage collection #20: 397 nodes / 149 free / 0.0s / 0.001s total
INFO (EDGE.java:203) - Query 3 of 4 (75%)
Query 3 of 4 (75%)
DEBUG (EDGE.java:205) - Positive Example: markus Type learnedClass
Positive Example: markus Type learnedClass
Garbage collection #21: 397 nodes / 140 free / 0.001s / 0.002s total
Garbage collection #22: 397 nodes / 98 free / 0.001s / 0.003s total
Garbage collection #23: 397 nodes / 95 free / 0.0s / 0.003s total
Garbage collection #24: 397 nodes / 95 free / 0.0s / 0.003s total
Garbage collection #25: 397 nodes / 75 free / 0.001s / 0.004s total
Resizing node table from 397 to 787
INFO (EDGE.java:258) - Query 4 of 4 (100%)
Query 4 of 4 (100%)
DEBUG (EDGE.java:260) - Negative Example: heinz Type not (learnedClass)
Negative Example: heinz Type not (learnedClass)
DEBUG (EDGE.java:293) - Trying the second method...
Trying the second method...
INFO (EDGE.java:334) - Explanations founding completed (BDDs computed)
Explanations founding completed (BDDs computed)
INFO (EDGE.java:889) - Start EM Algorithm
Start EM Algorithm
INFO (EDGE.java:889) - - n. of probabilistic axioms: 28
- n. of probabilistic axioms: 28
INFO (EDGE.java:889) - - n. of examples: 4
- n. of examples: 4
DEBUG (EDGE.java:907) - EM cycle: 0
EM cycle: 0
DEBUG (EDGE.java:937) - EM cycle: 1
EM cycle: 1
DEBUG (EDGE.java:948) - etas after 1th expectation: [ [8.0E-5, 1.99992][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19328][0.75891, 0.24108][0.0, 2.99999][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.0, 3.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97681, 0.02319][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.88289][0.0, 3.0][0.72504, 0.27495][6.0E-4, 2.99938]]
etas after 1th expectation: [ [8.0E-5, 1.99992][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80672, 2.19328][0.75891, 0.24108][0.0, 2.99999][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.0, 3.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97681, 0.02319][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.88289][0.0, 3.0][0.72504, 0.27495][6.0E-4, 2.99938]]
DEBUG (EDGE.java:963) - Log-likelihood: 0.0 cycle: 1
Log-likelihood: 0.0 cycle: 1
DEBUG (EDGE.java:937) - EM cycle: 2
EM cycle: 2
DEBUG (EDGE.java:948) - etas after 2th expectation: [ [1.6E-4, 3.99984][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.61344, 4.38656][1.51782, 0.48216][0.0, 5.99998][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][0.0, 6.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95363, 0.04637][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76578][0.0, 6.0][1.45009, 0.54989][0.0012, 5.99876]]
etas after 2th expectation: [ [1.6E-4, 3.99984][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.61344, 4.38656][1.51782, 0.48216][0.0, 5.99998][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][0.0, 6.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95363, 0.04637][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76578][0.0, 6.0][1.45009, 0.54989][0.0012, 5.99876]]
DEBUG (EDGE.java:963) - Log-likelihood: 0.0 cycle: 2
Log-likelihood: 0.0 cycle: 2
INFO (EDGE.java:974) - EM completed.
EM completed.
INFO (EDGE.java:975) -
INFO (EDGE.java:975) - Final Log-Likelihood: 0.0
Final Log-Likelihood: 0.0
INFO (EDGE.java:791) -
INFO (EDGE.java:792) - ============ Results ============
============ Results ============
INFO (EDGE.java:793) -
INFO (EDGE.java:800) - ax 1/28 : markus hasChild anna arrayprob: 0.99996
ax 1/28 : markus hasChild anna arrayprob: 0.99996
INFO (EDGE.java:800) - ax 2/28 : markus Type father arrayprob: 0.87921
ax 2/28 : markus Type father arrayprob: 0.87921
INFO (EDGE.java:800) - ax 3/28 : anna Type female arrayprob: 0.38573
ax 3/28 : anna Type female arrayprob: 0.38573
INFO (EDGE.java:800) - ax 4/28 : anna hasChild heinz arrayprob: 0.9653
ax 4/28 : anna hasChild heinz arrayprob: 0.9653
INFO (EDGE.java:800) - ax 5/28 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
ax 5/28 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 6/28 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
ax 6/28 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 7/28 : stefan Type male arrayprob: 0.54674
ax 7/28 : stefan Type male arrayprob: 0.54674
INFO (EDGE.java:800) - ax 8/28 : father SubClassOf male arrayprob: 0.73109
ax 8/28 : father SubClassOf male arrayprob: 0.73109
INFO (EDGE.java:800) - ax 9/28 : female SubClassOf person arrayprob: 0.24108
ax 9/28 : female SubClassOf person arrayprob: 0.24108
INFO (EDGE.java:800) - ax 10/28 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 10/28 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 11/28 : hasChild Domain person arrayprob: 0.77968
ax 11/28 : hasChild Domain person arrayprob: 0.77968
INFO (EDGE.java:800) - ax 12/28 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 12/28 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 13/28 : male SubClassOf person arrayprob: 0.64334
ax 13/28 : male SubClassOf person arrayprob: 0.64334
INFO (EDGE.java:800) - ax 14/28 : person SubClassOf Thing arrayprob: 0.55044
ax 14/28 : person SubClassOf Thing arrayprob: 0.55044
INFO (EDGE.java:800) - ax 15/28 : male and (father or (hasChild some female)) SubClassOf learnedClass arrayprob: 1.0
ax 15/28 : male and (father or (hasChild some female)) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 16/28 : martin Type male arrayprob: 0.12889
ax 16/28 : martin Type male arrayprob: 0.12889
INFO (EDGE.java:800) - ax 17/28 : michelle Type female arrayprob: 0.1466
ax 17/28 : michelle Type female arrayprob: 0.1466
INFO (EDGE.java:800) - ax 18/28 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 18/28 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 19/28 : heinz Type male arrayprob: 0.98519
ax 19/28 : heinz Type male arrayprob: 0.98519
INFO (EDGE.java:800) - ax 20/28 : stefan Type father arrayprob: 0.02319
ax 20/28 : stefan Type father arrayprob: 0.02319
INFO (EDGE.java:800) - ax 21/28 : female DisjointWith male arrayprob: 0.33322
ax 21/28 : female DisjointWith male arrayprob: 0.33322
INFO (EDGE.java:800) - ax 22/28 : martin hasChild heinz arrayprob: 1.0
ax 22/28 : martin hasChild heinz arrayprob: 1.0
INFO (EDGE.java:800) - ax 23/28 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 23/28 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 24/28 : stefan hasChild markus arrayprob: 1.0
ax 24/28 : stefan hasChild markus arrayprob: 1.0
INFO (EDGE.java:800) - ax 25/28 : markus Type male arrayprob: 0.94145
ax 25/28 : markus Type male arrayprob: 0.94145
INFO (EDGE.java:800) - ax 26/28 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
ax 26/28 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 27/28 : martin Type father arrayprob: 0.27495
ax 27/28 : martin Type father arrayprob: 0.27495
INFO (EDGE.java:800) - ax 28/28 : hasChild Range person arrayprob: 0.9998
ax 28/28 : hasChild Range person arrayprob: 0.9998
INFO (EDGE.java:803) -
INFO (EDGE.java:804) - =================================
=================================
INFO (EDGE.java:818) -
INFO (EDGE.java:821) - Name | Total (ms)
Name | Total (ms)
INFO (EDGE.java:821) - ========================================
========================================
INFO (EDGE.java:821) - main | 11024
main | 11024
INFO (EDGE.java:821) - init | 14
init | 14
INFO (EDGE.java:821) - Bundle | 10996
Bundle | 10996
INFO (EDGE.java:821) - Bundle.init | 0
Bundle.init | 0
INFO (EDGE.java:821) - Bundle.explain | 10979
Bundle.explain | 10979
INFO (EDGE.java:821) - Bundle.BDDCalc | 14
Bundle.BDDCalc | 14
INFO (EDGE.java:821) - EM | 8
EM | 8
INFO (EDGE.java:821) - EM.Init | 0
EM.Init | 0
INFO (EDGE.java:821) - EM.Expectation | 5
EM.Expectation | 5
INFO (EDGE.java:821) - EM.Maximization | 0
EM.Maximization | 0
INFO (EDGE.java:821) - EM.Expectation.Forward | 1
EM.Expectation.Forward | 1
INFO (EDGE.java:821) - EM.Expectation.Backward | 1
EM.Expectation.Backward | 1
INFO (EDGE.java:821) - EM.Expectation.Backward.1 | 0
EM.Expectation.Backward.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.1 | 0
EM.Expectation.Backward.1.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.2 | 0
EM.Expectation.Backward.1.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.2 | 1
EM.Expectation.Backward.2 | 1
INFO (EDGE.java:821) - EM.Expectation.Backward.3 | 0
EM.Expectation.Backward.3 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.4 | 0
EM.Expectation.Backward.4 | 0
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Running parameter learner
DEBUG (EDGE.java:146) - EDGE has not been initialized. Starting initialization...
EDGE has not been initialized. Starting initialization...
DEBUG (EDGE.java:826) - Initializing...
Initializing...
DEBUG (EDGE.java:477) - Preparing Probability map...
Preparing Probability map...
DEBUG (BundleUtilities.java:226) - Preparing Probability Map...
Preparing Probability Map...
INFO (BundleUtilities.java:273) - father SubClassOf male => 0.73109
father SubClassOf male => 0.73109
INFO (BundleUtilities.java:273) - female SubClassOf person => 0.24108
female SubClassOf person => 0.24108
INFO (BundleUtilities.java:273) - male SubClassOf person => 0.64334
male SubClassOf person => 0.64334
INFO (BundleUtilities.java:273) - person SubClassOf Thing => 0.55044
person SubClassOf Thing => 0.55044
INFO (BundleUtilities.java:273) - male and (father or (hasChild some father)) SubClassOf learnedClass => 1.0
male and (father or (hasChild some father)) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
male and (father or (hasChild some person)) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - male and (hasChild some person) SubClassOf learnedClass => 1.0
male and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
(not (female)) and (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female or (hasChild some person) SubClassOf learnedClass => 1.0
female or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
(not (male)) or (hasChild some person) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - (hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
(hasChild some female) or (hasChild some male) SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - hasChild some person SubClassOf learnedClass => 1.0
hasChild some person SubClassOf learnedClass => 1.0
INFO (BundleUtilities.java:273) - female DisjointWith male => 0.33322
female DisjointWith male => 0.33322
INFO (BundleUtilities.java:273) - anna Type female => 0.38573
anna Type female => 0.38573
INFO (BundleUtilities.java:273) - heinz Type male => 0.98519
heinz Type male => 0.98519
INFO (BundleUtilities.java:273) - markus Type father => 0.87921
markus Type father => 0.87921
INFO (BundleUtilities.java:273) - markus Type male => 0.94145
markus Type male => 0.94145
INFO (BundleUtilities.java:273) - martin Type father => 0.27496
martin Type father => 0.27496
INFO (BundleUtilities.java:273) - martin Type male => 0.12889
martin Type male => 0.12889
INFO (BundleUtilities.java:273) - michelle Type female => 0.1466
michelle Type female => 0.1466
INFO (BundleUtilities.java:273) - stefan Type father => 0.02321
stefan Type father => 0.02321
INFO (BundleUtilities.java:273) - stefan Type male => 0.54674
stefan Type male => 0.54674
INFO (BundleUtilities.java:273) - anna hasChild heinz => 0.9653
anna hasChild heinz => 0.9653
INFO (BundleUtilities.java:273) - markus hasChild anna => 0.99996
markus hasChild anna => 0.99996
INFO (BundleUtilities.java:273) - martin hasChild heinz => 1.0
martin hasChild heinz => 1.0
INFO (BundleUtilities.java:273) - stefan hasChild markus => 1.0
stefan hasChild markus => 1.0
INFO (BundleUtilities.java:273) - hasChild Domain person => 0.77968
hasChild Domain person => 0.77968
INFO (BundleUtilities.java:273) - hasChild Range person => 0.9998
hasChild Range person => 0.9998
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 28
Probability Map computed. Size: 28
DEBUG (EDGE.java:148) - Initialization completed
Initialization completed
INFO (EDGE.java:198) - Start finding explanations for every example (Computing BDDs)...
Start finding explanations for every example (Computing BDDs)...
INFO (EDGE.java:203) - Query 1 of 4 (25%)
Query 1 of 4 (25%)
DEBUG (EDGE.java:205) - Positive Example: stefan Type learnedClass
Positive Example: stefan Type learnedClass
Apr 20, 2017 2:11:00 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:11:01 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:11:04 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Apr 20, 2017 2:11:05 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #1: 101 nodes / 46 free / 0.0s / 0.0s total
Garbage collection #2: 101 nodes / 37 free / 0.0s / 0.0s total
Garbage collection #3: 101 nodes / 32 free / 0.001s / 0.001s total
Garbage collection #4: 101 nodes / 29 free / 0.0s / 0.001s total
Garbage collection #5: 101 nodes / 0 free / 0.0s / 0.001s total
Resizing node table from 101 to 199
Garbage collection #6: 199 nodes / 102 free / 0.001s / 0.002s total
Garbage collection #7: 199 nodes / 86 free / 0.0s / 0.002s total
Garbage collection #8: 199 nodes / 76 free / 0.0s / 0.002s total
Garbage collection #9: 199 nodes / 82 free / 0.0s / 0.002s total
Garbage collection #10: 199 nodes / 72 free / 0.0s / 0.002s total
Garbage collection #11: 199 nodes / 34 free / 0.0s / 0.002s total
Resizing node table from 199 to 397
Garbage collection #12: 397 nodes / 226 free / 0.0s / 0.002s total
Garbage collection #13: 397 nodes / 163 free / 0.0s / 0.002s total
Garbage collection #14: 397 nodes / 137 free / 0.0s / 0.002s total
INFO (EDGE.java:203) - Query 2 of 4 (50%)
Query 2 of 4 (50%)
DEBUG (EDGE.java:205) - Positive Example: martin Type learnedClass
Positive Example: martin Type learnedClass
Apr 20, 2017 2:11:11 PM unife.bundle.explanation.BundleGlassBoxExplanation getPelletExplanation
WARNING: Prepare KB problem: null
Garbage collection #15: 397 nodes / 181 free / 0.0s / 0.002s total
Garbage collection #16: 397 nodes / 148 free / 0.0s / 0.002s total
Garbage collection #17: 397 nodes / 140 free / 0.0s / 0.002s total
Garbage collection #18: 397 nodes / 116 free / 0.0s / 0.002s total
INFO (EDGE.java:203) - Query 3 of 4 (75%)
Query 3 of 4 (75%)
DEBUG (EDGE.java:205) - Positive Example: markus Type learnedClass
Positive Example: markus Type learnedClass
Garbage collection #19: 397 nodes / 104 free / 0.0s / 0.002s total
Garbage collection #20: 397 nodes / 77 free / 0.0s / 0.002s total
Resizing node table from 397 to 787
Garbage collection #21: 787 nodes / 431 free / 0.0s / 0.002s total
INFO (EDGE.java:258) - Query 4 of 4 (100%)
Query 4 of 4 (100%)
DEBUG (EDGE.java:260) - Negative Example: heinz Type not (learnedClass)
Negative Example: heinz Type not (learnedClass)
DEBUG (EDGE.java:293) - Trying the second method...
Trying the second method...
INFO (EDGE.java:334) - Explanations founding completed (BDDs computed)
Explanations founding completed (BDDs computed)
INFO (EDGE.java:889) - Start EM Algorithm
Start EM Algorithm
INFO (EDGE.java:889) - - n. of probabilistic axioms: 28
- n. of probabilistic axioms: 28
INFO (EDGE.java:889) - - n. of examples: 4
- n. of examples: 4
DEBUG (EDGE.java:907) - EM cycle: 0
EM cycle: 0
DEBUG (EDGE.java:937) - EM cycle: 1
EM cycle: 1
DEBUG (EDGE.java:948) - etas after 1th expectation: [ [8.0E-5, 1.99992][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80671, 2.19328][0.75891, 0.24108][0.0, 2.99999][0.0, 3.0][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97681, 0.02319][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.88289][0.0, 3.0][0.72504, 0.27495][6.1E-4, 2.99938]]
etas after 1th expectation: [ [8.0E-5, 1.99992][0.24157, 1.75842][0.61426, 0.38573][0.0347, 0.96529][0.0, 2.99999][0.0, 3.0][0.45326, 0.54674][0.80671, 2.19328][0.75891, 0.24108][0.0, 2.99999][0.0, 3.0][0.44063, 1.55936][0.0, 3.0][0.71332, 1.28668][0.0, 0.0][0.87111, 0.12889][0.0, 0.0][0.0, 2.99999][0.01481, 0.98519][0.97681, 0.02319][2.00035, 0.99965][0.0, 1.0][0.0, 3.0][0.0, 1.0][0.1171, 1.88289][0.0, 3.0][0.72504, 0.27495][6.1E-4, 2.99938]]
DEBUG (EDGE.java:963) - Log-likelihood: 0.0 cycle: 1
Log-likelihood: 0.0 cycle: 1
DEBUG (EDGE.java:937) - EM cycle: 2
EM cycle: 2
DEBUG (EDGE.java:948) - etas after 2th expectation: [ [1.6E-4, 3.99984][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.6134, 4.38658][1.51782, 0.48216][0.0, 5.99998][0.0, 6.0][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95363, 0.04637][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76578][0.0, 6.0][1.45009, 0.54989][0.00122, 5.99876]]
etas after 2th expectation: [ [1.6E-4, 3.99984][0.48314, 3.51684][1.22852, 0.77146][0.0694, 1.93058][0.0, 5.99998][0.0, 6.0][0.90652, 1.09348][1.6134, 4.38658][1.51782, 0.48216][0.0, 5.99998][0.0, 6.0][0.88126, 3.11872][0.0, 6.0][1.42664, 2.57336][0.0, 0.0][1.74222, 0.25778][0.0, 0.0][0.0, 5.99998][0.02962, 1.97038][1.95363, 0.04637][4.0007, 1.9993][0.0, 2.0][0.0, 6.0][0.0, 2.0][0.2342, 3.76578][0.0, 6.0][1.45009, 0.54989][0.00122, 5.99876]]
DEBUG (EDGE.java:963) - Log-likelihood: 0.0 cycle: 2
Log-likelihood: 0.0 cycle: 2
INFO (EDGE.java:974) - EM completed.
EM completed.
INFO (EDGE.java:975) -
INFO (EDGE.java:975) - Final Log-Likelihood: 0.0
Final Log-Likelihood: 0.0
INFO (EDGE.java:791) -
INFO (EDGE.java:792) - ============ Results ============
============ Results ============
INFO (EDGE.java:793) -
INFO (EDGE.java:800) - ax 1/28 : markus hasChild anna arrayprob: 0.99996
ax 1/28 : markus hasChild anna arrayprob: 0.99996
INFO (EDGE.java:800) - ax 2/28 : markus Type father arrayprob: 0.87921
ax 2/28 : markus Type father arrayprob: 0.87921
INFO (EDGE.java:800) - ax 3/28 : anna Type female arrayprob: 0.38573
ax 3/28 : anna Type female arrayprob: 0.38573
INFO (EDGE.java:800) - ax 4/28 : anna hasChild heinz arrayprob: 0.9653
ax 4/28 : anna hasChild heinz arrayprob: 0.9653
INFO (EDGE.java:800) - ax 5/28 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
ax 5/28 : (hasChild some female) or (hasChild some male) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 6/28 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
ax 6/28 : hasChild some person SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 7/28 : stefan Type male arrayprob: 0.54674
ax 7/28 : stefan Type male arrayprob: 0.54674
INFO (EDGE.java:800) - ax 8/28 : father SubClassOf male arrayprob: 0.7311
ax 8/28 : father SubClassOf male arrayprob: 0.7311
INFO (EDGE.java:800) - ax 9/28 : female SubClassOf person arrayprob: 0.24108
ax 9/28 : female SubClassOf person arrayprob: 0.24108
INFO (EDGE.java:800) - ax 10/28 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 10/28 : female or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 11/28 : male and (father or (hasChild some father)) SubClassOf learnedClass arrayprob: 1.0
ax 11/28 : male and (father or (hasChild some father)) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 12/28 : hasChild Domain person arrayprob: 0.77968
ax 12/28 : hasChild Domain person arrayprob: 0.77968
INFO (EDGE.java:800) - ax 13/28 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 13/28 : (not (male)) or (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 14/28 : male SubClassOf person arrayprob: 0.64334
ax 14/28 : male SubClassOf person arrayprob: 0.64334
INFO (EDGE.java:800) - ax 15/28 : person SubClassOf Thing arrayprob: 0.55044
ax 15/28 : person SubClassOf Thing arrayprob: 0.55044
INFO (EDGE.java:800) - ax 16/28 : martin Type male arrayprob: 0.12889
ax 16/28 : martin Type male arrayprob: 0.12889
INFO (EDGE.java:800) - ax 17/28 : michelle Type female arrayprob: 0.1466
ax 17/28 : michelle Type female arrayprob: 0.1466
INFO (EDGE.java:800) - ax 18/28 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 18/28 : male and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 19/28 : heinz Type male arrayprob: 0.98519
ax 19/28 : heinz Type male arrayprob: 0.98519
INFO (EDGE.java:800) - ax 20/28 : stefan Type father arrayprob: 0.02319
ax 20/28 : stefan Type father arrayprob: 0.02319
INFO (EDGE.java:800) - ax 21/28 : female DisjointWith male arrayprob: 0.33322
ax 21/28 : female DisjointWith male arrayprob: 0.33322
INFO (EDGE.java:800) - ax 22/28 : martin hasChild heinz arrayprob: 1.0
ax 22/28 : martin hasChild heinz arrayprob: 1.0
INFO (EDGE.java:800) - ax 23/28 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
ax 23/28 : (not (female)) and (hasChild some person) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 24/28 : stefan hasChild markus arrayprob: 1.0
ax 24/28 : stefan hasChild markus arrayprob: 1.0
INFO (EDGE.java:800) - ax 25/28 : markus Type male arrayprob: 0.94145
ax 25/28 : markus Type male arrayprob: 0.94145
INFO (EDGE.java:800) - ax 26/28 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
ax 26/28 : male and (father or (hasChild some person)) SubClassOf learnedClass arrayprob: 1.0
INFO (EDGE.java:800) - ax 27/28 : martin Type father arrayprob: 0.27495
ax 27/28 : martin Type father arrayprob: 0.27495
INFO (EDGE.java:800) - ax 28/28 : hasChild Range person arrayprob: 0.9998
ax 28/28 : hasChild Range person arrayprob: 0.9998
INFO (EDGE.java:803) -
INFO (EDGE.java:804) - =================================
=================================
INFO (EDGE.java:818) -
INFO (EDGE.java:821) - Name | Total (ms)
Name | Total (ms)
INFO (EDGE.java:821) - ========================================
========================================
INFO (EDGE.java:821) - main | 13765
main | 13765
INFO (EDGE.java:821) - init | 15
init | 15
INFO (EDGE.java:821) - Bundle | 13738
Bundle | 13738
INFO (EDGE.java:821) - Bundle.init | 0
Bundle.init | 0
INFO (EDGE.java:821) - Bundle.explain | 13725
Bundle.explain | 13725
INFO (EDGE.java:821) - Bundle.BDDCalc | 9
Bundle.BDDCalc | 9
INFO (EDGE.java:821) - EM | 5
EM | 5
INFO (EDGE.java:821) - EM.Init | 1
EM.Init | 1
INFO (EDGE.java:821) - EM.Expectation | 2
EM.Expectation | 2
INFO (EDGE.java:821) - EM.Maximization | 0
EM.Maximization | 0
INFO (EDGE.java:821) - EM.Expectation.Forward | 1
EM.Expectation.Forward | 1
INFO (EDGE.java:821) - EM.Expectation.Backward | 0
EM.Expectation.Backward | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1 | 0
EM.Expectation.Backward.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.1 | 0
EM.Expectation.Backward.1.1 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.1.2 | 0
EM.Expectation.Backward.1.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.2 | 0
EM.Expectation.Backward.2 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.3 | 0
EM.Expectation.Backward.3 | 0
INFO (EDGE.java:821) - EM.Expectation.Backward.4 | 0
EM.Expectation.Backward.4 | 0
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Replacing super class "dummyClass" with "classToDescribe"
Learned Axiom: hasChild some person SubClassOf father
Learned Axiom: female or (hasChild some person) SubClassOf father
Learned Axiom: male and (hasChild some person) SubClassOf father
Learned Axiom: (not (male)) or (hasChild some person) SubClassOf father
Learned Axiom: (not (female)) and (hasChild some person) SubClassOf father
Learned Axiom: (hasChild some female) or (hasChild some male) SubClassOf father
Learned Axiom: male and (father or (hasChild some person)) SubClassOf father
Replaced all the super classes
Saving the learned ontology
Main: 63205 ms
CELOE: 10002 ms
EDGE: 52935 ms
Bundle: 52465 ms
BDDCalc: 109 ms
explain: 52304 ms
init: 0 ms
EM: 269 ms
Expectation: 129 ms
Backward: 16 ms
1: 3 ms
1: 1 ms
2: 2 ms
2: 6 ms
3: 5 ms
4: 0 ms
Forward: 14 ms
Init: 4 ms
Maximization: 1 ms
init: 140 ms
Other: 268 ms
Program client: execution successfully terminated
Test case 3 - Dummy parameter learner
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit' is not recognized.
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'entityExpansionLimit' is not recognized.
Total number of triples: 27
Loaded OntologyID(OntologyIRI(<http://example.com/father>) VersionIRI(<null>))
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
materialising concepts
materialising object properties ...
finished materialising object properties.
materialising datatype properties
finished materialising data properties.
...TBox materialised in 1 ms.
Numeric Splits: {}
Debug logger: true
getting the individuals
convert the individuals into assertional axioms
Starting structure learner LEAP
start class:Thing
more accurate (75.00%) class expression found after 0ms: Thing
computeM
BOOL DPs:[]
Numeric DPs:[]
most general properties:
`hasChild=1
m: {1=[person], 2=[not (father), not (female)], 3=[hasChild some Thing, hasChild only Thing], 4=[hasChild max 0 Thing]}
more accurate (100.00%) class expression found after 5ms: hasChild some person
Algorithm terminated successfully (time: 10s 0ms, 9460 descriptions tested, 6584 nodes in the search tree).
number of retrievals: 9605
retrieval reasoning time: 64ms ( 0ms per retrieval)
number of instance checks: 56 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 299 (0 multiple)
subsumption reasoning time: 39ms ( 0ms per subsumption check)
overall reasoning time: 104ms
solutions:
1: hasChild some person 100.00%
2: female or (hasChild some person) 100.00%
3: male and (hasChild some person) 100.00%
4: (not (male)) or (hasChild some person) 100.00%
5: (not (female)) and (hasChild some person) 100.00%
6: (hasChild some female) or (hasChild some male) 100.00%
7: male and (father or (hasChild some person)) 100.00%
8: male and (father or (hasChild some male)) 100.00%
9: male and (father or (hasChild some female)) 100.00%
10: male and (father or (hasChild some father)) 100.00%
Start greedy search
Initial Log-likelihood: -41.44653
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Type of axiom to learn: subClassOf axioms
number of axiom chunks: 10
Adding axiom: hasChild some person SubClassOf learnedClass
Running parameter learner
Created 21 probabilistic axiom
Probability Map computed. Size: 21
Current Log-Likelihood: 0.0
Log-Likelihood enhanced. Updating ontologies...
Updating ontology
Successful creation of the learned ontology
Ontology created in 4.0 (ms)
Ontology Updated
Adding axiom: female or (hasChild some person) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: male and (hasChild some person) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: (not (male)) or (hasChild some person) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: (not (female)) and (hasChild some person) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: (hasChild some female) or (hasChild some male) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: male and (father or (hasChild some person)) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: male and (father or (hasChild some male)) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: male and (father or (hasChild some female)) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: male and (father or (hasChild some father)) SubClassOf learnedClass
Running parameter learner
Probability Map computed. Size: 22
Current Log-Likelihood: 0.0
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Replacing super class "dummyClass" with "classToDescribe"
Learned Axiom: hasChild some person SubClassOf father
Replaced all the super classes
Saving the learned ontology
Main: 10038 ms
CELOE: 10002 ms
DummyParameterLearner: 0 ms
Other: 36 ms
Program client: execution successfully terminated
Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 87.068 sec - in org.dllearner.unife.algorithms.probabilistic.structure.leap.LEAPTest
Results :
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ components-ext ---
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar to /usr/share/tomcat6/.m2/repository/org/dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-ext/pom.xml to /usr/share/tomcat6/.m2/repository/org/dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.pom
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building dllearner-interfaces 1.3.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[INFO]
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces ---
[INFO]
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces ---
[INFO]
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/main/javacc
[INFO]
[INFO] --- maven-resources-plugin:3.0.1:resources (default-resources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 391 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:compile (default-compile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 127 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/target/classes
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Some input files use or override a deprecated API.
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Recompile with -Xlint:deprecation for details.
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/main/java/org/dllearner/configuration/spring/editors/AbstractPropertyEditor.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/main/java/org/dllearner/configuration/spring/editors/AbstractPropertyEditor.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.0.1:testResources (default-testResources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/target/test-classes
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-surefire-plugin:2.19.1:test (default-test) @ interfaces ---
[INFO] Surefire report directory: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/target/surefire-reports
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.dllearner.cli.FatherCLITest
Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 1s 701ms. Status: OK
Initializing component 'embeddedReasoner' of type OWL API Reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
... initialized component 'embeddedReasoner' in 574ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Materializing TBox...
...TBox materialised in 252 ms.
... initialized component 'reasoner' in 254ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 26ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 3ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (27098 descriptions tested).
Initializing component 'ks' of type KB File ...
... initialized component 'ks' in 55ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
...TBox materialised in 1 ms.
... initialized component 'reasoner' in 126ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 12ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'h' of type multiple criteria heuristic ...
... initialized component 'h' in 0ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 3ms. Status: OK
starting top down refinement with: Thing (42.857% accuracy)
more accurate (85.71%) class expression found: male
more accurate (100.00%) class expression found: male and (hasChild some Thing)
Maximum time (15 seconds) reached, stopping now...
solutions (at most 20 are shown):
1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
Algorithm stopped (29405 descriptions tested).
Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 37.196 sec - in org.dllearner.cli.FatherCLITest
Running org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
Initializing component 'fourthBean' of type TestBean Component ...
... initialized component 'fourthBean' in 0ms. Status: OK
Initializing component 'thirdBean' of type TestBean Component ...
... initialized component 'thirdBean' in 0ms. Status: OK
Initializing component 'secondBean' of type TestBean Component ...
... initialized component 'secondBean' in 0ms. Status: OK
Initializing component 'testBean' of type TestBean Component ...
... initialized component 'testBean' in 0ms. Status: OK
Initializing component 'fifthBean' of type TestBean Component ...
... initialized component 'fifthBean' in 0ms. Status: OK
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.179 sec - in org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
Running org.dllearner.confparser3.ParseTest
ks.type = KB File
ks.fileName = father.kb
reasoner.type = cwr
reasoner.reasonerComponent = embeddedReasoner (bean reference)
embeddedReasoner.type = OWL API Reasoner
embeddedReasoner.sources = [ks]
lp.type = posNegStandard
lp.positiveExamples = [http://localhost/foo#markus, http://localhost/foo#stefan, http://localhost/foo#bernd]
lp.negativeExamples = [http://localhost/foo#gabi, http://localhost/foo#anna, http://localhost/foo#michelle, http://localhost/foo#heinz]
lp.reasoner = reasoner (bean reference)
op.type = rho
op.useCardinalityRestrictions = true
op.reasoner = reasoner (bean reference)
h.type = multiheuristic
h.expansionPenaltyFactor = 0.2
alg.type = ocel
alg.reasoner = reasoner (bean reference)
alg.operator = op (bean reference)
alg.heuristic = h (bean reference)
alg.maxExecutionTimeInSeconds = 15
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.01 sec - in org.dllearner.confparser3.ParseTest
Running org.dllearner.test.junit.LearningProblemTest
Initializing component 'acc' of type Predictive Accuracy without Weak elimination ...
... initialized component 'acc' in 0ms. Status: OK
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 1ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
Property cytogen_ca has more than one value [false, true] for individual d135. We ignore the value.
Property cytogen_ca has value [false, true]. Cannot determine whether it is false.
...TBox materialised in 15014 ms.
... initialized component 'reasoner' in 23s 30ms. Status: OK
Initializing component 'op' of type rho refinement operator ...
... initialized component 'op' in 131ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 1ms. Status: OK
Initializing component 'alg' of type OWL Class Expression Learner ...
... initialized component 'alg' in 4ms. Status: OK
concept: Compound and ((hasStructure some Ar_halide) or (amesTestPositive some {true})) and (hasAtom only (not (Nitrogen-35))) {12}
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 23.452 sec - in org.dllearner.test.junit.LearningProblemTest
Results :
Tests run: 5, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO]
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ interfaces ---
[INFO] Building jar: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/target/dl-learner.jar
[INFO]
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces ---
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat6/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/pom.xml to /usr/share/tomcat6/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom
[INFO]
[INFO] ------------------------------------------------------------------------
[INFO] Building interfaces-ext 1.3.1-SNAPSHOT
[INFO] ------------------------------------------------------------------------
[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/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/src/main/javacc
[INFO]
[INFO] --- maven-resources-plugin:3.0.1: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.5.1:compile (default-compile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 73 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/ListOrSetTypeImpl.java: Recompile with -Xlint:unchecked for details.
[INFO]
[INFO] --- maven-resources-plugin:3.0.1:testResources (default-testResources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 1 resource
[INFO]
[INFO] --- maven-compiler-plugin:3.5.1:testCompile (default-testCompile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 3 source files to /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/test-classes
[INFO]
[INFO] --- maven-surefire-plugin:2.18.1:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire-reports
-------------------------------------------------------
T E S T S
-------------------------------------------------------
Running org.dllearner.unife.cli.OntologyValidationTest
run
Jena initialization
Add location: LocatorFile
Add location: ClassLoaderLocator
Failed to find configuration: file:location-mapping.rdf;file:location-mapping.n3;file:location-mapping.ttl;file:etc/location-mapping.rdf;file:etc/location-mapping.n3;file:etc/location-mapping.ttl
Add location: LocatorFile
Add location: LocatorURL
Add location: ClassLoaderLocator
Failed to find configuration: location-mapping.ttl;location-mapping.rdf;location-mapping.n3;etc/location-mapping.rdf;etc/location-mapping.n3;etc/location-mapping.ttl
System architecture: 64 bit
Number of sources: 1
creating ontology through merging of the sources
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit' is not recognized.
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'entityExpansionLimit' is not recognized.
http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'http://www.oracle.com/xml/jaxp/properties/entityExpansionLimit' is not recognized.
entityExpansionLimit not supported by parser type org.apache.xerces.jaxp.SAXParserImpl, error message: Property 'entityExpansionLimit' is not recognized.
Merging the ontologies...
Ontologies merged. Complete ontology created
DEBUG (BundleUtilities.java:226) - Preparing Probability Map...
Preparing Probability Map...
INFO (BundleUtilities.java:300) - Probability Map computed. Size: 30
Probability Map computed. Size: 30
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 17.586 sec - in org.dllearner.unife.cli.OntologyValidationTest
Running org.dllearner.unife.cli.CLILEAPTest
main
DL-Learner command line interface
File "../examples/probabilistic/carcinogenesis/run3.conf" does not exist.
Results :
Tests run: 1, Failures: 0, Errors: 0, Skipped: 0
[JENKINS] Recording test results
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO]
[INFO] DL Learner Parent Pom ............................. SUCCESS [ 0.911 s]
[INFO] DL Learner Core Components ........................ SUCCESS [03:37 min]
[INFO] components-ext .................................... SUCCESS [02:15 min]
[INFO] dllearner-interfaces .............................. SUCCESS [01:14 min]
[INFO] interfaces-ext .................................... FAILURE [ 28.345 s]
[INFO] Executable scripts ................................ SKIPPED
[INFO] ------------------------------------------------------------------------
[INFO] BUILD FAILURE
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 07:40 min
[INFO] Finished at: 2017-04-20T14:13:13+01:00
[INFO] Final Memory: 82M/244M
[INFO] ------------------------------------------------------------------------
[ERROR] Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.18.1:test (default-test) on project interfaces-ext: Execution default-test of goal org.apache.maven.plugins:maven-surefire-plugin:2.18.1:test failed: The forked VM terminated without properly saying goodbye. VM crash or System.exit called?
[ERROR] Command was /bin/sh -c cd "/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext" && /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java -Dlog4j.configuration=log4j.properties -jar '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefirebooter213192339499917021.jar' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire4868308096822963687tmp' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire_17573533408734396125tmp'
[ERROR] -> [Help 1]
org.apache.maven.lifecycle.LifecycleExecutionException: Failed to execute goal org.apache.maven.plugins:maven-surefire-plugin:2.18.1:test (default-test) on project interfaces-ext: Execution default-test of goal org.apache.maven.plugins:maven-surefire-plugin:2.18.1:test failed: The forked VM terminated without properly saying goodbye. VM crash or System.exit called?
Command was /bin/sh -c cd "/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext" && /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java -Dlog4j.configuration=log4j.properties -jar '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefirebooter213192339499917021.jar' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire4868308096822963687tmp' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire_17573533408734396125tmp'
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:224)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:153)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:145)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:108)
at org.apache.maven.lifecycle.internal.LifecycleModuleBuilder.buildProject(LifecycleModuleBuilder.java:76)
at org.apache.maven.lifecycle.internal.builder.singlethreaded.SingleThreadedBuilder.build(SingleThreadedBuilder.java:51)
at org.apache.maven.lifecycle.internal.LifecycleStarter.execute(LifecycleStarter.java:116)
at org.apache.maven.DefaultMaven.doExecute(DefaultMaven.java:361)
at org.apache.maven.DefaultMaven.execute(DefaultMaven.java:155)
at org.jvnet.hudson.maven3.launcher.Maven32Launcher.main(Maven32Launcher.java:132)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at org.codehaus.plexus.classworlds.launcher.Launcher.launchStandard(Launcher.java:330)
at org.codehaus.plexus.classworlds.launcher.Launcher.launch(Launcher.java:238)
at jenkins.maven3.agent.Maven32Main.launch(Maven32Main.java:186)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:498)
at hudson.maven.Maven3Builder.call(Maven3Builder.java:133)
at hudson.maven.Maven3Builder.call(Maven3Builder.java:68)
at hudson.remoting.UserRequest.perform(UserRequest.java:152)
at hudson.remoting.UserRequest.perform(UserRequest.java:50)
at hudson.remoting.Request$2.run(Request.java:332)
at hudson.remoting.InterceptingExecutorService$1.call(InterceptingExecutorService.java:68)
at java.util.concurrent.FutureTask.run(FutureTask.java:266)
at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1142)
at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:617)
at java.lang.Thread.run(Thread.java:745)
Caused by: org.apache.maven.plugin.PluginExecutionException: Execution default-test of goal org.apache.maven.plugins:maven-surefire-plugin:2.18.1:test failed: The forked VM terminated without properly saying goodbye. VM crash or System.exit called?
Command was /bin/sh -c cd "/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext" && /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java -Dlog4j.configuration=log4j.properties -jar '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefirebooter213192339499917021.jar' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire4868308096822963687tmp' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire_17573533408734396125tmp'
at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:144)
at org.apache.maven.lifecycle.internal.MojoExecutor.execute(MojoExecutor.java:208)
... 30 more
Caused by: java.lang.RuntimeException: The forked VM terminated without properly saying goodbye. VM crash or System.exit called?
Command was /bin/sh -c cd "/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext" && /usr/lib/jvm/java-8-openjdk-amd64/jre/bin/java -Dlog4j.configuration=log4j.properties -jar '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefirebooter213192339499917021.jar' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire4868308096822963687tmp' '/usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/target/surefire/surefire_17573533408734396125tmp'
at org.apache.maven.plugin.surefire.booterclient.ForkStarter.fork(ForkStarter.java:515)
at org.apache.maven.plugin.surefire.booterclient.ForkStarter.fork(ForkStarter.java:380)
at org.apache.maven.plugin.surefire.booterclient.ForkStarter.run(ForkStarter.java:167)
at org.apache.maven.plugin.surefire.AbstractSurefireMojo.executeProvider(AbstractSurefireMojo.java:990)
at org.apache.maven.plugin.surefire.AbstractSurefireMojo.executeAfterPreconditionsChecked(AbstractSurefireMojo.java:824)
at org.apache.maven.plugin.surefire.AbstractSurefireMojo.execute(AbstractSurefireMojo.java:722)
at org.apache.maven.plugin.DefaultBuildPluginManager.executeMojo(DefaultBuildPluginManager.java:133)
... 31 more
[ERROR]
[ERROR] Re-run Maven using the -X switch to enable full debug logging.
[ERROR]
[ERROR] For more information about the errors and possible solutions, please read the following articles:
[ERROR] [Help 1] http://cwiki.apache.org/confluence/display/MAVEN/PluginExecutionException
[ERROR]
[ERROR] After correcting the problems, you can resume the build with the command
[ERROR] mvn <goals> -rf :interfaces-ext
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/scripts/pom.xml to org.dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/pom.xml to org.dllearner/dllearner-parent/1.3.1-SNAPSHOT/dllearner-parent-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/interfaces-ext/pom.xml to org.dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-core/pom.xml to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-core/target/components-core-1.3.1-SNAPSHOT.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat6/.jenkins/jobs/DL-Learner Merge-M/branches/leap-alternative/workspace/components-core/target/components-core-1.3.1-SNAPSHOT-tests.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT-tests.jar
channel stopped
[File exists] check if file exists [.git/MERGE_MODE]
Run condition [Not] enabling perform for step [[Set GitHub commit status (universal)]]
[Set GitHub commit status (universal)] ERROR on repos [GHRepository@48ce0338[description=A tool for supervised Machine Learning in OWL and Description Logics,homepage=http://dl-learner.org,name=DL-Learner,license=<null>,fork=false,size=253571,milestones={},language=Web Ontology Language,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/AKSW/DL-Learner,id=22693515]] (sha:c624373) with context:jenkins-merge
Setting commit status on GitHub for https://github.com/AKSW/DL-Learner/commit/c624373798863bb2ecda07ff1cc8671cd5e048b1
Finished: FAILURE
![[Jenkins]](/jenkins/static/921bb46b/images/jenkins-header-logo-v2.svg){kind=logo}
Console Output