Console Output

Skipping 111 KB.. Full Log

&B Information Score                    1.3758 bits      0.0146 bits/instance
Class complexity | order 0              24.7899 bits      0.2637 bits/instance
Class complexity | scheme               24.8735 bits      0.2646 bits/instance
Complexity improvement     (Sf)         -0.0836 bits     -0.0009 bits/instance
Mean absolute error                      0.0817
Root mean squared error                  0.2033
Relative absolute error                 89.4343 %
Root relative squared error             99.8984 %
Total Number of Instances               94     

[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 22.764 s - in org.dllearner.algorithms.miles.MILESTest
[INFO] Running org.dllearner.algorithms.probabilistic.structure.unife.leap.LEAPTest
Current dir: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-ext
Test case 1 - Equivalent axioms

[..........] 0%
[==........] 20%
[====......] 40%
[======....] 60%
[==========] 100%

[========..] 80%
[==========] 100%

[==========] 100%
DEBUG (EDGE.java:63) - Initializing EDGE
Initializing EDGE
Debug logger: false
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
# examples: 3
# positive examples: 3
# examples: 4
# negative examples: 1
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 9 probabilistic axiom
Probability Map computed. Size: 9
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 9 probabilistic axiom
Probability Map computed. Size: 9
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   learnedClass equivalentTo hasChild some person
     martin hasChild heinz
     hasChild range person
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild range person
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	9
	- n. of examples:		4
stefan Type learnedClass - prob: 0.71989 - tag: 1 - #vars: 2
martin Type learnedClass - prob: 0.64265 - tag: 2 - #vars: 2
markus Type learnedClass - prob: 0.64265 - tag: 3 - #vars: 2
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.21298 cycle: 1
EM cycle: 2
Log-likelihood: 0.00000 cycle: 2
EM cycle: 3
Log-likelihood: 0.00000 cycle: 3
EM completed.

  Final Log-Likelihood: 0.00000

Name           | Total (ms)
===========================
main           |         86
init           |         22
Bundle         |         50
Bundle.init    |          0
Bundle.explain |         41
Bundle.BDDCalc |          1
EM             |          4
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 2.0 (ms)
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     learnedClass equivalentTo ( female
                                 or hasChild some person
     )
     

2)   stefan hasChild markus
     learnedClass equivalentTo ( female
                                 or hasChild some person
     )
     hasChild range person
     

3)   learnedClass equivalentTo hasChild some person
     stefan hasChild markus
     hasChild range person
     

4)   learnedClass equivalentTo hasChild some person
     male subClassOf person
     stefan hasChild markus
     markus type male
     

5)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     learnedClass equivalentTo ( female
                                 or hasChild some person
     )
     hasChild range person
     

2)   learnedClass equivalentTo hasChild some person
     martin hasChild heinz
     hasChild range person
     

3)   learnedClass equivalentTo hasChild some person
     heinz type male
     male subClassOf person
     martin hasChild heinz
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     learnedClass equivalentTo ( female
                                 or hasChild some person
     )
     hasChild range person
     

2)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild range person
     

3)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.79105 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.75738 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.76136 - tag: 3 - #vars: 4
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -0.78494 cycle: 1
EM cycle: 2
Log-likelihood: -0.22112 cycle: 2
EM cycle: 3
Log-likelihood: -0.14687 cycle: 3
EM cycle: 4
Log-likelihood: -0.11459 cycle: 4
EM cycle: 5
Log-likelihood: -0.09587 cycle: 5
EM cycle: 6
Log-likelihood: -0.08346 cycle: 6
EM cycle: 7
Log-likelihood: -0.07450 cycle: 7
EM cycle: 8
Log-likelihood: -0.06768 cycle: 8
EM cycle: 9
Log-likelihood: -0.06227 cycle: 9
EM cycle: 10
Log-likelihood: -0.05786 cycle: 10
EM cycle: 11
Log-likelihood: -0.05416 cycle: 11
EM cycle: 12
Log-likelihood: -0.05102 cycle: 12
EM cycle: 13
Log-likelihood: -0.04833 cycle: 13
EM cycle: 14
Log-likelihood: -0.04598 cycle: 14
EM cycle: 15
Log-likelihood: -0.04391 cycle: 15
EM cycle: 16
Log-likelihood: -0.04205 cycle: 16
EM cycle: 17
Log-likelihood: -0.04039 cycle: 17
EM cycle: 18
Log-likelihood: -0.03890 cycle: 18
EM cycle: 19
Log-likelihood: -0.03753 cycle: 19
EM cycle: 20
Log-likelihood: -0.03628 cycle: 20
EM cycle: 21
Log-likelihood: -0.03515 cycle: 21
EM cycle: 22
Log-likelihood: -0.03408 cycle: 22
EM cycle: 23
Log-likelihood: -0.03310 cycle: 23
EM cycle: 24
Log-likelihood: -0.03223 cycle: 24
EM cycle: 25
Log-likelihood: -0.03138 cycle: 25
EM cycle: 26
Log-likelihood: -0.03059 cycle: 26
EM cycle: 27
Log-likelihood: -0.02985 cycle: 27
EM cycle: 28
Log-likelihood: -0.02916 cycle: 28
EM cycle: 29
Log-likelihood: -0.02849 cycle: 29
EM cycle: 30
Log-likelihood: -0.02787 cycle: 30
EM cycle: 31
Log-likelihood: -0.02729 cycle: 31
EM cycle: 32
Log-likelihood: -0.02677 cycle: 32
EM cycle: 33
Log-likelihood: -0.02621 cycle: 33
EM cycle: 34
Log-likelihood: -0.02574 cycle: 34
EM cycle: 35
Log-likelihood: -0.02526 cycle: 35
EM cycle: 36
Log-likelihood: -0.02483 cycle: 36
EM cycle: 37
Log-likelihood: -0.02438 cycle: 37
EM cycle: 38
Log-likelihood: -0.02395 cycle: 38
EM cycle: 39
Log-likelihood: -0.02358 cycle: 39
EM cycle: 40
Log-likelihood: -0.02322 cycle: 40
EM cycle: 41
Log-likelihood: -0.02284 cycle: 41
EM cycle: 42
Log-likelihood: -0.02250 cycle: 42
EM cycle: 43
Log-likelihood: -0.02216 cycle: 43
EM cycle: 44
Log-likelihood: -0.02183 cycle: 44
EM cycle: 45
Log-likelihood: -0.02151 cycle: 45
EM cycle: 46
Log-likelihood: -0.02121 cycle: 46
EM cycle: 47
Log-likelihood: -0.02095 cycle: 47
EM completed.

  Final Log-Likelihood: -0.02095

Name           | Total (ms)
===========================
main           |         93
init           |          1
Bundle         |         65
Bundle.init    |          0
Bundle.explain |         60
Bundle.BDDCalc |          1
EM             |         27
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   learnedClass equivalentTo ( not male
                                 or hasChild some person
     )
     markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     

2)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     

3)   learnedClass equivalentTo hasChild some person
     stefan hasChild markus
     hasChild range person
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   learnedClass equivalentTo ( not male
                                 or hasChild some person
     )
     martin hasChild heinz
     hasChild range person
     

2)   learnedClass equivalentTo hasChild some person
     martin hasChild heinz
     hasChild range person
     

3)   learnedClass equivalentTo hasChild some person
     heinz type male
     male subClassOf person
     martin hasChild heinz
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   learnedClass equivalentTo ( not male
                                 or hasChild some person
     )
     markus hasChild anna
     hasChild range person
     

2)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild range person
     

3)   learnedClass equivalentTo hasChild some person
     markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.72690 - tag: 1 - #vars: 4
martin Type learnedClass - prob: 0.75738 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.76136 - tag: 3 - #vars: 4
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -0.86953 cycle: 1
EM cycle: 2
Log-likelihood: -0.27628 cycle: 2
EM cycle: 3
Log-likelihood: -0.19277 cycle: 3
EM cycle: 4
Log-likelihood: -0.15547 cycle: 4
EM cycle: 5
Log-likelihood: -0.13352 cycle: 5
EM cycle: 6
Log-likelihood: -0.11868 cycle: 6
EM cycle: 7
Log-likelihood: -0.10786 cycle: 7
EM cycle: 8
Log-likelihood: -0.09954 cycle: 8
EM cycle: 9
Log-likelihood: -0.09284 cycle: 9
EM cycle: 10
Log-likelihood: -0.08736 cycle: 10
EM cycle: 11
Log-likelihood: -0.08275 cycle: 11
EM cycle: 12
Log-likelihood: -0.07881 cycle: 12
EM cycle: 13
Log-likelihood: -0.07536 cycle: 13
EM cycle: 14
Log-likelihood: -0.07235 cycle: 14
EM cycle: 15
Log-likelihood: -0.06966 cycle: 15
EM cycle: 16
Log-likelihood: -0.06729 cycle: 16
EM cycle: 17
Log-likelihood: -0.06513 cycle: 17
EM cycle: 18
Log-likelihood: -0.06319 cycle: 18
EM cycle: 19
Log-likelihood: -0.06141 cycle: 19
EM cycle: 20
Log-likelihood: -0.05975 cycle: 20
EM cycle: 21
Log-likelihood: -0.05826 cycle: 21
EM cycle: 22
Log-likelihood: -0.05685 cycle: 22
EM cycle: 23
Log-likelihood: -0.05553 cycle: 23
EM cycle: 24
Log-likelihood: -0.05434 cycle: 24
EM cycle: 25
Log-likelihood: -0.05321 cycle: 25
EM cycle: 26
Log-likelihood: -0.05211 cycle: 26
EM cycle: 27
Log-likelihood: -0.05116 cycle: 27
EM cycle: 28
Log-likelihood: -0.05018 cycle: 28
EM cycle: 29
Log-likelihood: -0.04931 cycle: 29
EM cycle: 30
Log-likelihood: -0.04849 cycle: 30
EM cycle: 31
Log-likelihood: -0.04769 cycle: 31
EM cycle: 32
Log-likelihood: -0.04692 cycle: 32
EM cycle: 33
Log-likelihood: -0.04616 cycle: 33
EM cycle: 34
Log-likelihood: -0.04551 cycle: 34
EM cycle: 35
Log-likelihood: -0.04484 cycle: 35
EM cycle: 36
Log-likelihood: -0.04421 cycle: 36
EM cycle: 37
Log-likelihood: -0.04361 cycle: 37
EM cycle: 38
Log-likelihood: -0.04306 cycle: 38
EM cycle: 39
Log-likelihood: -0.04248 cycle: 39
EM cycle: 40
Log-likelihood: -0.04195 cycle: 40
EM cycle: 41
Log-likelihood: -0.04145 cycle: 41
EM cycle: 42
Log-likelihood: -0.04096 cycle: 42
EM cycle: 43
Log-likelihood: -0.04050 cycle: 43
EM cycle: 44
Log-likelihood: -0.04004 cycle: 44
EM cycle: 45
Log-likelihood: -0.03961 cycle: 45
EM cycle: 46
Log-likelihood: -0.03919 cycle: 46
EM cycle: 47
Log-likelihood: -0.03875 cycle: 47
EM cycle: 48
Log-likelihood: -0.03835 cycle: 48
EM cycle: 49
Log-likelihood: -0.03799 cycle: 49
EM cycle: 50
Log-likelihood: -0.03763 cycle: 50
EM cycle: 51
Log-likelihood: -0.03725 cycle: 51
EM cycle: 52
Log-likelihood: -0.03691 cycle: 52
EM cycle: 53
Log-likelihood: -0.03655 cycle: 53
EM cycle: 54
Log-likelihood: -0.03622 cycle: 54
EM cycle: 55
Log-likelihood: -0.03592 cycle: 55
EM cycle: 56
Log-likelihood: -0.03559 cycle: 56
EM cycle: 57
Log-likelihood: -0.03529 cycle: 57
EM cycle: 58
Log-likelihood: -0.03502 cycle: 58
EM completed.

  Final Log-Likelihood: -0.03502

Name           | Total (ms)
===========================
main           |         68
init           |          1
Bundle         |         51
Bundle.init    |          0
Bundle.explain |         46
Bundle.BDDCalc |          1
EM             |         16
Test case 2 - SubClassOf axioms

[..........] 0%
[==........] 20%
[====......] 40%
[======....] 60%
[==========] 100%

[========..] 80%
[==========] 100%

[==========] 100%
DEBUG (EDGE.java:63) - Initializing EDGE
Initializing EDGE
Debug logger: false
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 0.0 (ms)
# examples: 3
# positive examples: 3
# examples: 4
# negative examples: 1
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 9 probabilistic axiom
Probability Map computed. Size: 9
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 9 probabilistic axiom
Probability Map computed. Size: 9
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	9
	- n. of examples:		4
stefan Type learnedClass - prob: 0.33261 - tag: 1 - #vars: 3
martin Type learnedClass - prob: 0.31862 - tag: 2 - #vars: 3
markus Type learnedClass - prob: 0.33261 - tag: 3 - #vars: 3
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -3.34532 cycle: 1
EM cycle: 2
Log-likelihood: -0.03892 cycle: 2
EM cycle: 3
Log-likelihood: -0.03532 cycle: 3
EM cycle: 4
Log-likelihood: -0.03320 cycle: 4
EM cycle: 5
Log-likelihood: -0.03176 cycle: 5
EM cycle: 6
Log-likelihood: -0.03064 cycle: 6
EM cycle: 7
Log-likelihood: -0.02978 cycle: 7
EM cycle: 8
Log-likelihood: -0.02906 cycle: 8
EM cycle: 9
Log-likelihood: -0.02847 cycle: 9
EM cycle: 10
Log-likelihood: -0.02791 cycle: 10
EM cycle: 11
Log-likelihood: -0.02747 cycle: 11
EM cycle: 12
Log-likelihood: -0.02705 cycle: 12
EM cycle: 13
Log-likelihood: -0.02670 cycle: 13
EM cycle: 14
Log-likelihood: -0.02636 cycle: 14
EM cycle: 15
Log-likelihood: -0.02605 cycle: 15
EM cycle: 16
Log-likelihood: -0.02578 cycle: 16
EM completed.

  Final Log-Likelihood: -0.02578

Name           | Total (ms)
===========================
main           |         40
init           |          1
Bundle         |         33
Bundle.init    |          0
Bundle.explain |         30
Bundle.BDDCalc |          1
EM             |          5
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   ( female
       or hasChild some person
     ) subClassOf learnedClass
     stefan hasChild markus
     hasChild range person
     

4)   ( female
       or hasChild some person
     ) subClassOf learnedClass
     male subClassOf person
     stefan hasChild markus
     markus type male
     

5)   markus hasChild anna
     ( female
       or hasChild some person
     ) subClassOf learnedClass
     hasChild domain person
     stefan hasChild markus
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   ( female
       or hasChild some person
     ) subClassOf learnedClass
     heinz type male
     male subClassOf person
     martin hasChild heinz
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   markus hasChild anna
     ( female
       or hasChild some person
     ) subClassOf learnedClass
     hasChild domain person
     anna hasChild heinz
     

4)   markus hasChild anna
     female subClassOf person
     ( female
       or hasChild some person
     ) subClassOf learnedClass
     anna type female
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58738 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.50757 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.56874 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.77449 cycle: 1
EM cycle: 2
Log-likelihood: -0.56019 cycle: 2
EM cycle: 3
Log-likelihood: -0.40000 cycle: 3
EM cycle: 4
Log-likelihood: -0.32903 cycle: 4
EM cycle: 5
Log-likelihood: -0.28721 cycle: 5
EM cycle: 6
Log-likelihood: -0.25892 cycle: 6
EM cycle: 7
Log-likelihood: -0.23819 cycle: 7
EM cycle: 8
Log-likelihood: -0.22218 cycle: 8
EM cycle: 9
Log-likelihood: -0.20929 cycle: 9
EM cycle: 10
Log-likelihood: -0.19868 cycle: 10
EM cycle: 11
Log-likelihood: -0.18970 cycle: 11
EM cycle: 12
Log-likelihood: -0.18203 cycle: 12
EM cycle: 13
Log-likelihood: -0.17531 cycle: 13
EM cycle: 14
Log-likelihood: -0.16940 cycle: 14
EM cycle: 15
Log-likelihood: -0.16414 cycle: 15
EM cycle: 16
Log-likelihood: -0.15941 cycle: 16
EM cycle: 17
Log-likelihood: -0.15515 cycle: 17
EM cycle: 18
Log-likelihood: -0.15125 cycle: 18
EM cycle: 19
Log-likelihood: -0.14771 cycle: 19
EM cycle: 20
Log-likelihood: -0.14444 cycle: 20
EM cycle: 21
Log-likelihood: -0.14138 cycle: 21
EM cycle: 22
Log-likelihood: -0.13858 cycle: 22
EM cycle: 23
Log-likelihood: -0.13597 cycle: 23
EM cycle: 24
Log-likelihood: -0.13352 cycle: 24
EM cycle: 25
Log-likelihood: -0.13123 cycle: 25
EM cycle: 26
Log-likelihood: -0.12908 cycle: 26
EM cycle: 27
Log-likelihood: -0.12704 cycle: 27
EM cycle: 28
Log-likelihood: -0.12514 cycle: 28
EM cycle: 29
Log-likelihood: -0.12334 cycle: 29
EM cycle: 30
Log-likelihood: -0.12159 cycle: 30
EM cycle: 31
Log-likelihood: -0.11994 cycle: 31
EM cycle: 32
Log-likelihood: -0.11840 cycle: 32
EM cycle: 33
Log-likelihood: -0.11691 cycle: 33
EM cycle: 34
Log-likelihood: -0.11547 cycle: 34
EM cycle: 35
Log-likelihood: -0.11414 cycle: 35
EM cycle: 36
Log-likelihood: -0.11284 cycle: 36
EM cycle: 37
Log-likelihood: -0.11159 cycle: 37
EM cycle: 38
Log-likelihood: -0.11040 cycle: 38
EM cycle: 39
Log-likelihood: -0.10923 cycle: 39
EM cycle: 40
Log-likelihood: -0.10814 cycle: 40
EM cycle: 41
Log-likelihood: -0.10707 cycle: 41
EM cycle: 42
Log-likelihood: -0.10605 cycle: 42
EM cycle: 43
Log-likelihood: -0.10505 cycle: 43
EM cycle: 44
Log-likelihood: -0.10409 cycle: 44
EM cycle: 45
Log-likelihood: -0.10317 cycle: 45
EM cycle: 46
Log-likelihood: -0.10227 cycle: 46
EM cycle: 47
Log-likelihood: -0.10143 cycle: 47
EM cycle: 48
Log-likelihood: -0.10057 cycle: 48
EM cycle: 49
Log-likelihood: -0.09976 cycle: 49
EM cycle: 50
Log-likelihood: -0.09898 cycle: 50
EM cycle: 51
Log-likelihood: -0.09823 cycle: 51
EM cycle: 52
Log-likelihood: -0.09747 cycle: 52
EM cycle: 53
Log-likelihood: -0.09674 cycle: 53
EM cycle: 54
Log-likelihood: -0.09603 cycle: 54
EM cycle: 55
Log-likelihood: -0.09536 cycle: 55
EM cycle: 56
Log-likelihood: -0.09469 cycle: 56
EM cycle: 57
Log-likelihood: -0.09404 cycle: 57
EM cycle: 58
Log-likelihood: -0.09341 cycle: 58
EM cycle: 59
Log-likelihood: -0.09280 cycle: 59
EM cycle: 60
Log-likelihood: -0.09219 cycle: 60
EM cycle: 61
Log-likelihood: -0.09160 cycle: 61
EM cycle: 62
Log-likelihood: -0.09103 cycle: 62
EM cycle: 63
Log-likelihood: -0.09049 cycle: 63
EM cycle: 64
Log-likelihood: -0.08993 cycle: 64
EM cycle: 65
Log-likelihood: -0.08940 cycle: 65
EM cycle: 66
Log-likelihood: -0.08889 cycle: 66
EM cycle: 67
Log-likelihood: -0.08838 cycle: 67
EM cycle: 68
Log-likelihood: -0.08789 cycle: 68
EM cycle: 69
Log-likelihood: -0.08738 cycle: 69
EM cycle: 70
Log-likelihood: -0.08691 cycle: 70
EM cycle: 71
Log-likelihood: -0.08644 cycle: 71
EM cycle: 72
Log-likelihood: -0.08598 cycle: 72
EM cycle: 73
Log-likelihood: -0.08555 cycle: 73
EM cycle: 74
Log-likelihood: -0.08509 cycle: 74
EM cycle: 75
Log-likelihood: -0.08465 cycle: 75
EM cycle: 76
Log-likelihood: -0.08424 cycle: 76
EM cycle: 77
Log-likelihood: -0.08383 cycle: 77
EM cycle: 78
Log-likelihood: -0.08341 cycle: 78
EM cycle: 79
Log-likelihood: -0.08302 cycle: 79
EM cycle: 80
Log-likelihood: -0.08262 cycle: 80
EM cycle: 81
Log-likelihood: -0.08224 cycle: 81
EM cycle: 82
Log-likelihood: -0.08187 cycle: 82
EM cycle: 83
Log-likelihood: -0.08149 cycle: 83
EM cycle: 84
Log-likelihood: -0.08113 cycle: 84
EM cycle: 85
Log-likelihood: -0.08076 cycle: 85
EM cycle: 86
Log-likelihood: -0.08042 cycle: 86
EM cycle: 87
Log-likelihood: -0.08007 cycle: 87
EM cycle: 88
Log-likelihood: -0.07972 cycle: 88
EM cycle: 89
Log-likelihood: -0.07940 cycle: 89
EM cycle: 90
Log-likelihood: -0.07904 cycle: 90
EM cycle: 91
Log-likelihood: -0.07875 cycle: 91
EM cycle: 92
Log-likelihood: -0.07841 cycle: 92
EM cycle: 93
Log-likelihood: -0.07809 cycle: 93
EM cycle: 94
Log-likelihood: -0.07779 cycle: 94
EM cycle: 95
Log-likelihood: -0.07750 cycle: 95
EM cycle: 96
Log-likelihood: -0.07719 cycle: 96
EM cycle: 97
Log-likelihood: -0.07691 cycle: 97
EM completed.

  Final Log-Likelihood: -0.07691

Name           | Total (ms)
===========================
main           |         77
init           |          0
Bundle         |         56
Bundle.init    |          0
Bundle.explain |         53
Bundle.BDDCalc |          0
EM             |         18
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   stefan type male
     ( male
       and hasChild some person
     ) subClassOf learnedClass
     stefan hasChild markus
     hasChild range person
     

4)   stefan type male
     ( male
       and hasChild some person
     ) subClassOf learnedClass
     male subClassOf person
     stefan hasChild markus
     markus type male
     

5)   father subClassOf male
     ( male
       and hasChild some person
     ) subClassOf learnedClass
     stefan type father
     male subClassOf person
     stefan hasChild markus
     markus type male
     

6)   stefan type male
     markus hasChild anna
     ( male
       and hasChild some person
     ) subClassOf learnedClass
     hasChild domain person
     stefan hasChild markus
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   martin type male
     ( male
       and hasChild some person
     ) subClassOf learnedClass
     heinz type male
     male subClassOf person
     martin hasChild heinz
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   markus hasChild anna
     ( male
       and hasChild some person
     ) subClassOf learnedClass
     hasChild domain person
     markus type male
     anna hasChild heinz
     

4)   markus hasChild anna
     female subClassOf person
     ( male
       and hasChild some person
     ) subClassOf learnedClass
     markus type male
     anna type female
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58738 - tag: 1 - #vars: 6
martin Type learnedClass - prob: 0.50757 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.56874 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.77449 cycle: 1
EM cycle: 2
Log-likelihood: -0.56019 cycle: 2
EM cycle: 3
Log-likelihood: -0.40000 cycle: 3
EM cycle: 4
Log-likelihood: -0.32903 cycle: 4
EM cycle: 5
Log-likelihood: -0.28721 cycle: 5
EM cycle: 6
Log-likelihood: -0.25892 cycle: 6
EM cycle: 7
Log-likelihood: -0.23819 cycle: 7
EM cycle: 8
Log-likelihood: -0.22218 cycle: 8
EM cycle: 9
Log-likelihood: -0.20929 cycle: 9
EM cycle: 10
Log-likelihood: -0.19868 cycle: 10
EM cycle: 11
Log-likelihood: -0.18970 cycle: 11
EM cycle: 12
Log-likelihood: -0.18203 cycle: 12
EM cycle: 13
Log-likelihood: -0.17531 cycle: 13
EM cycle: 14
Log-likelihood: -0.16940 cycle: 14
EM cycle: 15
Log-likelihood: -0.16414 cycle: 15
EM cycle: 16
Log-likelihood: -0.15941 cycle: 16
EM cycle: 17
Log-likelihood: -0.15515 cycle: 17
EM cycle: 18
Log-likelihood: -0.15125 cycle: 18
EM cycle: 19
Log-likelihood: -0.14771 cycle: 19
EM cycle: 20
Log-likelihood: -0.14444 cycle: 20
EM cycle: 21
Log-likelihood: -0.14138 cycle: 21
EM cycle: 22
Log-likelihood: -0.13858 cycle: 22
EM cycle: 23
Log-likelihood: -0.13597 cycle: 23
EM cycle: 24
Log-likelihood: -0.13352 cycle: 24
EM cycle: 25
Log-likelihood: -0.13123 cycle: 25
EM cycle: 26
Log-likelihood: -0.12908 cycle: 26
EM cycle: 27
Log-likelihood: -0.12704 cycle: 27
EM cycle: 28
Log-likelihood: -0.12514 cycle: 28
EM cycle: 29
Log-likelihood: -0.12334 cycle: 29
EM cycle: 30
Log-likelihood: -0.12159 cycle: 30
EM cycle: 31
Log-likelihood: -0.11994 cycle: 31
EM cycle: 32
Log-likelihood: -0.11840 cycle: 32
EM cycle: 33
Log-likelihood: -0.11691 cycle: 33
EM cycle: 34
Log-likelihood: -0.11547 cycle: 34
EM cycle: 35
Log-likelihood: -0.11414 cycle: 35
EM cycle: 36
Log-likelihood: -0.11284 cycle: 36
EM cycle: 37
Log-likelihood: -0.11159 cycle: 37
EM cycle: 38
Log-likelihood: -0.11040 cycle: 38
EM cycle: 39
Log-likelihood: -0.10923 cycle: 39
EM cycle: 40
Log-likelihood: -0.10814 cycle: 40
EM cycle: 41
Log-likelihood: -0.10707 cycle: 41
EM cycle: 42
Log-likelihood: -0.10605 cycle: 42
EM cycle: 43
Log-likelihood: -0.10505 cycle: 43
EM cycle: 44
Log-likelihood: -0.10409 cycle: 44
EM cycle: 45
Log-likelihood: -0.10317 cycle: 45
EM cycle: 46
Log-likelihood: -0.10227 cycle: 46
EM cycle: 47
Log-likelihood: -0.10143 cycle: 47
EM cycle: 48
Log-likelihood: -0.10057 cycle: 48
EM cycle: 49
Log-likelihood: -0.09976 cycle: 49
EM cycle: 50
Log-likelihood: -0.09898 cycle: 50
EM cycle: 51
Log-likelihood: -0.09823 cycle: 51
EM cycle: 52
Log-likelihood: -0.09747 cycle: 52
EM cycle: 53
Log-likelihood: -0.09674 cycle: 53
EM cycle: 54
Log-likelihood: -0.09603 cycle: 54
EM cycle: 55
Log-likelihood: -0.09536 cycle: 55
EM cycle: 56
Log-likelihood: -0.09469 cycle: 56
EM cycle: 57
Log-likelihood: -0.09404 cycle: 57
EM cycle: 58
Log-likelihood: -0.09341 cycle: 58
EM cycle: 59
Log-likelihood: -0.09280 cycle: 59
EM cycle: 60
Log-likelihood: -0.09219 cycle: 60
EM cycle: 61
Log-likelihood: -0.09160 cycle: 61
EM cycle: 62
Log-likelihood: -0.09103 cycle: 62
EM cycle: 63
Log-likelihood: -0.09049 cycle: 63
EM cycle: 64
Log-likelihood: -0.08993 cycle: 64
EM cycle: 65
Log-likelihood: -0.08940 cycle: 65
EM cycle: 66
Log-likelihood: -0.08889 cycle: 66
EM cycle: 67
Log-likelihood: -0.08838 cycle: 67
EM cycle: 68
Log-likelihood: -0.08789 cycle: 68
EM cycle: 69
Log-likelihood: -0.08738 cycle: 69
EM cycle: 70
Log-likelihood: -0.08691 cycle: 70
EM cycle: 71
Log-likelihood: -0.08644 cycle: 71
EM cycle: 72
Log-likelihood: -0.08598 cycle: 72
EM cycle: 73
Log-likelihood: -0.08555 cycle: 73
EM cycle: 74
Log-likelihood: -0.08509 cycle: 74
EM cycle: 75
Log-likelihood: -0.08465 cycle: 75
EM cycle: 76
Log-likelihood: -0.08424 cycle: 76
EM cycle: 77
Log-likelihood: -0.08383 cycle: 77
EM cycle: 78
Log-likelihood: -0.08341 cycle: 78
EM cycle: 79
Log-likelihood: -0.08302 cycle: 79
EM cycle: 80
Log-likelihood: -0.08262 cycle: 80
EM cycle: 81
Log-likelihood: -0.08224 cycle: 81
EM cycle: 82
Log-likelihood: -0.08187 cycle: 82
EM cycle: 83
Log-likelihood: -0.08149 cycle: 83
EM cycle: 84
Log-likelihood: -0.08113 cycle: 84
EM cycle: 85
Log-likelihood: -0.08076 cycle: 85
EM cycle: 86
Log-likelihood: -0.08042 cycle: 86
EM cycle: 87
Log-likelihood: -0.08007 cycle: 87
EM cycle: 88
Log-likelihood: -0.07972 cycle: 88
EM cycle: 89
Log-likelihood: -0.07940 cycle: 89
EM cycle: 90
Log-likelihood: -0.07904 cycle: 90
EM cycle: 91
Log-likelihood: -0.07875 cycle: 91
EM cycle: 92
Log-likelihood: -0.07841 cycle: 92
EM cycle: 93
Log-likelihood: -0.07809 cycle: 93
EM cycle: 94
Log-likelihood: -0.07779 cycle: 94
EM cycle: 95
Log-likelihood: -0.07750 cycle: 95
EM cycle: 96
Log-likelihood: -0.07719 cycle: 96
EM cycle: 97
Log-likelihood: -0.07691 cycle: 97
EM completed.

  Final Log-Likelihood: -0.07691

Name           | Total (ms)
===========================
main           |         91
init           |          1
Bundle         |         77
Bundle.init    |          0
Bundle.explain |         73
Bundle.BDDCalc |          2
EM             |         13
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   ( not male
       or hasChild some person
     ) subClassOf learnedClass
     stefan hasChild markus
     hasChild range person
     

4)   ( not male
       or hasChild some person
     ) subClassOf learnedClass
     male subClassOf person
     stefan hasChild markus
     markus type male
     

5)   markus hasChild anna
     hasChild domain person
     ( not male
       or hasChild some person
     ) subClassOf learnedClass
     stefan hasChild markus
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   heinz type male
     ( not male
       or hasChild some person
     ) subClassOf learnedClass
     male subClassOf person
     martin hasChild heinz
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   markus hasChild anna
     hasChild domain person
     ( not male
       or hasChild some person
     ) subClassOf learnedClass
     anna hasChild heinz
     

4)   markus hasChild anna
     female subClassOf person
     ( not male
       or hasChild some person
     ) subClassOf learnedClass
     anna type female
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58738 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.50757 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.56874 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.77449 cycle: 1
EM cycle: 2
Log-likelihood: -0.56019 cycle: 2
EM cycle: 3
Log-likelihood: -0.40000 cycle: 3
EM cycle: 4
Log-likelihood: -0.32903 cycle: 4
EM cycle: 5
Log-likelihood: -0.28721 cycle: 5
EM cycle: 6
Log-likelihood: -0.25892 cycle: 6
EM cycle: 7
Log-likelihood: -0.23819 cycle: 7
EM cycle: 8
Log-likelihood: -0.22218 cycle: 8
EM cycle: 9
Log-likelihood: -0.20929 cycle: 9
EM cycle: 10
Log-likelihood: -0.19868 cycle: 10
EM cycle: 11
Log-likelihood: -0.18970 cycle: 11
EM cycle: 12
Log-likelihood: -0.18203 cycle: 12
EM cycle: 13
Log-likelihood: -0.17531 cycle: 13
EM cycle: 14
Log-likelihood: -0.16940 cycle: 14
EM cycle: 15
Log-likelihood: -0.16414 cycle: 15
EM cycle: 16
Log-likelihood: -0.15941 cycle: 16
EM cycle: 17
Log-likelihood: -0.15515 cycle: 17
EM cycle: 18
Log-likelihood: -0.15125 cycle: 18
EM cycle: 19
Log-likelihood: -0.14771 cycle: 19
EM cycle: 20
Log-likelihood: -0.14444 cycle: 20
EM cycle: 21
Log-likelihood: -0.14138 cycle: 21
EM cycle: 22
Log-likelihood: -0.13858 cycle: 22
EM cycle: 23
Log-likelihood: -0.13597 cycle: 23
EM cycle: 24
Log-likelihood: -0.13352 cycle: 24
EM cycle: 25
Log-likelihood: -0.13123 cycle: 25
EM cycle: 26
Log-likelihood: -0.12908 cycle: 26
EM cycle: 27
Log-likelihood: -0.12704 cycle: 27
EM cycle: 28
Log-likelihood: -0.12514 cycle: 28
EM cycle: 29
Log-likelihood: -0.12334 cycle: 29
EM cycle: 30
Log-likelihood: -0.12159 cycle: 30
EM cycle: 31
Log-likelihood: -0.11994 cycle: 31
EM cycle: 32
Log-likelihood: -0.11840 cycle: 32
EM cycle: 33
Log-likelihood: -0.11691 cycle: 33
EM cycle: 34
Log-likelihood: -0.11547 cycle: 34
EM cycle: 35
Log-likelihood: -0.11414 cycle: 35
EM cycle: 36
Log-likelihood: -0.11284 cycle: 36
EM cycle: 37
Log-likelihood: -0.11159 cycle: 37
EM cycle: 38
Log-likelihood: -0.11040 cycle: 38
EM cycle: 39
Log-likelihood: -0.10923 cycle: 39
EM cycle: 40
Log-likelihood: -0.10814 cycle: 40
EM cycle: 41
Log-likelihood: -0.10707 cycle: 41
EM cycle: 42
Log-likelihood: -0.10605 cycle: 42
EM cycle: 43
Log-likelihood: -0.10505 cycle: 43
EM cycle: 44
Log-likelihood: -0.10409 cycle: 44
EM cycle: 45
Log-likelihood: -0.10317 cycle: 45
EM cycle: 46
Log-likelihood: -0.10227 cycle: 46
EM cycle: 47
Log-likelihood: -0.10143 cycle: 47
EM cycle: 48
Log-likelihood: -0.10057 cycle: 48
EM cycle: 49
Log-likelihood: -0.09976 cycle: 49
EM cycle: 50
Log-likelihood: -0.09898 cycle: 50
EM cycle: 51
Log-likelihood: -0.09823 cycle: 51
EM cycle: 52
Log-likelihood: -0.09747 cycle: 52
EM cycle: 53
Log-likelihood: -0.09674 cycle: 53
EM cycle: 54
Log-likelihood: -0.09603 cycle: 54
EM cycle: 55
Log-likelihood: -0.09536 cycle: 55
EM cycle: 56
Log-likelihood: -0.09469 cycle: 56
EM cycle: 57
Log-likelihood: -0.09404 cycle: 57
EM cycle: 58
Log-likelihood: -0.09341 cycle: 58
EM cycle: 59
Log-likelihood: -0.09280 cycle: 59
EM cycle: 60
Log-likelihood: -0.09219 cycle: 60
EM cycle: 61
Log-likelihood: -0.09160 cycle: 61
EM cycle: 62
Log-likelihood: -0.09103 cycle: 62
EM cycle: 63
Log-likelihood: -0.09049 cycle: 63
EM cycle: 64
Log-likelihood: -0.08993 cycle: 64
EM cycle: 65
Log-likelihood: -0.08940 cycle: 65
EM cycle: 66
Log-likelihood: -0.08889 cycle: 66
EM cycle: 67
Log-likelihood: -0.08838 cycle: 67
EM cycle: 68
Log-likelihood: -0.08789 cycle: 68
EM cycle: 69
Log-likelihood: -0.08738 cycle: 69
EM cycle: 70
Log-likelihood: -0.08691 cycle: 70
EM cycle: 71
Log-likelihood: -0.08644 cycle: 71
EM cycle: 72
Log-likelihood: -0.08598 cycle: 72
EM cycle: 73
Log-likelihood: -0.08555 cycle: 73
EM cycle: 74
Log-likelihood: -0.08509 cycle: 74
EM cycle: 75
Log-likelihood: -0.08465 cycle: 75
EM cycle: 76
Log-likelihood: -0.08424 cycle: 76
EM cycle: 77
Log-likelihood: -0.08383 cycle: 77
EM cycle: 78
Log-likelihood: -0.08341 cycle: 78
EM cycle: 79
Log-likelihood: -0.08302 cycle: 79
EM cycle: 80
Log-likelihood: -0.08262 cycle: 80
EM cycle: 81
Log-likelihood: -0.08224 cycle: 81
EM cycle: 82
Log-likelihood: -0.08187 cycle: 82
EM cycle: 83
Log-likelihood: -0.08149 cycle: 83
EM cycle: 84
Log-likelihood: -0.08113 cycle: 84
EM cycle: 85
Log-likelihood: -0.08076 cycle: 85
EM cycle: 86
Log-likelihood: -0.08042 cycle: 86
EM cycle: 87
Log-likelihood: -0.08007 cycle: 87
EM cycle: 88
Log-likelihood: -0.07972 cycle: 88
EM cycle: 89
Log-likelihood: -0.07940 cycle: 89
EM cycle: 90
Log-likelihood: -0.07904 cycle: 90
EM cycle: 91
Log-likelihood: -0.07875 cycle: 91
EM cycle: 92
Log-likelihood: -0.07841 cycle: 92
EM cycle: 93
Log-likelihood: -0.07809 cycle: 93
EM cycle: 94
Log-likelihood: -0.07779 cycle: 94
EM cycle: 95
Log-likelihood: -0.07750 cycle: 95
EM cycle: 96
Log-likelihood: -0.07719 cycle: 96
EM cycle: 97
Log-likelihood: -0.07691 cycle: 97
EM completed.

  Final Log-Likelihood: -0.07691

Name           | Total (ms)
===========================
main           |         85
init           |          0
Bundle         |         68
Bundle.init    |          1
Bundle.explain |         62
Bundle.BDDCalc |          1
EM             |         16
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   stefan type male
     markus hasChild anna
     hasChild domain person
     female disjointWith male
     stefan hasChild markus
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     

2)   markus hasChild anna
     father subClassOf male
     hasChild domain person
     stefan type father
     female disjointWith male
     stefan hasChild markus
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     

3)   father subClassOf male
     stefan type father
     female disjointWith male
     stefan hasChild markus
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     hasChild range person
     

4)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

5)   male subClassOf person
     stefan hasChild markus
     markus type male
     hasChild some person subClassOf learnedClass
     

6)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

7)   stefan type male
     female disjointWith male
     stefan hasChild markus
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     hasChild range person
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin type male
     female disjointWith male
     martin hasChild heinz
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     hasChild range person
     

2)   father subClassOf male
     female disjointWith male
     martin hasChild heinz
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     hasChild range person
     martin type father
     

3)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

5)   martin type male
     heinz type male
     female disjointWith male
     male subClassOf person
     martin hasChild heinz
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     female disjointWith male
     ( not female
       and hasChild some person
     ) subClassOf learnedClass
     markus type male
     hasChild range person
     

2)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58453 - tag: 1 - #vars: 7
martin Type learnedClass - prob: 0.57445 - tag: 2 - #vars: 6
markus Type learnedClass - prob: 0.57237 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.64927 cycle: 1
EM cycle: 2
Log-likelihood: -0.52366 cycle: 2
EM cycle: 3
Log-likelihood: -0.37929 cycle: 3
EM cycle: 4
Log-likelihood: -0.31548 cycle: 4
EM cycle: 5
Log-likelihood: -0.27787 cycle: 5
EM cycle: 6
Log-likelihood: -0.25243 cycle: 6
EM cycle: 7
Log-likelihood: -0.23381 cycle: 7
EM cycle: 8
Log-likelihood: -0.21937 cycle: 8
EM cycle: 9
Log-likelihood: -0.20779 cycle: 9
EM cycle: 10
Log-likelihood: -0.19819 cycle: 10
EM cycle: 11
Log-likelihood: -0.19014 cycle: 11
EM cycle: 12
Log-likelihood: -0.18319 cycle: 12
EM cycle: 13
Log-likelihood: -0.17713 cycle: 13
EM cycle: 14
Log-likelihood: -0.17179 cycle: 14
EM cycle: 15
Log-likelihood: -0.16704 cycle: 15
EM cycle: 16
Log-likelihood: -0.16276 cycle: 16
EM cycle: 17
Log-likelihood: -0.15889 cycle: 17
EM cycle: 18
Log-likelihood: -0.15537 cycle: 18
EM cycle: 19
Log-likelihood: -0.15217 cycle: 19
EM cycle: 20
Log-likelihood: -0.14917 cycle: 20
EM cycle: 21
Log-likelihood: -0.14641 cycle: 21
EM cycle: 22
Log-likelihood: -0.14387 cycle: 22
EM cycle: 23
Log-likelihood: -0.14148 cycle: 23
EM cycle: 24
Log-likelihood: -0.13925 cycle: 24
EM cycle: 25
Log-likelihood: -0.13716 cycle: 25
EM cycle: 26
Log-likelihood: -0.13519 cycle: 26
EM cycle: 27
Log-likelihood: -0.13337 cycle: 27
EM cycle: 28
Log-likelihood: -0.13160 cycle: 28
EM cycle: 29
Log-likelihood: -0.12997 cycle: 29
EM cycle: 30
Log-likelihood: -0.12838 cycle: 30
EM cycle: 31
Log-likelihood: -0.12685 cycle: 31
EM cycle: 32
Log-likelihood: -0.12545 cycle: 32
EM cycle: 33
Log-likelihood: -0.12409 cycle: 33
EM cycle: 34
Log-likelihood: -0.12281 cycle: 34
EM cycle: 35
Log-likelihood: -0.12152 cycle: 35
EM cycle: 36
Log-likelihood: -0.12034 cycle: 36
EM cycle: 37
Log-likelihood: -0.11919 cycle: 37
EM cycle: 38
Log-likelihood: -0.11810 cycle: 38
EM cycle: 39
Log-likelihood: -0.11706 cycle: 39
EM cycle: 40
Log-likelihood: -0.11602 cycle: 40
EM cycle: 41
Log-likelihood: -0.11506 cycle: 41
EM cycle: 42
Log-likelihood: -0.11412 cycle: 42
EM cycle: 43
Log-likelihood: -0.11318 cycle: 43
EM cycle: 44
Log-likelihood: -0.11229 cycle: 44
EM cycle: 45
Log-likelihood: -0.11145 cycle: 45
EM cycle: 46
Log-likelihood: -0.11065 cycle: 46
EM cycle: 47
Log-likelihood: -0.10984 cycle: 47
EM cycle: 48
Log-likelihood: -0.10906 cycle: 48
EM cycle: 49
Log-likelihood: -0.10830 cycle: 49
EM cycle: 50
Log-likelihood: -0.10756 cycle: 50
EM cycle: 51
Log-likelihood: -0.10688 cycle: 51
EM cycle: 52
Log-likelihood: -0.10620 cycle: 52
EM cycle: 53
Log-likelihood: -0.10551 cycle: 53
EM cycle: 54
Log-likelihood: -0.10486 cycle: 54
EM cycle: 55
Log-likelihood: -0.10422 cycle: 55
EM cycle: 56
Log-likelihood: -0.10362 cycle: 56
EM cycle: 57
Log-likelihood: -0.10303 cycle: 57
EM cycle: 58
Log-likelihood: -0.10242 cycle: 58
EM cycle: 59
Log-likelihood: -0.10187 cycle: 59
EM cycle: 60
Log-likelihood: -0.10131 cycle: 60
EM cycle: 61
Log-likelihood: -0.10076 cycle: 61
EM cycle: 62
Log-likelihood: -0.10022 cycle: 62
EM cycle: 63
Log-likelihood: -0.09968 cycle: 63
EM cycle: 64
Log-likelihood: -0.09919 cycle: 64
EM cycle: 65
Log-likelihood: -0.09870 cycle: 65
EM cycle: 66
Log-likelihood: -0.09821 cycle: 66
EM cycle: 67
Log-likelihood: -0.09773 cycle: 67
EM cycle: 68
Log-likelihood: -0.09728 cycle: 68
EM cycle: 69
Log-likelihood: -0.09680 cycle: 69
EM cycle: 70
Log-likelihood: -0.09639 cycle: 70
EM cycle: 71
Log-likelihood: -0.09592 cycle: 71
EM cycle: 72
Log-likelihood: -0.09550 cycle: 72
EM cycle: 73
Log-likelihood: -0.09507 cycle: 73
EM cycle: 74
Log-likelihood: -0.09469 cycle: 74
EM cycle: 75
Log-likelihood: -0.09427 cycle: 75
EM cycle: 76
Log-likelihood: -0.09386 cycle: 76
EM cycle: 77
Log-likelihood: -0.09351 cycle: 77
EM cycle: 78
Log-likelihood: -0.09312 cycle: 78
EM cycle: 79
Log-likelihood: -0.09273 cycle: 79
EM cycle: 80
Log-likelihood: -0.09235 cycle: 80
EM cycle: 81
Log-likelihood: -0.09202 cycle: 81
EM cycle: 82
Log-likelihood: -0.09165 cycle: 82
EM cycle: 83
Log-likelihood: -0.09131 cycle: 83
EM cycle: 84
Log-likelihood: -0.09094 cycle: 84
EM cycle: 85
Log-likelihood: -0.09062 cycle: 85
EM cycle: 86
Log-likelihood: -0.09030 cycle: 86
EM cycle: 87
Log-likelihood: -0.08999 cycle: 87
EM cycle: 88
Log-likelihood: -0.08965 cycle: 88
EM cycle: 89
Log-likelihood: -0.08931 cycle: 89
EM cycle: 90
Log-likelihood: -0.08902 cycle: 90
EM cycle: 91
Log-likelihood: -0.08874 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08874

Name           | Total (ms)
===========================
main           |        129
init           |          1
Bundle         |        116
Bundle.init    |          0
Bundle.explain |        114
Bundle.BDDCalc |          1
EM             |         12
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     stefan type male
     stefan hasChild markus
     hasChild range person
     

4)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     stefan type male
     male subClassOf person
     stefan hasChild markus
     markus type male
     

5)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     stefan type male
     markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     martin type male
     heinz type male
     male subClassOf person
     martin hasChild heinz
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

3)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     markus hasChild anna
     hasChild domain person
     markus type male
     anna hasChild heinz
     

4)   ( male
       and ( female
             or hasChild some person
       )
     ) subClassOf learnedClass
     markus hasChild anna
     female subClassOf person
     markus type male
     anna type female
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58738 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.50757 - tag: 2 - #vars: 4
markus Type learnedClass - prob: 0.56874 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.77449 cycle: 1
EM cycle: 2
Log-likelihood: -0.56019 cycle: 2
EM cycle: 3
Log-likelihood: -0.40000 cycle: 3
EM cycle: 4
Log-likelihood: -0.32903 cycle: 4
EM cycle: 5
Log-likelihood: -0.28721 cycle: 5
EM cycle: 6
Log-likelihood: -0.25892 cycle: 6
EM cycle: 7
Log-likelihood: -0.23819 cycle: 7
EM cycle: 8
Log-likelihood: -0.22218 cycle: 8
EM cycle: 9
Log-likelihood: -0.20929 cycle: 9
EM cycle: 10
Log-likelihood: -0.19868 cycle: 10
EM cycle: 11
Log-likelihood: -0.18970 cycle: 11
EM cycle: 12
Log-likelihood: -0.18203 cycle: 12
EM cycle: 13
Log-likelihood: -0.17531 cycle: 13
EM cycle: 14
Log-likelihood: -0.16940 cycle: 14
EM cycle: 15
Log-likelihood: -0.16414 cycle: 15
EM cycle: 16
Log-likelihood: -0.15941 cycle: 16
EM cycle: 17
Log-likelihood: -0.15515 cycle: 17
EM cycle: 18
Log-likelihood: -0.15125 cycle: 18
EM cycle: 19
Log-likelihood: -0.14771 cycle: 19
EM cycle: 20
Log-likelihood: -0.14444 cycle: 20
EM cycle: 21
Log-likelihood: -0.14138 cycle: 21
EM cycle: 22
Log-likelihood: -0.13858 cycle: 22
EM cycle: 23
Log-likelihood: -0.13597 cycle: 23
EM cycle: 24
Log-likelihood: -0.13352 cycle: 24
EM cycle: 25
Log-likelihood: -0.13123 cycle: 25
EM cycle: 26
Log-likelihood: -0.12908 cycle: 26
EM cycle: 27
Log-likelihood: -0.12704 cycle: 27
EM cycle: 28
Log-likelihood: -0.12514 cycle: 28
EM cycle: 29
Log-likelihood: -0.12334 cycle: 29
EM cycle: 30
Log-likelihood: -0.12159 cycle: 30
EM cycle: 31
Log-likelihood: -0.11994 cycle: 31
EM cycle: 32
Log-likelihood: -0.11840 cycle: 32
EM cycle: 33
Log-likelihood: -0.11691 cycle: 33
EM cycle: 34
Log-likelihood: -0.11547 cycle: 34
EM cycle: 35
Log-likelihood: -0.11414 cycle: 35
EM cycle: 36
Log-likelihood: -0.11284 cycle: 36
EM cycle: 37
Log-likelihood: -0.11159 cycle: 37
EM cycle: 38
Log-likelihood: -0.11040 cycle: 38
EM cycle: 39
Log-likelihood: -0.10923 cycle: 39
EM cycle: 40
Log-likelihood: -0.10814 cycle: 40
EM cycle: 41
Log-likelihood: -0.10707 cycle: 41
EM cycle: 42
Log-likelihood: -0.10605 cycle: 42
EM cycle: 43
Log-likelihood: -0.10505 cycle: 43
EM cycle: 44
Log-likelihood: -0.10409 cycle: 44
EM cycle: 45
Log-likelihood: -0.10317 cycle: 45
EM cycle: 46
Log-likelihood: -0.10227 cycle: 46
EM cycle: 47
Log-likelihood: -0.10143 cycle: 47
EM cycle: 48
Log-likelihood: -0.10057 cycle: 48
EM cycle: 49
Log-likelihood: -0.09976 cycle: 49
EM cycle: 50
Log-likelihood: -0.09898 cycle: 50
EM cycle: 51
Log-likelihood: -0.09823 cycle: 51
EM cycle: 52
Log-likelihood: -0.09747 cycle: 52
EM cycle: 53
Log-likelihood: -0.09674 cycle: 53
EM cycle: 54
Log-likelihood: -0.09603 cycle: 54
EM cycle: 55
Log-likelihood: -0.09536 cycle: 55
EM cycle: 56
Log-likelihood: -0.09469 cycle: 56
EM cycle: 57
Log-likelihood: -0.09404 cycle: 57
EM cycle: 58
Log-likelihood: -0.09341 cycle: 58
EM cycle: 59
Log-likelihood: -0.09280 cycle: 59
EM cycle: 60
Log-likelihood: -0.09219 cycle: 60
EM cycle: 61
Log-likelihood: -0.09160 cycle: 61
EM cycle: 62
Log-likelihood: -0.09103 cycle: 62
EM cycle: 63
Log-likelihood: -0.09049 cycle: 63
EM cycle: 64
Log-likelihood: -0.08993 cycle: 64
EM cycle: 65
Log-likelihood: -0.08940 cycle: 65
EM cycle: 66
Log-likelihood: -0.08889 cycle: 66
EM cycle: 67
Log-likelihood: -0.08838 cycle: 67
EM cycle: 68
Log-likelihood: -0.08789 cycle: 68
EM cycle: 69
Log-likelihood: -0.08738 cycle: 69
EM cycle: 70
Log-likelihood: -0.08691 cycle: 70
EM cycle: 71
Log-likelihood: -0.08644 cycle: 71
EM cycle: 72
Log-likelihood: -0.08598 cycle: 72
EM cycle: 73
Log-likelihood: -0.08555 cycle: 73
EM cycle: 74
Log-likelihood: -0.08509 cycle: 74
EM cycle: 75
Log-likelihood: -0.08465 cycle: 75
EM cycle: 76
Log-likelihood: -0.08424 cycle: 76
EM cycle: 77
Log-likelihood: -0.08383 cycle: 77
EM cycle: 78
Log-likelihood: -0.08341 cycle: 78
EM cycle: 79
Log-likelihood: -0.08302 cycle: 79
EM cycle: 80
Log-likelihood: -0.08262 cycle: 80
EM cycle: 81
Log-likelihood: -0.08224 cycle: 81
EM cycle: 82
Log-likelihood: -0.08187 cycle: 82
EM cycle: 83
Log-likelihood: -0.08149 cycle: 83
EM cycle: 84
Log-likelihood: -0.08113 cycle: 84
EM cycle: 85
Log-likelihood: -0.08076 cycle: 85
EM cycle: 86
Log-likelihood: -0.08042 cycle: 86
EM cycle: 87
Log-likelihood: -0.08007 cycle: 87
EM cycle: 88
Log-likelihood: -0.07972 cycle: 88
EM cycle: 89
Log-likelihood: -0.07940 cycle: 89
EM cycle: 90
Log-likelihood: -0.07904 cycle: 90
EM cycle: 91
Log-likelihood: -0.07875 cycle: 91
EM cycle: 92
Log-likelihood: -0.07841 cycle: 92
EM cycle: 93
Log-likelihood: -0.07809 cycle: 93
EM cycle: 94
Log-likelihood: -0.07779 cycle: 94
EM cycle: 95
Log-likelihood: -0.07750 cycle: 95
EM cycle: 96
Log-likelihood: -0.07719 cycle: 96
EM cycle: 97
Log-likelihood: -0.07691 cycle: 97
EM completed.

  Final Log-Likelihood: -0.07691

Name           | Total (ms)
===========================
main           |         71
init           |          1
Bundle         |         59
Bundle.init    |          0
Bundle.explain |         54
Bundle.BDDCalc |          2
EM             |         11
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   stefan type male
     stefan type father
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

4)   father subClassOf male
     stefan type father
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

5)   stefan type male
     stefan hasChild markus
     hasChild range person
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   martin type male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     martin type father
     

3)   father subClassOf male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     martin type father
     

4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   markus type father
     markus type male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

3)   father subClassOf male
     markus type father
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     

4)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

5)   markus hasChild anna
     hasChild domain person
     markus type male
     ( male
       and ( father
             or hasChild some person
       )
     ) subClassOf learnedClass
     anna hasChild heinz
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         80
init           |          0
Bundle         |         70
Bundle.init    |          0
Bundle.explain |         65
Bundle.BDDCalc |          1
EM             |         10
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   stefan type male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     stefan type father
     

4)   father subClassOf male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     stefan type father
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   martin type male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     martin type father
     

3)   father subClassOf male
     ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     martin type father
     

4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   ( male
       and ( father
             or hasChild some male
       )
     ) subClassOf learnedClass
     markus type father
     markus type male
     

3)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 4
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         62
init           |          1
Bundle         |         51
Bundle.init    |          0
Bundle.explain |         49
Bundle.BDDCalc |          0
EM             |         10
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   stefan type male
     stefan type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

4)   father subClassOf male
     stefan type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   martin type male
     martin type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

3)   father subClassOf male
     martin type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   markus type father
     markus type male
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

3)   father subClassOf male
     markus type father
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     

4)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     

5)   markus hasChild anna
     markus type male
     anna type female
     ( male
       and ( father
             or hasChild some female
       )
     ) subClassOf learnedClass
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 5
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         73
init           |          0
Bundle         |         59
Bundle.init    |          0
Bundle.explain |         58
Bundle.BDDCalc |          1
EM             |         11
Initializing...
Preparing Probability map...
Preparing Probability Map...
Random Seed set to: 0
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Initialization completed
Start finding explanations for every example (Computing BDDs)...
Query 1 of 4 (25%)
Positive Example: stefan Type learnedClass
Axiom: stefan type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild domain person
     stefan hasChild markus
     hasChild some person subClassOf learnedClass
     

2)   stefan hasChild markus
     hasChild range person
     hasChild some person subClassOf learnedClass
     

3)   stefan type male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     stefan type father
     

4)   father subClassOf male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     stefan type father
     


Query 2 of 4 (50%)
Positive Example: martin Type learnedClass
Axiom: martin type learnedClass

Explanation(s): 
1)   martin hasChild heinz
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   martin type male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     martin type father
     

3)   father subClassOf male
     ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     martin type father
     

4)   heinz type male
     male subClassOf person
     martin hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 3 of 4 (75%)
Positive Example: markus Type learnedClass
Axiom: markus type learnedClass

Explanation(s): 
1)   markus hasChild anna
     hasChild range person
     hasChild some person subClassOf learnedClass
     

2)   ( male
       and ( father
             or hasChild some father
       )
     ) subClassOf learnedClass
     markus type father
     markus type male
     

3)   markus hasChild anna
     hasChild domain person
     anna hasChild heinz
     hasChild some person subClassOf learnedClass
     


Query 4 of 4 (100%)
Negative Example: heinz Type not (learnedClass)
Axiom: heinz type not learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Trying the second method...
Axiom: heinz type learnedClass

Explanation: AXIOM IS NOT ENTAILED!

Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		4
stefan Type learnedClass - prob: 0.58824 - tag: 1 - #vars: 5
martin Type learnedClass - prob: 0.58459 - tag: 2 - #vars: 5
markus Type learnedClass - prob: 0.58824 - tag: 3 - #vars: 4
heinz Type learnedClass - prob: 1.00000 - tag: 4 - #vars: 0
EM cycle: 0
EM cycle: 1
Log-likelihood: -1.59810 cycle: 1
EM cycle: 2
Log-likelihood: -0.50132 cycle: 2
EM cycle: 3
Log-likelihood: -0.36236 cycle: 3
EM cycle: 4
Log-likelihood: -0.30119 cycle: 4
EM cycle: 5
Log-likelihood: -0.26528 cycle: 5
EM cycle: 6
Log-likelihood: -0.24101 cycle: 6
EM cycle: 7
Log-likelihood: -0.22327 cycle: 7
EM cycle: 8
Log-likelihood: -0.20956 cycle: 8
EM cycle: 9
Log-likelihood: -0.19857 cycle: 9
EM cycle: 10
Log-likelihood: -0.18949 cycle: 10
EM cycle: 11
Log-likelihood: -0.18182 cycle: 11
EM cycle: 12
Log-likelihood: -0.17527 cycle: 12
EM cycle: 13
Log-likelihood: -0.16952 cycle: 13
EM cycle: 14
Log-likelihood: -0.16447 cycle: 14
EM cycle: 15
Log-likelihood: -0.15996 cycle: 15
EM cycle: 16
Log-likelihood: -0.15594 cycle: 16
EM cycle: 17
Log-likelihood: -0.15229 cycle: 17
EM cycle: 18
Log-likelihood: -0.14894 cycle: 18
EM cycle: 19
Log-likelihood: -0.14589 cycle: 19
EM cycle: 20
Log-likelihood: -0.14308 cycle: 20
EM cycle: 21
Log-likelihood: -0.14049 cycle: 21
EM cycle: 22
Log-likelihood: -0.13810 cycle: 22
EM cycle: 23
Log-likelihood: -0.13587 cycle: 23
EM cycle: 24
Log-likelihood: -0.13373 cycle: 24
EM cycle: 25
Log-likelihood: -0.13179 cycle: 25
EM cycle: 26
Log-likelihood: -0.12997 cycle: 26
EM cycle: 27
Log-likelihood: -0.12819 cycle: 27
EM cycle: 28
Log-likelihood: -0.12653 cycle: 28
EM cycle: 29
Log-likelihood: -0.12498 cycle: 29
EM cycle: 30
Log-likelihood: -0.12350 cycle: 30
EM cycle: 31
Log-likelihood: -0.12210 cycle: 31
EM cycle: 32
Log-likelihood: -0.12076 cycle: 32
EM cycle: 33
Log-likelihood: -0.11949 cycle: 33
EM cycle: 34
Log-likelihood: -0.11828 cycle: 34
EM cycle: 35
Log-likelihood: -0.11706 cycle: 35
EM cycle: 36
Log-likelihood: -0.11596 cycle: 36
EM cycle: 37
Log-likelihood: -0.11493 cycle: 37
EM cycle: 38
Log-likelihood: -0.11388 cycle: 38
EM cycle: 39
Log-likelihood: -0.11288 cycle: 39
EM cycle: 40
Log-likelihood: -0.11194 cycle: 40
EM cycle: 41
Log-likelihood: -0.11100 cycle: 41
EM cycle: 42
Log-likelihood: -0.11012 cycle: 42
EM cycle: 43
Log-likelihood: -0.10926 cycle: 43
EM cycle: 44
Log-likelihood: -0.10844 cycle: 44
EM cycle: 45
Log-likelihood: -0.10765 cycle: 45
EM cycle: 46
Log-likelihood: -0.10688 cycle: 46
EM cycle: 47
Log-likelihood: -0.10611 cycle: 47
EM cycle: 48
Log-likelihood: -0.10538 cycle: 48
EM cycle: 49
Log-likelihood: -0.10469 cycle: 49
EM cycle: 50
Log-likelihood: -0.10402 cycle: 50
EM cycle: 51
Log-likelihood: -0.10336 cycle: 51
EM cycle: 52
Log-likelihood: -0.10271 cycle: 52
EM cycle: 53
Log-likelihood: -0.10210 cycle: 53
EM cycle: 54
Log-likelihood: -0.10147 cycle: 54
EM cycle: 55
Log-likelihood: -0.10086 cycle: 55
EM cycle: 56
Log-likelihood: -0.10031 cycle: 56
EM cycle: 57
Log-likelihood: -0.09974 cycle: 57
EM cycle: 58
Log-likelihood: -0.09921 cycle: 58
EM cycle: 59
Log-likelihood: -0.09865 cycle: 59
EM cycle: 60
Log-likelihood: -0.09814 cycle: 60
EM cycle: 61
Log-likelihood: -0.09762 cycle: 61
EM cycle: 62
Log-likelihood: -0.09712 cycle: 62
EM cycle: 63
Log-likelihood: -0.09663 cycle: 63
EM cycle: 64
Log-likelihood: -0.09618 cycle: 64
EM cycle: 65
Log-likelihood: -0.09573 cycle: 65
EM cycle: 66
Log-likelihood: -0.09524 cycle: 66
EM cycle: 67
Log-likelihood: -0.09480 cycle: 67
EM cycle: 68
Log-likelihood: -0.09437 cycle: 68
EM cycle: 69
Log-likelihood: -0.09395 cycle: 69
EM cycle: 70
Log-likelihood: -0.09353 cycle: 70
EM cycle: 71
Log-likelihood: -0.09313 cycle: 71
EM cycle: 72
Log-likelihood: -0.09274 cycle: 72
EM cycle: 73
Log-likelihood: -0.09234 cycle: 73
EM cycle: 74
Log-likelihood: -0.09196 cycle: 74
EM cycle: 75
Log-likelihood: -0.09156 cycle: 75
EM cycle: 76
Log-likelihood: -0.09121 cycle: 76
EM cycle: 77
Log-likelihood: -0.09084 cycle: 77
EM cycle: 78
Log-likelihood: -0.09049 cycle: 78
EM cycle: 79
Log-likelihood: -0.09016 cycle: 79
EM cycle: 80
Log-likelihood: -0.08980 cycle: 80
EM cycle: 81
Log-likelihood: -0.08945 cycle: 81
EM cycle: 82
Log-likelihood: -0.08914 cycle: 82
EM cycle: 83
Log-likelihood: -0.08881 cycle: 83
EM cycle: 84
Log-likelihood: -0.08847 cycle: 84
EM cycle: 85
Log-likelihood: -0.08817 cycle: 85
EM cycle: 86
Log-likelihood: -0.08787 cycle: 86
EM cycle: 87
Log-likelihood: -0.08756 cycle: 87
EM cycle: 88
Log-likelihood: -0.08726 cycle: 88
EM cycle: 89
Log-likelihood: -0.08697 cycle: 89
EM cycle: 90
Log-likelihood: -0.08665 cycle: 90
EM cycle: 91
Log-likelihood: -0.08637 cycle: 91
EM completed.

  Final Log-Likelihood: -0.08637

Name           | Total (ms)
===========================
main           |         73
init           |          0
Bundle         |         62
Bundle.init    |          0
Bundle.explain |         57
Bundle.BDDCalc |          2
EM             |         11
Test case 3 - Dummy parameter learner

[..........] 0%
[==........] 20%
[====......] 40%
[======....] 60%
[==========] 100%

[========..] 80%
[==========] 100%

[==========] 100%
Debug logger: false
 INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
 INFO (DummyParameterLearner.java:151) - Ontology created in 1.0 (ms)
Ontology created in 1.0 (ms)
 INFO (DummyParameterLearner.java:242) - Created 9 probabilistic axiom
Created 9 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 9
Probability Map computed. Size: 9
 INFO (DummyParameterLearner.java:150) - Successful creation of the learned ontology
Successful creation of the learned ontology
 INFO (DummyParameterLearner.java:151) - Ontology created in 0.0 (ms)
Ontology created in 0.0 (ms)
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
 INFO (DummyParameterLearner.java:242) - Created 10 probabilistic axiom
Created 10 probabilistic axiom
 INFO (DummyParameterLearner.java:247) - Probability Map computed. Size: 10
Probability Map computed. Size: 10
[INFO] Tests run: 3, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 31.227 s - in org.dllearner.algorithms.probabilistic.structure.unife.leap.LEAPTest
[INFO] Running org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0 s - in org.dllearner.algorithms.probabilistic.structure.distributed.unife.leap.AppTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 5, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ components-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-ext/target/components-ext-1.4.1-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ components-ext ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-ext/target/components-ext-1.4.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.pom
[INFO] 
[INFO] ----------------------< org.dllearner:interfaces >----------------------
[INFO] Building dllearner-interfaces 1.4.1-SNAPSHOT                       [4/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces ---
[INFO] 
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces ---
[INFO] 
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/src/main/javacc
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 6 resources
[INFO] Copying 357 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 127 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Some input files use or override a deprecated API.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/src/main/java/org/dllearner/cli/Enrichment.java: Recompile with -Xlint:deprecation for details.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/PropsTypeImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/PropsTypeImpl.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:testResources (default-testResources) @ interfaces ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 2 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 7 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/test-classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/src/test/java/org/dllearner/test/junit/LearningProblemTest.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.0:test (default-test) @ interfaces ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/surefire-reports
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.FatherCLITest
2020-10-14 11:48:51,721 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'ks' of type KB File ...
2020-10-14 11:48:51,761 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'ks' in 32ms. Status: OK
2020-10-14 11:48:51,779 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'embeddedReasoner' of type OWL API Reasoner ...
2020-10-14 11:48:51,973 INFO o.d.r.OWLAPIReasoner [main] Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
2020-10-14 11:48:51,973 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'embeddedReasoner' in 194ms. Status: OK
2020-10-14 11:48:51,974 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'reasoner' of type closed world reasoner ...
2020-10-14 11:48:51,974 INFO o.d.r.ClosedWorldReasoner [main] Materializing TBox...
2020-10-14 11:48:51,975 INFO o.d.r.ClosedWorldReasoner [main] materialising concepts

[..........] 0%
[===.......] 33%
[==========] 100%
2020-10-14 11:48:51,983 INFO o.d.r.ClosedWorldReasoner [main] materialising object properties ...

[======....] 66%
[==========] 100%
2020-10-14 11:48:51,985 INFO o.d.r.ClosedWorldReasoner [main] materialising datatype properties

[==========] 100%
2020-10-14 11:48:52,027 INFO o.d.r.ClosedWorldReasoner [main] ...TBox materialised in 53 ms.
2020-10-14 11:48:52,027 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'reasoner' in 53ms. Status: OK
2020-10-14 11:48:52,029 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'op' of type rho refinement operator ...
2020-10-14 11:48:52,045 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'op' in 16ms. Status: OK
2020-10-14 11:48:52,066 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'lp' of type PosNegLPStandard ...
2020-10-14 11:48:52,067 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'lp' in 1ms. Status: OK
2020-10-14 11:48:52,074 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'h' of type multiple criteria heuristic ...
2020-10-14 11:48:52,074 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'h' in 0ms. Status: OK
2020-10-14 11:48:52,101 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'alg' of type OWL Class Expression Learner ...
2020-10-14 11:48:52,104 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'alg' in 2ms. Status: OK
2020-10-14 11:48:52,196 INFO o.d.a.o.OCEL [main] starting top down refinement with: Thing (42.857% accuracy)
2020-10-14 11:48:52,210 INFO o.d.a.o.OCEL [main] more accurate (85.71%) class expression found: male
2020-10-14 11:48:52,220 INFO o.d.a.o.OCEL [main] more accurate (100.00%) class expression found: male and (hasChild some Thing)
2020-10-14 11:49:07,715 INFO o.d.a.o.OCEL [main] Maximum time (15 seconds) reached, stopping now...
2020-10-14 11:49:07,715 INFO o.d.a.o.OCEL [main] solutions (at most 20 are shown):
2020-10-14 11:49:07,715 INFO o.d.a.o.OCEL [main] 1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2020-10-14 11:49:07,716 INFO o.d.a.o.OCEL [main] 2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
2020-10-14 11:49:07,716 INFO o.d.a.o.OCEL [main] 3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
2020-10-14 11:49:07,716 INFO o.d.a.o.OCEL [main] 4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
2020-10-14 11:49:07,717 INFO o.d.a.o.OCEL [main] 5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
2020-10-14 11:49:07,717 INFO o.d.a.o.OCEL [main] 6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
2020-10-14 11:49:07,717 INFO o.d.a.o.OCEL [main] 7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
2020-10-14 11:49:07,718 INFO o.d.a.o.OCEL [main] 8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
2020-10-14 11:49:07,718 INFO o.d.a.o.OCEL [main] 9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
2020-10-14 11:49:07,718 INFO o.d.a.o.OCEL [main] 10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
2020-10-14 11:49:07,719 INFO o.d.a.o.OCEL [main] 11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
2020-10-14 11:49:07,719 INFO o.d.a.o.OCEL [main] 12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
2020-10-14 11:49:07,719 INFO o.d.a.o.OCEL [main] 13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:07,720 INFO o.d.a.o.OCEL [main] 14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
2020-10-14 11:49:07,720 INFO o.d.a.o.OCEL [main] 15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
2020-10-14 11:49:07,720 INFO o.d.a.o.OCEL [main] 16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:07,720 INFO o.d.a.o.OCEL [main] 17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:07,721 INFO o.d.a.o.OCEL [main] 18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:07,721 INFO o.d.a.o.OCEL [main] 19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:07,721 INFO o.d.a.o.OCEL [main] 20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
2020-10-14 11:49:07,721 INFO o.d.a.o.OCEL [main] Algorithm stopped (29663 descriptions tested).

2020-10-14 11:49:07,814 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'ks' of type KB File ...
2020-10-14 11:49:07,820 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'ks' in 5ms. Status: OK
2020-10-14 11:49:07,823 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'reasoner' of type closed world reasoner ...
2020-10-14 11:49:07,834 INFO o.d.r.OWLAPIReasoner [main] Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
2020-10-14 11:49:07,834 INFO o.d.r.ClosedWorldReasoner [main] Materializing TBox...
2020-10-14 11:49:07,834 INFO o.d.r.ClosedWorldReasoner [main] materialising concepts

[..........] 0%
[===.......] 33%
[==========] 100%
2020-10-14 11:49:07,835 INFO o.d.r.ClosedWorldReasoner [main] materialising object properties ...

[======....] 66%
[==========] 100%
2020-10-14 11:49:07,836 INFO o.d.r.ClosedWorldReasoner [main] materialising datatype properties

[==========] 100%
2020-10-14 11:49:07,837 INFO o.d.r.ClosedWorldReasoner [main] ...TBox materialised in 3 ms.
2020-10-14 11:49:07,837 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'reasoner' in 14ms. Status: OK
2020-10-14 11:49:07,838 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'op' of type rho refinement operator ...
2020-10-14 11:49:07,841 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'op' in 3ms. Status: OK
2020-10-14 11:49:07,851 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'lp' of type PosNegLPStandard ...
2020-10-14 11:49:07,851 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'lp' in 0ms. Status: OK
2020-10-14 11:49:07,855 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'h' of type multiple criteria heuristic ...
2020-10-14 11:49:07,855 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'h' in 0ms. Status: OK
2020-10-14 11:49:07,866 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'alg' of type OWL Class Expression Learner ...
2020-10-14 11:49:07,867 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'alg' in 1ms. Status: OK
2020-10-14 11:49:07,909 INFO o.d.a.o.OCEL [main] starting top down refinement with: Thing (42.857% accuracy)
2020-10-14 11:49:07,910 INFO o.d.a.o.OCEL [main] more accurate (85.71%) class expression found: male
2020-10-14 11:49:07,911 INFO o.d.a.o.OCEL [main] more accurate (100.00%) class expression found: male and (hasChild some Thing)
2020-10-14 11:49:22,910 INFO o.d.a.o.OCEL [main] Maximum time (15 seconds) reached, stopping now...
2020-10-14 11:49:22,910 INFO o.d.a.o.OCEL [main] solutions (at most 20 are shown):
2020-10-14 11:49:22,910 INFO o.d.a.o.OCEL [main] 1: male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
2020-10-14 11:49:22,911 INFO o.d.a.o.OCEL [main] 2: (not (female)) and (hasChild some Thing) (accuracy 100%, length 6, depth 1)
2020-10-14 11:49:22,911 INFO o.d.a.o.OCEL [main] 3: hasChild some (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
2020-10-14 11:49:22,911 INFO o.d.a.o.OCEL [main] 4: hasChild some (female or (hasChild some female)) (accuracy 100%, length 7, depth 2)
2020-10-14 11:49:22,911 INFO o.d.a.o.OCEL [main] 5: hasChild some (female or (hasChild some (not (male)))) (accuracy 100%, length 8, depth 2)
2020-10-14 11:49:22,912 INFO o.d.a.o.OCEL [main] 6: hasChild some (female or (hasChild some (hasChild some Thing))) (accuracy 100%, length 9, depth 3)
2020-10-14 11:49:22,912 INFO o.d.a.o.OCEL [main] 7: male and (hasChild some (female or male)) (accuracy 100%, length 7, depth 1)
2020-10-14 11:49:22,912 INFO o.d.a.o.OCEL [main] 8: male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
2020-10-14 11:49:22,912 INFO o.d.a.o.OCEL [main] 9: (male or male) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
2020-10-14 11:49:22,913 INFO o.d.a.o.OCEL [main] 10: hasChild some ((not (male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
2020-10-14 11:49:22,913 INFO o.d.a.o.OCEL [main] 11: hasChild some ((not (male)) or (hasChild some female)) (accuracy 100%, length 8, depth 2)
2020-10-14 11:49:22,913 INFO o.d.a.o.OCEL [main] 12: hasChild some (female or (hasChild some (hasChild some male))) (accuracy 100%, length 9, depth 3)
2020-10-14 11:49:22,913 INFO o.d.a.o.OCEL [main] 13: hasChild some ((not (male)) or (hasChild some (not (male)))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:22,914 INFO o.d.a.o.OCEL [main] 14: hasChild some ((not (male)) or (hasChild some (hasChild some Thing))) (accuracy 100%, length 10, depth 3)
2020-10-14 11:49:22,914 INFO o.d.a.o.OCEL [main] 15: male and (female or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
2020-10-14 11:49:22,914 INFO o.d.a.o.OCEL [main] 16: male and (hasChild some (female or (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:22,914 INFO o.d.a.o.OCEL [main] 17: hasChild some (female or (male and (hasChild some Thing))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:22,915 INFO o.d.a.o.OCEL [main] 18: hasChild some (female or (hasChild some (female or female))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:22,915 INFO o.d.a.o.OCEL [main] 19: hasChild some (female or (hasChild some (female or male))) (accuracy 100%, length 9, depth 2)
2020-10-14 11:49:22,915 INFO o.d.a.o.OCEL [main] 20: hasChild some (female or (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
2020-10-14 11:49:22,915 INFO o.d.a.o.OCEL [main] Algorithm stopped (29726 descriptions tested).

[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 34.595 s - in org.dllearner.cli.FatherCLITest
[INFO] Running org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
2020-10-14 11:49:22,980 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'fourthBean' of type TestBean Component ...
2020-10-14 11:49:22,981 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'fourthBean' in 0ms. Status: OK
2020-10-14 11:49:22,982 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'thirdBean' of type TestBean Component ...
2020-10-14 11:49:22,983 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'thirdBean' in 0ms. Status: OK
2020-10-14 11:49:22,984 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'secondBean' of type TestBean Component ...
2020-10-14 11:49:22,984 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'secondBean' in 0ms. Status: OK
2020-10-14 11:49:22,985 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'testBean' of type TestBean Component ...
2020-10-14 11:49:22,985 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'testBean' in 0ms. Status: OK
2020-10-14 11:49:22,986 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'fifthBean' of type TestBean Component ...
2020-10-14 11:49:22,986 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'fifthBean' in 0ms. Status: OK
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.07 s - in org.dllearner.configuration.spring.ConfigurationBasedPropertyOverrideConfigurerTest
[INFO] Running org.dllearner.confparser3.ParseTest
ks.type = KB File
ks.fileName = father.kb
reasoner.type = cwr
reasoner.reasonerComponent = embeddedReasoner    (bean reference)
embeddedReasoner.type = OWL API Reasoner
embeddedReasoner.sources = [ks]
lp.type = posNegStandard
lp.positiveExamples = [http://localhost/foo#markus, http://localhost/foo#stefan, http://localhost/foo#bernd]
lp.negativeExamples = [http://localhost/foo#gabi, http://localhost/foo#anna, http://localhost/foo#michelle, http://localhost/foo#heinz]
lp.reasoner = reasoner    (bean reference)
op.type = rho
op.useCardinalityRestrictions = true
op.reasoner = reasoner    (bean reference)
h.type = multiheuristic
h.expansionPenaltyFactor = 0.2
alg.type = ocel
alg.reasoner = reasoner    (bean reference)
alg.operator = op    (bean reference)
alg.heuristic = h    (bean reference)
alg.maxExecutionTimeInSeconds = 15
2020-10-14 11:49:23,075 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'ks' of type OWL File ...
2020-10-14 11:49:23,076 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'ks' in 1ms. Status: OK
2020-10-14 11:49:23,081 WARN o.s.c.s.AbstractApplicationContext [main] Exception encountered during context initialization - cancelling refresh attempt: org.springframework.beans.factory.UnsatisfiedDependencyException: Error creating bean with name 'lp': Unsatisfied dependency expressed through method 'setReasoner' parameter 0; nested exception is org.springframework.beans.factory.BeanCreationException: Error creating bean with name 'reasoner': Error setting property values; nested exception is org.springframework.beans.NotWritablePropertyException: Invalid property 'nonExistingAttribute' of bean class [org.dllearner.reasoning.ClosedWorldReasoner]: Bean property 'nonExistingAttribute' is not writable or has an invalid setter method. Does the parameter type of the setter match the return type of the getter?
[INFO] Tests run: 2, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 0.085 s - in org.dllearner.confparser3.ParseTest
[INFO] Running org.dllearner.test.junit.LearningProblemTest
2020-10-14 11:49:23,144 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'acc' of type Predictive Accuracy without Weak elimination ...
2020-10-14 11:49:23,145 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'acc' in 0ms. Status: OK
2020-10-14 11:49:23,156 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'ks' of type OWL File ...
2020-10-14 11:49:23,157 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'ks' in 1ms. Status: OK
2020-10-14 11:49:23,158 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'reasoner' of type closed world reasoner ...
2020-10-14 11:49:27,110 INFO o.d.r.OWLAPIReasoner [main] Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
2020-10-14 11:49:27,111 INFO o.d.r.ClosedWorldReasoner [main] Materializing TBox...
2020-10-14 11:49:27,111 INFO o.d.r.ClosedWorldReasoner [main] materialising concepts

[..........] 0%
[..........] 0%
[..........] 1%
[..........] 1%
[..........] 2%
[..........] 3%
[..........] 3%
[..........] 4%
[..........] 4%
[..........] 5%
[..........] 6%
[..........] 6%
[..........] 7%
[..........] 8%
[..........] 8%
[..........] 9%
[..........] 9%
[=.........] 10%
[=.........] 11%
[=.........] 11%
[=.........] 12%
[=.........] 13%
[=.........] 13%
[=.........] 14%
[=.........] 14%
[=.........] 15%
[=.........] 16%
[=.........] 16%
[=.........] 17%
[=.........] 18%
[=.........] 18%
[=.........] 19%
[=.........] 19%
[==........] 20%
[==........] 21%
[==........] 21%
[==........] 22%
[==........] 22%
[==........] 23%
[==........] 24%
[==........] 24%
[==........] 25%
[==........] 26%
[==........] 26%
[==........] 27%
[==........] 27%
[==........] 28%
[==........] 29%
[==........] 29%
[===.......] 30%
[===.......] 31%
[===.......] 31%
[===.......] 32%
[===.......] 32%
[===.......] 33%
[===.......] 34%
[===.......] 34%
[===.......] 35%
[===.......] 36%
[===.......] 36%
[===.......] 37%
[===.......] 37%
[===.......] 38%
[===.......] 39%
[===.......] 39%
[====......] 40%
[====......] 40%
[====......] 41%
[====......] 42%
[====......] 42%
[====......] 43%
[====......] 44%
[====......] 44%
[====......] 45%
[====......] 45%
[====......] 46%
[====......] 47%
[====......] 47%
[====......] 48%
[====......] 49%
[====......] 49%
[=====.....] 50%
[=====.....] 50%
[=====.....] 51%
[=====.....] 52%
[=====.....] 52%
[=====.....] 53%
[=====.....] 54%
[=====.....] 54%
[=====.....] 55%
[=====.....] 55%
[=====.....] 56%
[=====.....] 57%
[=====.....] 57%
[=====.....] 58%
[=====.....] 59%
[=====.....] 59%
[======....] 60%
[======....] 60%
[======....] 61%
[======....] 62%
[======....] 62%
[======....] 63%
[======....] 63%
[======....] 64%
[======....] 65%
[======....] 65%
[======....] 66%
[======....] 67%
[======....] 67%
[======....] 68%
[======....] 68%
[======....] 69%
[=======...] 70%
[=======...] 70%
[=======...] 71%
[=======...] 72%
[=======...] 72%
[=======...] 73%
[=======...] 73%
[=======...] 74%
[=======...] 75%
[=======...] 75%
[=======...] 76%
[=======...] 77%
[=======...] 77%
[=======...] 78%
[=======...] 78%
[=======...] 79%
[========..] 80%
[========..] 80%
[========..] 81%
[========..] 81%
[========..] 82%
[========..] 83%
[========..] 83%
[========..] 84%
[========..] 85%
[========..] 85%
[========..] 86%
[========..] 86%
[========..] 87%
[==========] 100%
2020-10-14 11:49:31,924 INFO o.d.r.ClosedWorldReasoner [main] materialising object properties ...

[========..] 88%
[========..] 88%
[========..] 89%
[=========.] 90%
[==========] 100%
2020-10-14 11:49:33,376 INFO o.d.r.ClosedWorldReasoner [main] materialising datatype properties

[=========.] 90%
[=========.] 91%
[=========.] 91%
[=========.] 92%
[=========.] 93%
[=========.] 93%
[=========.] 94%
[=========.] 95%
[=========.] 95%
[=========.] 96%
[=========.] 96%
[=========.] 97%
[=========.] 98%
[=========.] 98%
[=========.] 99%
[==========] 100%
2020-10-14 11:49:35,193 WARN o.d.c.AbstractReasonerComponent [main] Property cytogen_ca has more than one value [false, true] for individual d135. We ignore the value.
2020-10-14 11:49:35,250 WARN o.d.c.AbstractReasonerComponent [main] Property cytogen_ca has value [false, true]. Cannot determine whether it is false.
2020-10-14 11:49:36,080 INFO o.d.r.ClosedWorldReasoner [main] ...TBox materialised in 8969 ms.
2020-10-14 11:49:36,081 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'reasoner' in 12s 923ms. Status: OK
2020-10-14 11:49:36,082 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'op' of type rho refinement operator ...
2020-10-14 11:49:36,155 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'op' in 73ms. Status: OK
2020-10-14 11:49:36,162 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'lp' of type PosNegLPStandard ...
2020-10-14 11:49:36,162 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'lp' in 0ms. Status: OK
2020-10-14 11:49:36,169 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] Initializing component 'alg' of type OWL Class Expression Learner ...
2020-10-14 11:49:36,173 INFO o.d.c.s.ComponentInitializationBeanPostProcessor [main] ... initialized component 'alg' in 4ms. Status: OK
concept: Compound and ((hasStructure some Ar_halide) or (amesTestPositive some {true})) and (hasAtom only (not (Nitrogen-35))) {12}
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.177 s - in org.dllearner.test.junit.LearningProblemTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 6, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ interfaces ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/dl-learner.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.pom
[INFO] 
[INFO] --------------------< org.dllearner:interfaces-ext >--------------------
[INFO] Building interfaces-ext 1.4.1-SNAPSHOT                             [5/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces-ext ---
[INFO] 
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces-ext ---
[INFO] 
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces-ext ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/src/main/javacc
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 357 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 73 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/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/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/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.1.0:testResources (default-testResources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 1 source file to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.0:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/target/surefire-reports
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.unife.CLILEAPTest
main
ERROR StatusLogger Reconfiguration failed: No configuration found for '7d4991ad' at 'null' in 'null'
DL-Learner command line interface

[..........] 0%
[=.........] 16%
[===.......] 33%
[=====.....] 50%
[======....] 66%
[==========] 100%

[========..] 83%
[==========] 100%

[==========] 100%
CLI LEAP
CLI LEAP
Running algorithm instance "psla" (LEAP)
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 0.0 (ms)
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.25428

============ Results ============

ax 1/10 : father EquivalentTo learnedClass	arrayprob: 0.99660
ax 2/10 : male SubClassOf learnedClass	arrayprob: 0.18941
ax 3/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 4/10 : father SubClassOf male	arrayprob: 0.98600
ax 5/10 : female SubClassOf person	arrayprob: 0.63742
ax 6/10 : hasChild Domain person	arrayprob: 0.87918
ax 7/10 : male SubClassOf person	arrayprob: 0.55044
ax 8/10 : female DisjointWith male	arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

=================================

Name           | Total (ms)
===========================
main           |        174
init           |         26
Bundle         |         98
Bundle.init    |          0
Bundle.explain |         87
Bundle.BDDCalc |          2
EM             |         37
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 3.0 (ms)
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.15390

============ Results ============

ax 1/10 : father EquivalentTo learnedClass	arrayprob: 0.99848
ax 2/10 : male SubClassOf learnedClass	arrayprob: 0.11937
ax 3/10 : learnedClass SubClassOf Thing	arrayprob: 0.98484
ax 4/10 : father SubClassOf male	arrayprob: 0.99066
ax 5/10 : female SubClassOf person	arrayprob: 0.55044
ax 6/10 : hasChild Domain person	arrayprob: 0.94125
ax 7/10 : male SubClassOf person	arrayprob: 0.59755
ax 8/10 : female DisjointWith male	arrayprob: 1.00000
ax 9/10 : person SubClassOf Thing	arrayprob: 0.38519
ax 10/10 : hasChild Range person	arrayprob: 0.27495

=================================

Name           | Total (ms)
===========================
main           |         75
init           |          1
Bundle         |         58
Bundle.init    |          0
Bundle.explain |         53
Bundle.BDDCalc |          1
EM             |         12
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 2.0 (ms)
Created 11 probabilistic axiom
Probability Map computed. Size: 11
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	11
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.15384

============ Results ============

ax 1/11 : father EquivalentTo learnedClass	arrayprob: 0.99440
ax 2/11 : male SubClassOf learnedClass	arrayprob: 0.12300
ax 3/11 : learnedClass SubClassOf Thing	arrayprob: 0.98484
ax 4/11 : father SubClassOf male	arrayprob: 1.00000
ax 5/11 : female SubClassOf person	arrayprob: 0.55044
ax 6/11 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.29779
ax 7/11 : hasChild Domain person	arrayprob: 0.94125
ax 8/11 : male SubClassOf person	arrayprob: 0.59755
ax 9/11 : female DisjointWith male	arrayprob: 1.00000
ax 10/11 : person SubClassOf Thing	arrayprob: 0.38519
ax 11/11 : hasChild Range person	arrayprob: 0.27495

=================================

Name           | Total (ms)
===========================
main           |         70
init           |          0
Bundle         |         60
Bundle.init    |          0
Bundle.explain |         54
Bundle.BDDCalc |          0
EM             |          6
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 2.0 (ms)
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.18589

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.99004
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.70488
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : male SubClassOf person	arrayprob: 0.33322
ax 9/12 : female DisjointWith male	arrayprob: 1.00000
ax 10/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 11/12 : hasChild Range person	arrayprob: 0.12890
ax 12/12 : learnedClass EquivalentTo learnedClass and (hasChild some person)	arrayprob: 0.24054

=================================

Name           | Total (ms)
===========================
main           |         76
init           |          0
Bundle         |         66
Bundle.init    |          0
Bundle.explain |         59
Bundle.BDDCalc |          0
EM             |          7
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.20924

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.95704
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.14051
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.55044
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.74085
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : male SubClassOf person	arrayprob: 0.33322
ax 9/12 : female DisjointWith male	arrayprob: 1.00000
ax 10/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 11/12 : hasChild Range person	arrayprob: 0.12890
ax 12/12 : learnedClass EquivalentTo male and (hasChild some person)	arrayprob: 1.00000

=================================

Name           | Total (ms)
===========================
main           |         70
init           |          0
Bundle         |         63
Bundle.init    |          0
Bundle.explain |         57
Bundle.BDDCalc |          0
EM             |          5
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.25960

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99122
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12511
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.96541
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.30974
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : male SubClassOf person	arrayprob: 0.33322
ax 9/12 : female DisjointWith male	arrayprob: 0.99830
ax 10/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 11/12 : learnedClass EquivalentTo father or (hasChild some (not (learnedClass)))	arrayprob: 0.01579
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         84
init           |          1
Bundle         |         70
Bundle.init    |          0
Bundle.explain |         66
Bundle.BDDCalc |          0
EM             |         11
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.18589

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.99004
ax 5/12 : learnedClass EquivalentTo father or (hasChild some (not (male)))	arrayprob: 0.70488
ax 6/12 : female SubClassOf person	arrayprob: 0.59755
ax 7/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.24054
ax 8/12 : hasChild Domain person	arrayprob: 0.27495
ax 9/12 : male SubClassOf person	arrayprob: 0.33322
ax 10/12 : female DisjointWith male	arrayprob: 1.00000
ax 11/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         63
init           |          1
Bundle         |         54
Bundle.init    |          0
Bundle.explain |         49
Bundle.BDDCalc |          1
EM             |          5
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.27754

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.96262
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.13007
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : father SubClassOf male	arrayprob: 0.87416
ax 5/12 : female SubClassOf person	arrayprob: 0.59755
ax 6/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.73414
ax 7/12 : hasChild Domain person	arrayprob: 0.27495
ax 8/12 : learnedClass EquivalentTo (not (female)) and (hasChild some person)	arrayprob: 0.74260
ax 9/12 : male SubClassOf person	arrayprob: 0.33322
ax 10/12 : female DisjointWith male	arrayprob: 0.99234
ax 11/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         68
init           |          1
Bundle         |         60
Bundle.init    |          0
Bundle.explain |         55
Bundle.BDDCalc |          0
EM             |          7
Created 12 probabilistic axiom
Probability Map computed. Size: 12
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	12
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.18589

============ Results ============

ax 1/12 : father EquivalentTo learnedClass	arrayprob: 0.99167
ax 2/12 : male SubClassOf learnedClass	arrayprob: 0.12765
ax 3/12 : learnedClass SubClassOf Thing	arrayprob: 0.87918
ax 4/12 : learnedClass EquivalentTo father or (learnedClass and (hasChild some learnedClass))	arrayprob: 0.24054
ax 5/12 : father SubClassOf male	arrayprob: 0.99004
ax 6/12 : female SubClassOf person	arrayprob: 0.59755
ax 7/12 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.70488
ax 8/12 : hasChild Domain person	arrayprob: 0.27495
ax 9/12 : male SubClassOf person	arrayprob: 0.33322
ax 10/12 : female DisjointWith male	arrayprob: 1.00000
ax 11/12 : person SubClassOf Thing	arrayprob: 0.98484
ax 12/12 : hasChild Range person	arrayprob: 0.12890

=================================

Name           | Total (ms)
===========================
main           |         63
init           |          1
Bundle         |         54
Bundle.init    |          0
Bundle.explain |         51
Bundle.BDDCalc |          0
EM             |          5
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 14.486 s - in org.dllearner.cli.unife.CLILEAPTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ interfaces-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/target/dl-learner.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ interfaces-ext ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.pom
[INFO] 
[INFO] -----------------------< org.dllearner:scripts >------------------------
[INFO] Building Executable scripts 1.4.1-SNAPSHOT                         [6/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ scripts ---
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:resources (default-resources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/src/main/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ scripts ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 26 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java uses unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.1.0:testResources (default-testResources) @ scripts ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/src/test/resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:testCompile (default-testCompile) @ scripts ---
[INFO] No sources to compile
[INFO] 
[INFO] --- maven-surefire-plugin:2.22.0:test (default-test) @ scripts ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.1.0:jar (default-jar) @ scripts ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/target/scripts-1.4.1-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ scripts ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/target/scripts-1.4.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] DL Learner Parent Pom 1.4.1-SNAPSHOT ............... SUCCESS [  1.502 s]
[INFO] DL Learner Core Components ......................... SUCCESS [02:55 min]
[INFO] components-ext ..................................... SUCCESS [01:40 min]
[INFO] dllearner-interfaces ............................... SUCCESS [ 58.360 s]
[INFO] interfaces-ext ..................................... SUCCESS [ 22.039 s]
[INFO] Executable scripts 1.4.1-SNAPSHOT .................. SUCCESS [  2.995 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 06:06 min
[INFO] Finished at: 2020-10-14T11:50:04+02:00
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/pom.xml to org.dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces-ext/target/dl-learner.jar to org.dllearner/interfaces-ext/1.4.1-SNAPSHOT/interfaces-ext-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-ext/target/components-ext-1.4.1-SNAPSHOT.jar to org.dllearner/components-ext/1.4.1-SNAPSHOT/components-ext-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/pom.xml to org.dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/scripts/target/scripts-1.4.1-SNAPSHOT.jar to org.dllearner/scripts/1.4.1-SNAPSHOT/scripts-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-core/pom.xml to org.dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-core/target/components-core-1.4.1-SNAPSHOT.jar to org.dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/components-core/target/components-core-1.4.1-SNAPSHOT-tests.jar to org.dllearner/components-core/1.4.1-SNAPSHOT/components-core-1.4.1-SNAPSHOT-tests.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/pom.xml to org.dllearner/dllearner-parent/1.4.1-SNAPSHOT/dllearner-parent-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/log4j2/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.4.1-SNAPSHOT/interfaces-1.4.1-SNAPSHOT.jar
channel stopped
[File exists] check if file exists [.git/MERGE_MODE]
Run condition [Not] enabling perform for step [[Set GitHub commit status (universal)]]
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@3115b9a1[nodeId=MDEwOlJlcG9zaXRvcnkyMjY5MzUxNQ==,description=A tool for supervised Machine Learning in OWL and Description Logics,homepage=http://dl-learner.org,name=DL-Learner,fork=false,archived=false,size=255557,milestones={},language=Java,commits={},source=<null>,parent=<null>,url=https://api.github.com/repos/SmartDataAnalytics/DL-Learner,id=22693515,nodeId=<null>,createdAt=2014-08-06T18:29:54Z,updatedAt=2020-10-13T08:40:31Z]] (sha:8399ccd) with context:jenkins-merge
Setting commit status on GitHub for https://github.com/SmartDataAnalytics/DL-Learner/commit/8399ccd0ab980f55b4378e633350cc0074ee0329
Finished: SUCCESS