SuccessConsole Output

Skipping 757 KB.. Full Log
ome (nextRank some (nextRank some (nextRank some (sameSuit some card)))) (accuracy 100%, length 11, depth 5)
INFO - 4: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some card)))) (accuracy 100%, length 11, depth 5)
INFO - 5: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (not (deck)))))) (accuracy 100%, length 12, depth 5)
INFO - 6: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasRank some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 7: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasSuit some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 8: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (nextRank some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 9: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some (not (deck)))))) (accuracy 100%, length 12, depth 5)
INFO - 10: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some (hasRank some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 11: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some (hasSuit some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 12: deck and (hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 13: hasCard some (card and (nextRank some (nextRank some (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 14: hasCard some (nextRank some (card and (nextRank some (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 15: hasCard some (nextRank some (nextRank some (card and (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 16: hasCard some (nextRank some (nextRank some (nextRank some (card and (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 17: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (card or card))))) (accuracy 100%, length 13, depth 5)
INFO - 18: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (card or deck))))) (accuracy 100%, length 13, depth 5)
INFO - 19: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasCard only Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 20: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasRank only Thing))))) (accuracy 100%, length 13, depth 6)
INFO - Algorithm stopped (15600 descriptions tested).

Test of ../examples/poker/straight.conf completed in 10s 64ms.
Testing ../examples/poker/straight_owl.conf (example 100 of 99, time: 14:28:00).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 14 ms.
INFO - ... initialized component 'reasoner' in 43ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 1ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (7.273% accuracy)
INFO - more accurate (25.45%) class expression found: hasCard some (nextRank some Thing)
INFO - more accurate (80.00%) class expression found: hasCard some (nextRank some (nextRank some Thing))
INFO - more accurate (94.55%) class expression found: hasCard min 2 (nextRank some (nextRank some Thing))
INFO - more accurate (100.00%) class expression found: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some Thing))))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some Thing)))) (accuracy 100%, length 11, depth 5)
INFO - 2: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some Thing)))) (accuracy 100%, length 11, depth 5)
INFO - 3: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some card)))) (accuracy 100%, length 11, depth 5)
INFO - 4: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some card)))) (accuracy 100%, length 11, depth 5)
INFO - 5: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (not (deck)))))) (accuracy 100%, length 12, depth 5)
INFO - 6: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasRank some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 7: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasSuit some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 8: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (nextRank some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 9: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some (not (deck)))))) (accuracy 100%, length 12, depth 5)
INFO - 10: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some (hasRank some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 11: hasCard some (nextRank some (nextRank some (nextRank some (nextRank some (hasSuit some Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 12: deck and (hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 13: hasCard some (card and (nextRank some (nextRank some (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 14: hasCard some (nextRank some (card and (nextRank some (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 15: hasCard some (nextRank some (nextRank some (card and (nextRank some (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 16: hasCard some (nextRank some (nextRank some (nextRank some (card and (sameSuit some Thing))))) (accuracy 100%, length 13, depth 5)
INFO - 17: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (card or card))))) (accuracy 100%, length 13, depth 5)
INFO - 18: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (card or deck))))) (accuracy 100%, length 13, depth 5)
INFO - 19: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasCard only Thing))))) (accuracy 100%, length 13, depth 6)
INFO - 20: hasCard some (nextRank some (nextRank some (nextRank some (sameSuit some (hasRank only Thing))))) (accuracy 100%, length 13, depth 6)
INFO - Algorithm stopped (15784 descriptions tested).

Test of ../examples/poker/straight_owl.conf completed in 10s 86ms.
Testing ../examples/probabilistic/carcinogenesis/run.conf (example 100 of 99, time: 14:28:11).
ERROR - There was a problem initializing the components...shutting down.
java.lang.RuntimeException: java.lang.RuntimeException: Problem getting class type for bean: cli - trying to instantiate class: org.dllearner.cli.unife.CLILEAP
	at org.dllearner.configuration.spring.DefaultApplicationContextBuilder.buildApplicationContext(DefaultApplicationContextBuilder.java:65)
	at org.dllearner.cli.CLIBase2.init(CLIBase2.java:88)
	at org.dllearner.cli.CLI.init(CLI.java:96)
	at org.dllearner.test.junit.ExampleTests$1.run(ExampleTests.java:170)
	at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
	at java.lang.Thread.run(Thread.java:748)
Caused by: java.lang.RuntimeException: Problem getting class type for bean: cli - trying to instantiate class: org.dllearner.cli.unife.CLILEAP
	at org.dllearner.confparser.ConfParserConfiguration.getClass(ConfParserConfiguration.java:113)
	at org.dllearner.configuration.spring.ConfigurationBasedBeanDefinitionRegistryPostProcessor.postProcessBeanDefinitionRegistry(ConfigurationBasedBeanDefinitionRegistryPostProcessor.java:45)
	at org.springframework.context.support.PostProcessorRegistrationDelegate.invokeBeanFactoryPostProcessors(PostProcessorRegistrationDelegate.java:73)
	at org.springframework.context.support.AbstractApplicationContext.invokeBeanFactoryPostProcessors(AbstractApplicationContext.java:681)
	at org.springframework.context.support.AbstractApplicationContext.refresh(AbstractApplicationContext.java:523)
	at org.dllearner.configuration.spring.DefaultApplicationContextBuilder.buildApplicationContext(DefaultApplicationContextBuilder.java:60)
	... 8 more
Caused by: java.lang.ClassNotFoundException: org.dllearner.cli.unife.CLILEAP
	at java.net.URLClassLoader.findClass(URLClassLoader.java:382)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:349)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at java.lang.Class.forName0(Native Method)
	at java.lang.Class.forName(Class.java:264)
	at org.dllearner.confparser.ConfParserConfiguration.getClass(ConfParserConfiguration.java:110)
	... 13 more
Testing ../examples/probabilistic/family/run.conf (example 100 of 99, time: 14:28:11).
ERROR - There was a problem initializing the components...shutting down.
java.lang.RuntimeException: java.lang.RuntimeException: Problem getting class type for bean: cli - trying to instantiate class: org.dllearner.cli.unife.CLILEAP
	at org.dllearner.configuration.spring.DefaultApplicationContextBuilder.buildApplicationContext(DefaultApplicationContextBuilder.java:65)
	at org.dllearner.cli.CLIBase2.init(CLIBase2.java:88)
	at org.dllearner.cli.CLI.init(CLI.java:96)
	at org.dllearner.test.junit.ExampleTests$1.run(ExampleTests.java:170)
	at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
	at java.lang.Thread.run(Thread.java:748)
Caused by: java.lang.RuntimeException: Problem getting class type for bean: cli - trying to instantiate class: org.dllearner.cli.unife.CLILEAP
	at org.dllearner.confparser.ConfParserConfiguration.getClass(ConfParserConfiguration.java:113)
	at org.dllearner.configuration.spring.ConfigurationBasedBeanDefinitionRegistryPostProcessor.postProcessBeanDefinitionRegistry(ConfigurationBasedBeanDefinitionRegistryPostProcessor.java:45)
	at org.springframework.context.support.PostProcessorRegistrationDelegate.invokeBeanFactoryPostProcessors(PostProcessorRegistrationDelegate.java:73)
	at org.springframework.context.support.AbstractApplicationContext.invokeBeanFactoryPostProcessors(AbstractApplicationContext.java:681)
	at org.springframework.context.support.AbstractApplicationContext.refresh(AbstractApplicationContext.java:523)
	at org.dllearner.configuration.spring.DefaultApplicationContextBuilder.buildApplicationContext(DefaultApplicationContextBuilder.java:60)
	... 8 more
Caused by: java.lang.ClassNotFoundException: org.dllearner.cli.unife.CLILEAP
	at java.net.URLClassLoader.findClass(URLClassLoader.java:382)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:349)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at java.lang.Class.forName0(Native Method)
	at java.lang.Class.forName(Class.java:264)
	at org.dllearner.confparser.ConfParserConfiguration.getClass(ConfParserConfiguration.java:110)
	... 13 more
Testing ../examples/probabilistic/family/run_test.conf (example 100 of 99, time: 14:28:11).
ERROR - There was a problem initializing the components...shutting down.
java.lang.RuntimeException: java.lang.RuntimeException: Problem getting class type for bean: cli - trying to instantiate class: org.dllearner.cli.unife.OntologyValidation
	at org.dllearner.configuration.spring.DefaultApplicationContextBuilder.buildApplicationContext(DefaultApplicationContextBuilder.java:65)
	at org.dllearner.cli.CLIBase2.init(CLIBase2.java:88)
	at org.dllearner.cli.CLI.init(CLI.java:96)
	at org.dllearner.test.junit.ExampleTests$1.run(ExampleTests.java:170)
	at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
	at java.util.concurrent.FutureTask.run(FutureTask.java:266)
	at java.util.concurrent.ThreadPoolExecutor.runWorker(ThreadPoolExecutor.java:1149)
	at java.util.concurrent.ThreadPoolExecutor$Worker.run(ThreadPoolExecutor.java:624)
	at java.lang.Thread.run(Thread.java:748)
Caused by: java.lang.RuntimeException: Problem getting class type for bean: cli - trying to instantiate class: org.dllearner.cli.unife.OntologyValidation
	at org.dllearner.confparser.ConfParserConfiguration.getClass(ConfParserConfiguration.java:113)
	at org.dllearner.configuration.spring.ConfigurationBasedBeanDefinitionRegistryPostProcessor.postProcessBeanDefinitionRegistry(ConfigurationBasedBeanDefinitionRegistryPostProcessor.java:45)
	at org.springframework.context.support.PostProcessorRegistrationDelegate.invokeBeanFactoryPostProcessors(PostProcessorRegistrationDelegate.java:73)
	at org.springframework.context.support.AbstractApplicationContext.invokeBeanFactoryPostProcessors(AbstractApplicationContext.java:681)
	at org.springframework.context.support.AbstractApplicationContext.refresh(AbstractApplicationContext.java:523)
	at org.dllearner.configuration.spring.DefaultApplicationContextBuilder.buildApplicationContext(DefaultApplicationContextBuilder.java:60)
	... 8 more
Caused by: java.lang.ClassNotFoundException: org.dllearner.cli.unife.OntologyValidation
	at java.net.URLClassLoader.findClass(URLClassLoader.java:382)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:424)
	at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:349)
	at java.lang.ClassLoader.loadClass(ClassLoader.java:357)
	at java.lang.Class.forName0(Native Method)
	at java.lang.Class.forName(Class.java:264)
	at org.dllearner.confparser.ConfParserConfiguration.getClass(ConfParserConfiguration.java:110)
	... 13 more
Testing ../examples/semantic_bible/hasvalue_example.conf (example 100 of 99, time: 14:28:11).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 224 ms.
INFO - ... initialized component 'reasoner' in 353ms. Status: OK
INFO - Initializing component 'op' of type rho refinement operator ...
INFO - ... initialized component 'op' in 34ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 2ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (50% accuracy)
INFO - more accurate (70.00%) class expression found: Man
INFO - more accurate (100.00%) class expression found: Agent and (ethnicity some ({Jewish}))
INFO - Maximum time (5 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Agent and (ethnicity some ({Jewish})) (accuracy 100%, length 5, depth 1)
INFO - 2: CognitiveAgent and (ethnicity some ({Jewish})) (accuracy 100%, length 5, depth 1)
INFO - 3: Human and (ethnicity some ({Jewish})) (accuracy 100%, length 5, depth 1)
INFO - 4: Man and (ethnicity some ({Jewish})) (accuracy 100%, length 5, depth 1)
INFO - 5: Agent and Object and (ethnicity some ({Jewish})) (accuracy 100%, length 7, depth 1)
INFO - 6: Agent and (not (Angel)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 7: Agent and (not (Character)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 8: Agent and (not (CitizenshipAttribute)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 9: Agent and (not (City)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 10: Agent and (not (EthnicityAttribute)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 11: Agent and (not (EvilSupernaturalBeing)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 12: Agent and (not (FixedHoliday)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 13: Agent and (not (FreshWaterArea)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 14: Agent and (not (GeographicLocation)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 15: Agent and (not (Island)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 16: Agent and (not (Mountain)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 17: Agent and (not (Nation)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 18: Agent and (not (NaturalLanguage)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 19: Agent and (not (PoliticalAttribute)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - 20: Agent and (not (PoliticalBeliefSystem)) and (ethnicity some ({Jewish})) (accuracy 100%, length 8, depth 1)
INFO - Algorithm stopped (8461 descriptions tested).

Test of ../examples/semantic_bible/hasvalue_example.conf completed in 5s 428ms.
Testing ../examples/semantic_bible/hasvalue_simple.conf (example 100 of 99, time: 14:28:16).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 1ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 0 ms.
INFO - ... initialized component 'reasoner' in 2ms. Status: OK
INFO - Initializing component 'op' of type rho refinement operator ...
INFO - ... initialized component 'op' in 1ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 0ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (60% accuracy)
INFO - more accurate (100.00%) class expression found: knows value d
INFO - Maximum time (5 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: knows value d (accuracy 100%, length 3, depth 0)
INFO - 2: (knows some Thing) and (knows some ({d})) (accuracy 100%, length 7, depth 1)
INFO - 3: (knows some ({d})) and (knows some ({d})) (accuracy 100%, length 7, depth 1)
INFO - 4: (person or (not (person))) and (knows some ({d})) (accuracy 100%, length 8, depth 1)
INFO - 5: (person or (knows some Thing)) and (knows some ({d})) (accuracy 100%, length 9, depth 1)
INFO - 6: (person or (knows some ({d}))) and (knows some ({d})) (accuracy 100%, length 9, depth 1)
INFO - 7: (person or (knows only Thing)) and (knows some ({d})) (accuracy 100%, length 9, depth 1)
INFO - 8: ((not (person)) or (knows some Thing)) and (knows some ({d})) (accuracy 100%, length 10, depth 1)
INFO - 9: ((not (person)) or (knows some ({d}))) and (knows some ({d})) (accuracy 100%, length 10, depth 1)
INFO - 10: ((knows some Thing) or (knows some Thing)) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 11: ((knows some ({d})) or (knows some ({d}))) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 12: (person or person or (not (person))) and (knows some ({d})) (accuracy 100%, length 10, depth 1)
INFO - 13: (person or person or (knows some Thing)) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 14: (person or person or (knows some ({d}))) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 15: ((not (person)) or (knows only Thing)) and (knows some ({d})) (accuracy 100%, length 10, depth 1)
INFO - 16: ((knows some Thing) or (knows only Thing)) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 17: ((knows some ({d})) or (knows only Thing)) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 18: (person or person or (knows only Thing)) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 19: (person or (not (person)) or (not (person))) and (knows some ({d})) (accuracy 100%, length 11, depth 1)
INFO - 20: (person or (not (person)) or (knows some Thing)) and (knows some ({d})) (accuracy 100%, length 12, depth 1)
INFO - Algorithm stopped (8373 descriptions tested).

Test of ../examples/semantic_bible/hasvalue_simple.conf completed in 5s 42ms.
Testing ../examples/semantic_bible/normal.conf (example 100 of 99, time: 14:28:21).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 210 ms.
INFO - ... initialized component 'reasoner' in 297ms. Status: OK
INFO - Initializing component 'op' of type rho refinement operator ...
INFO - ... initialized component 'op' in 12ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (28.571% accuracy)
INFO - more accurate (100.00%) class expression found: Man
INFO - Minimum number (20) of good descriptions reached.
INFO - solutions (at most 20 are shown):
INFO - 1: Man (accuracy 100%, length 1, depth 0)
INFO - 2: Man and Object (accuracy 100%, length 3, depth 0)
INFO - 3: Man and (knows some Thing) (accuracy 100%, length 5, depth 1)
INFO - 4: Man and (relativeOf some Thing) (accuracy 100%, length 5, depth 1)
INFO - 5: Man and (BeliefSystem or Object) (accuracy 100%, length 5, depth 0)
INFO - 6: Man and (FixedHoliday or Object) (accuracy 100%, length 5, depth 0)
INFO - 7: Man and (GeographicLocation or Object) (accuracy 100%, length 5, depth 0)
INFO - 8: Man and (HumanAttribute or Object) (accuracy 100%, length 5, depth 0)
INFO - 9: Man and (Object or Object) (accuracy 100%, length 5, depth 0)
INFO - 10: Man and (BeliefSystem or (knows some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 11: Man and (BeliefSystem or (relativeOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 12: Man and (FixedHoliday or (knows some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 13: Man and (FixedHoliday or (relativeOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 14: Man and (GeographicLocation or (knows some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 15: Man and (GeographicLocation or (relativeOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 16: Man and (HumanAttribute or (knows some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 17: Man and (HumanAttribute or (relativeOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 18: Man and (Object or (ethnicity some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 19: Man and (Object or (ethnicityOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 20: Man and (Object or (knows some Thing)) (accuracy 100%, length 7, depth 1)
INFO - Algorithm terminated successfully (706 descriptions tested).

INFO - number of retrievals: 20
retrieval reasoning time: 0ms ( 0ms per retrieval)
number of instance checks: 983 (0 multiple)
instance check reasoning time: 4ms ( 0ms per instance check)
overall reasoning time: 4ms

Test of ../examples/semantic_bible/normal.conf completed in 465ms.
Testing ../examples/semantic_bible/normal_long_retrieval_time.conf (example 100 of 99, time: 14:28:22).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 210 ms.
INFO - ... initialized component 'reasoner' in 292ms. Status: OK
INFO - Initializing component 'op' of type rho refinement operator ...
INFO - ... initialized component 'op' in 25ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (28.571% accuracy)
INFO - more accurate (100.00%) class expression found: Man
INFO - Minimum number (20) of good descriptions reached.
INFO - solutions (at most 20 are shown):
INFO - 1: Man (accuracy 100%, length 1, depth 0)
INFO - 2: Human and (not (SonOfGod)) (accuracy 100%, length 4, depth 0)
INFO - 3: Human and (knows some ({PontiusPilate})) (accuracy 100%, length 5, depth 1)
INFO - 4: Human and (relativeOf some ({Archelaus})) (accuracy 100%, length 5, depth 1)
INFO - 5: Human and (relativeOf some ({HerodAntipas})) (accuracy 100%, length 5, depth 1)
INFO - 6: Human and (relativeOf some ({HerodTheGreat})) (accuracy 100%, length 5, depth 1)
INFO - 7: Human and (relativeOf some ({PhilipSonOfHerod})) (accuracy 100%, length 5, depth 1)
INFO - 8: Man and Object (accuracy 100%, length 3, depth 0)
INFO - 9: Human and (BeliefSystem or (not (SonOfGod))) (accuracy 100%, length 6, depth 0)
INFO - 10: Human and (BeliefSystem or (knows some ({PontiusPilate}))) (accuracy 100%, length 7, depth 1)
INFO - 11: Human and (BeliefSystem or (relativeOf some ({Archelaus}))) (accuracy 100%, length 7, depth 1)
INFO - 12: Human and (BeliefSystem or (relativeOf some ({HerodAntipas}))) (accuracy 100%, length 7, depth 1)
INFO - 13: Human and (BeliefSystem or (relativeOf some ({HerodTheGreat}))) (accuracy 100%, length 7, depth 1)
INFO - 14: Human and (BeliefSystem or (relativeOf some ({PhilipSonOfHerod}))) (accuracy 100%, length 7, depth 1)
INFO - 15: Human and (FixedHoliday or (not (SonOfGod))) (accuracy 100%, length 6, depth 0)
INFO - 16: Human and (FixedHoliday or (knows some ({PontiusPilate}))) (accuracy 100%, length 7, depth 1)
INFO - 17: Human and (FixedHoliday or (relativeOf some ({Archelaus}))) (accuracy 100%, length 7, depth 1)
INFO - 18: Human and (FixedHoliday or (relativeOf some ({HerodAntipas}))) (accuracy 100%, length 7, depth 1)
INFO - 19: Human and (FixedHoliday or (relativeOf some ({HerodTheGreat}))) (accuracy 100%, length 7, depth 1)
INFO - 20: Human and (FixedHoliday or (relativeOf some ({PhilipSonOfHerod}))) (accuracy 100%, length 7, depth 1)
INFO - Algorithm terminated successfully (1145 descriptions tested).

INFO - number of retrievals: 20
retrieval reasoning time: 0ms ( 0ms per retrieval)
number of instance checks: 1931 (0 multiple)
instance check reasoning time: 8ms ( 0ms per instance check)
overall reasoning time: 9ms

Test of ../examples/semantic_bible/normal_long_retrieval_time.conf completed in 567ms.
Testing ../examples/semantic_bible/woman.conf (example 100 of 99, time: 14:28:22).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 1ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 210 ms.
INFO - ... initialized component 'reasoner' in 289ms. Status: OK
INFO - Initializing component 'op' of type rho refinement operator ...
INFO - ... initialized component 'op' in 11ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 1ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (25% accuracy)
INFO - more accurate (100.00%) class expression found: Woman
INFO - Minimum number (20) of good descriptions reached.
INFO - solutions (at most 20 are shown):
INFO - 1: Woman (accuracy 100%, length 1, depth 0)
INFO - 2: Object and Woman (accuracy 100%, length 3, depth 0)
INFO - 3: Woman and (BeliefSystem or Object) (accuracy 100%, length 5, depth 0)
INFO - 4: Woman and (FixedHoliday or Object) (accuracy 100%, length 5, depth 0)
INFO - 5: Woman and (GeographicLocation or Object) (accuracy 100%, length 5, depth 0)
INFO - 6: Woman and (HumanAttribute or Object) (accuracy 100%, length 5, depth 0)
INFO - 7: Woman and (Object or Object) (accuracy 100%, length 5, depth 0)
INFO - 8: Woman and (Object or (ethnicity some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 9: Woman and (Object or (ethnicityOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 10: Woman and (Object or (knows some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 11: Woman and (Object or (location some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 12: Woman and (Object or (locationOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 13: Woman and (Object or (member some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 14: Woman and (Object or (memberOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 15: Woman and (Object or (politicalBelief some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 16: Woman and (Object or (possiblySamePersonAs some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 17: Woman and (Object or (relativeOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 18: Woman and (Object or (religiousBelief some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 19: Woman and (Object or (religiousBeliefOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 20: Woman and (Object or (spouseOf some Thing)) (accuracy 100%, length 7, depth 1)
INFO - Algorithm terminated successfully (180 descriptions tested).

INFO - number of retrievals: 10
retrieval reasoning time: 0ms ( 0ms per retrieval)
number of instance checks: 2660 (0 multiple)
instance check reasoning time: 8ms ( 0ms per instance check)
overall reasoning time: 8ms

Test of ../examples/semantic_bible/woman.conf completed in 366ms.
Testing ../examples/swore/customer_requirement.conf (example 100 of 99, time: 14:28:22).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 21 ms.
INFO - ... initialized component 'reasoner' in 59ms. Status: OK
INFO - Initializing component 'lp' of type ClassLearningProblem ...
INFO - ... initialized component 'lp' in 1ms. Status: OK
INFO - Initializing component 'h' of type multiple criteria heuristic ...
INFO - ... initialized component 'h' in 0ms. Status: OK
INFO - Initializing component 'alg' of type CELOE ...
INFO - ... initialized component 'alg' in 19ms. Status: OK
INFO - Running algorithm instance "alg" (CELOE)
INFO - start class:Thing
INFO - more accurate (15.62%) class expression found after 2ms: Thing
INFO - more accurate (43.75%) class expression found after 117ms: not (PerformanceRequirement)
INFO - more accurate (62.50%) class expression found after 243ms: (not (FunctionalRequirement)) and (not (PerformanceRequirement))
INFO - more accurate (100.00%) class expression found after 357ms: isCreatedBy some Customer
INFO - Algorithm terminated successfully (time: 5s 0ms, 17370 descriptions tested, 5405 nodes in the search tree).

INFO - number of retrievals: 19326
retrieval reasoning time: 1s 837ms ( 0ms per retrieval)
number of instance checks: 2073 (0 multiple)
instance check reasoning time: 5ms ( 0ms per instance check)
(complex) subsumption checks: 390 (0 multiple)
subsumption reasoning time: 492ms ( 1ms per subsumption check)
overall reasoning time: 2s 554ms

INFO - solutions:
1: isCreatedBy some Customer 100.00%
2: isCreatedBy some (Customer and (not (Author))) 100.00%
3: isCreatedBy some ((not (Author)) and (not (Government))) 100.00%
4: isCreatedBy some ((Customer or Document) and (not (Author))) 100.00%
5: isCreatedBy some ((Customer or Concept) and (not (Author))) 100.00%
6: isCreatedBy some ((Customer or Image) and (not (Author))) 100.00%
7: isCreatedBy some ((Customer or TradeUnion) and (not (Author))) 100.00%
8: isCreatedBy some ((Customer or SystemRequirement) and (not (Author))) 100.00%
9: isCreatedBy some ((Customer or SeniorManagementStaff) and (not (Author))) 100.00%
10: isCreatedBy some ((Customer or Document) and (not (Author))) 100.00%

Test of ../examples/swore/customer_requirement.conf completed in 5s 112ms.
Testing ../examples/swore/swore.conf (example 100 of 99, time: 14:28:28).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 19 ms.
INFO - ... initialized component 'reasoner' in 53ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'h' of type multiple criteria heuristic ...
INFO - ... initialized component 'h' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 14ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (8.333% accuracy)
INFO - more accurate (94.44%) class expression found: Goal
INFO - more accurate (97.22%) class expression found: details some (refersTo some Thing)
INFO - Maximum time (5 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Goal (accuracy 94.444%, length 1, depth 0)
INFO - 2: details some Thing (accuracy 94.444%, length 3, depth 1)
INFO - 3: details some Requirement (accuracy 94.444%, length 3, depth 1)
INFO - 4: details some PerformanceRequirement (accuracy 94.444%, length 3, depth 1)
INFO - 5: details some (not (DerivedRequirement)) (accuracy 94.444%, length 4, depth 1)
INFO - 6: details some (not (DesignRequirement)) (accuracy 94.444%, length 4, depth 1)
INFO - 7: details some (not (FunctionalRequirement)) (accuracy 94.444%, length 4, depth 1)
INFO - 8: details some (not (Goal)) (accuracy 94.444%, length 4, depth 1)
INFO - 9: details some (not (QualityRequirement)) (accuracy 94.444%, length 4, depth 1)
INFO - 10: details some (not (Scenario)) (accuracy 94.444%, length 4, depth 1)
INFO - 11: details some (not (SystemRequirement)) (accuracy 94.444%, length 4, depth 1)
INFO - 12: details some (not (TextualScenario)) (accuracy 94.444%, length 4, depth 1)
INFO - 13: details some (entails some Thing) (accuracy 94.444%, length 5, depth 2)
INFO - 14: details some (isCommentedBy some Thing) (accuracy 97.222%, length 5, depth 2)
INFO - 15: details some (isCreatedBy some Thing) (accuracy 94.444%, length 5, depth 2)
INFO - 16: details some (isDefinedBy some Thing) (accuracy 97.222%, length 5, depth 2)
INFO - 17: details some (isDetailedBy some Thing) (accuracy 94.444%, length 5, depth 2)
INFO - 18: details some (isLeadingTo some Thing) (accuracy 94.444%, length 5, depth 2)
INFO - 19: details some (refersTo some Thing) (accuracy 97.222%, length 5, depth 2)
INFO - 20: details some (willLeadTo some Thing) (accuracy 94.444%, length 5, depth 2)
INFO - Algorithm stopped (21562 descriptions tested).

Test of ../examples/swore/swore.conf completed in 5s 119ms.
Testing ../examples/trains/trains.conf (example 100 of 99, time: 14:28:33).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 3ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 2 ms.
INFO - ... initialized component 'reasoner' in 9ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (50% accuracy)
INFO - more accurate (80.00%) class expression found: has_car some closed
INFO - more accurate (100.00%) class expression found: has_car some (closed and short)
INFO - Maximum time (5 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: has_car some (closed and short) (accuracy 100%, length 5, depth 1)
INFO - 2: train and (has_car some (closed and short)) (accuracy 100%, length 7, depth 1)
INFO - 3: has_car some (car and closed and short) (accuracy 100%, length 7, depth 1)
INFO - 4: (not (car)) and (has_car some (closed and short)) (accuracy 100%, length 8, depth 1)
INFO - 5: (not (closed)) and (has_car some (closed and short)) (accuracy 100%, length 8, depth 1)
INFO - 6: (not (double)) and (has_car some (closed and short)) (accuracy 100%, length 8, depth 1)
INFO - 7: (not (jagged)) and (has_car some (closed and short)) (accuracy 100%, length 8, depth 1)
INFO - 8: (not (long)) and (has_car some (closed and short)) (accuracy 100%, length 8, depth 1)
INFO - 9: (not (open_car)) and (has_car some (closed and short)) (accuracy 100%, length 8, depth 1)
INFO - 10: (not (short)) and (has_car some (closed and short)) (accuracy 100%, length 8, depth 1)
INFO - 11: (has_car some Thing) and (has_car some (closed and short)) (accuracy 100%, length 9, depth 1)
INFO - 12: has_car some (closed and short and (not (double))) (accuracy 100%, length 8, depth 1)
INFO - 13: has_car some (closed and short and (not (jagged))) (accuracy 100%, length 8, depth 1)
INFO - 14: has_car some (closed and short and (not (long))) (accuracy 100%, length 8, depth 1)
INFO - 15: has_car some (closed and short and (not (open_car))) (accuracy 100%, length 8, depth 1)
INFO - 16: has_car some (closed and short and (not (train))) (accuracy 100%, length 8, depth 1)
INFO - 17: has_car some (closed and short and (load some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 18: has_car some (closed and short and (load_count some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 19: has_car some (closed and short and (shape some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 20: has_car some (closed and short and (wheels some Thing)) (accuracy 100%, length 9, depth 2)
INFO - Algorithm stopped (12852 descriptions tested).

Test of ../examples/trains/trains.conf completed in 5s 48ms.
Testing ../examples/trains/trains_owl.conf (example 100 of 99, time: 14:28:38).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 2 ms.
INFO - ... initialized component 'reasoner' in 12ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (50% accuracy)
INFO - more accurate (80.00%) class expression found: hasCar some ClosedCar
INFO - more accurate (100.00%) class expression found: hasCar some (ClosedCar and ShortCar)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasCar some (ClosedCar and ShortCar) (accuracy 100%, length 5, depth 1)
INFO - 2: Train and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 7, depth 1)
INFO - 3: (not (ClosedCar)) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 8, depth 1)
INFO - 4: (not (DoubleCar)) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 8, depth 1)
INFO - 5: (not (JaggedCar)) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 8, depth 1)
INFO - 6: (not (LongCar)) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 8, depth 1)
INFO - 7: (not (OpenCar)) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 8, depth 1)
INFO - 8: (not (Shape)) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 8, depth 1)
INFO - 9: (not (ShortCar)) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 8, depth 1)
INFO - 10: (hasCar some Thing) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 9, depth 1)
INFO - 11: hasCar some (ClosedCar and ShortCar and (not (DoubleCar))) (accuracy 100%, length 8, depth 1)
INFO - 12: hasCar some (ClosedCar and ShortCar and (not (JaggedCar))) (accuracy 100%, length 8, depth 1)
INFO - 13: hasCar some (ClosedCar and ShortCar and (not (LongCar))) (accuracy 100%, length 8, depth 1)
INFO - 14: hasCar some (ClosedCar and ShortCar and (not (OpenCar))) (accuracy 100%, length 8, depth 1)
INFO - 15: hasCar some (ClosedCar and ShortCar and (hasShape some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 16: hasCar some (ClosedCar and ShortCar and (load some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 17: hasCar some (ClosedCar and ShortCar and (loadCount some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 18: hasCar some (ClosedCar and ShortCar and (wheels some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 19: (Car or Train) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 9, depth 1)
INFO - 20: (Shape or Train) and (hasCar some (ClosedCar and ShortCar)) (accuracy 100%, length 9, depth 1)
INFO - Algorithm stopped (17073 descriptions tested).

Test of ../examples/trains/trains_owl.conf completed in 10s 83ms.
Testing ../examples/yinyang_examples/Brother.conf (example 100 of 99, time: 14:28:48).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 8ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (29.412% accuracy)
INFO - more accurate (94.12%) class expression found: Male
INFO - more accurate (100.00%) class expression found: Male and (hasSibling some Thing)
INFO - Maximum time (5 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Male and (hasSibling some Thing) (accuracy 100%, length 5, depth 1)
INFO - 2: Male and ((not (Male)) or (hasSibling some Thing)) (accuracy 100%, length 8, depth 1)
INFO - 3: Male and ((hasChild some Thing) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 4: Male and ((hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 5: Male and ((hasSibling some Thing) or (hasParent max 1 Thing)) (accuracy 100%, length 10, depth 1)
INFO - 6: Male and ((not (Male)) or (not (Male)) or (hasSibling some Thing)) (accuracy 100%, length 11, depth 1)
INFO - 7: Male and ((not (Male)) or (hasChild some Thing) or (hasSibling some Thing)) (accuracy 100%, length 12, depth 1)
INFO - 8: Male and ((not (Male)) or (hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 12, depth 1)
INFO - 9: Male and ((hasChild some Thing) or (hasChild some Thing) or (hasSibling some Thing)) (accuracy 100%, length 13, depth 1)
INFO - 10: Male and ((hasChild some Thing) or (hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 13, depth 1)
INFO - 11: Male and ((hasSibling some Thing) or (hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 13, depth 1)
INFO - 12: Male and ((not (Male)) or (hasSibling some Thing) or (hasParent max 1 Thing)) (accuracy 100%, length 13, depth 1)
INFO - 13: Male and ((hasChild some Thing) or (hasSibling some Thing) or (hasParent max 1 Thing)) (accuracy 100%, length 14, depth 1)
INFO - 14: Male and ((hasSibling some Thing) or (hasSibling some Thing) or (hasParent max 1 Thing)) (accuracy 100%, length 14, depth 1)
INFO - 15: Male and ((not (Male)) or (not (Male)) or (not (Male)) or (hasSibling some Thing)) (accuracy 100%, length 14, depth 1)
INFO - 16: Male and ((not (Male)) or (not (Male)) or (hasChild some Thing) or (hasSibling some Thing)) (accuracy 100%, length 15, depth 1)
INFO - 17: Male and ((not (Male)) or (not (Male)) or (hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 15, depth 1)
INFO - 18: Male and ((not (Male)) or (hasChild some Thing) or (hasChild some Thing) or (hasSibling some Thing)) (accuracy 100%, length 16, depth 1)
INFO - 19: Male and ((not (Male)) or (hasChild some Thing) or (hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 16, depth 1)
INFO - 20: Male and ((not (Male)) or (hasSibling some Thing) or (hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 16, depth 1)
INFO - Algorithm stopped (11927 descriptions tested).

Test of ../examples/yinyang_examples/Brother.conf completed in 5s 42ms.
Testing ../examples/yinyang_examples/Daughter.conf (example 100 of 99, time: 14:28:53).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 9ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (80% accuracy)
INFO - more accurate (100.00%) class expression found: Female
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Female (accuracy 100%, length 1, depth 0)
INFO - 2: Female and Person (accuracy 100%, length 3, depth 0)
INFO - 3: Female and (not (Male)) (accuracy 100%, length 4, depth 0)
INFO - 4: Female and (hasParent some Thing) (accuracy 100%, length 5, depth 1)
INFO - 5: Female and (hasSibling some Thing) (accuracy 100%, length 5, depth 1)
INFO - 6: Female and (Person or Person) (accuracy 100%, length 5, depth 0)
INFO - 7: Female and (Person or (not (Female))) (accuracy 100%, length 6, depth 0)
INFO - 8: Female and (Person or (not (Male))) (accuracy 100%, length 6, depth 0)
INFO - 9: Female and (Person or (hasChild some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 10: Female and (Person or (hasParent some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 11: Female and (Person or (hasSibling some Thing)) (accuracy 100%, length 7, depth 1)
INFO - 12: Female and (hasChild max 2 Thing) (accuracy 100%, length 6, depth 1)
INFO - 13: Female and (hasSibling max 2 Thing) (accuracy 100%, length 6, depth 1)
INFO - 14: Female and (Person or Person or Person) (accuracy 100%, length 7, depth 0)
INFO - 15: Female and (Person or (hasChild only Thing)) (accuracy 100%, length 7, depth 1)
INFO - 16: Female and (Person or (hasParent only Thing)) (accuracy 100%, length 7, depth 1)
INFO - 17: Female and (Person or (hasSibling only Thing)) (accuracy 100%, length 7, depth 1)
INFO - 18: Female and ((not (Female)) or (not (Male))) (accuracy 100%, length 7, depth 0)
INFO - 19: Female and ((not (Female)) or (hasParent some Thing)) (accuracy 100%, length 8, depth 1)
INFO - 20: Female and ((not (Female)) or (hasSibling some Thing)) (accuracy 100%, length 8, depth 1)
INFO - Algorithm stopped (21952 descriptions tested).

Test of ../examples/yinyang_examples/Daughter.conf completed in 10s 47ms.
Testing ../examples/yinyang_examples/Father.conf (example 100 of 99, time: 14:29:03).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 8ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (25% accuracy)
INFO - more accurate (87.50%) class expression found: Male
INFO - more accurate (100.00%) class expression found: Male and (hasChild some Thing)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Male and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
INFO - 2: Male and ((not (Male)) or (hasChild some Thing)) (accuracy 100%, length 8, depth 1)
INFO - 3: Male and ((hasChild some Thing) or (hasChild some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 4: Male and ((hasChild some Thing) or (hasParent max 1 Thing)) (accuracy 100%, length 10, depth 1)
INFO - 5: Male and ((not (Male)) or (not (Male)) or (hasChild some Thing)) (accuracy 100%, length 11, depth 1)
INFO - 6: Male and ((not (Male)) or (hasChild some Thing) or (hasChild some Thing)) (accuracy 100%, length 12, depth 1)
INFO - 7: Male and ((hasChild some Thing) or (hasChild some Thing) or (hasChild some Thing)) (accuracy 100%, length 13, depth 1)
INFO - 8: Male and Person and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
INFO - 9: Male and (hasChild some (Female or Male)) (accuracy 100%, length 7, depth 1)
INFO - 10: Male and (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 11: Male and (hasChild some (hasParent only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 12: Male and (hasChild some (hasSibling only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 13: Male and ((hasChild some Female) or (hasChild some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 14: Male and ((hasChild some Female) or (hasChild some Male)) (accuracy 100%, length 9, depth 1)
INFO - 15: Male and ((hasChild some Male) or (hasChild some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 16: Male and (not (Female)) and (hasChild some Thing) (accuracy 100%, length 8, depth 1)
INFO - 17: Male and (hasChild some (Female or (not (Female)))) (accuracy 100%, length 8, depth 1)
INFO - 18: Male and (hasChild some (Male or (not (Male)))) (accuracy 100%, length 8, depth 1)
INFO - 19: Male and (hasChild some (Male or (hasParent some Thing))) (accuracy 100%, length 9, depth 2)
INFO - 20: Male and (hasChild some (Male or (hasSibling some Thing))) (accuracy 100%, length 9, depth 2)
INFO - Algorithm stopped (20595 descriptions tested).

Test of ../examples/yinyang_examples/Father.conf completed in 10s 44ms.
Testing ../examples/yinyang_examples/GrandFather.conf (example 100 of 99, time: 14:29:13).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 7ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (17.647% accuracy)
INFO - more accurate (76.47%) class expression found: Male
INFO - more accurate (88.24%) class expression found: Male and (hasChild some Thing)
INFO - more accurate (94.12%) class expression found: Male and (hasParent max 1 Thing)
INFO - more accurate (100.00%) class expression found: Male and (hasChild some (hasChild some Thing))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Male and (hasChild some (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 2: Male and (hasChild some (hasChild some Male)) (accuracy 100%, length 7, depth 2)
INFO - 3: Male and (hasChild some (hasChild some (not (Female)))) (accuracy 100%, length 8, depth 2)
INFO - 4: Male and (hasChild some (hasChild some (hasParent some Thing))) (accuracy 100%, length 9, depth 3)
INFO - 5: Male and Person and (hasChild some (hasChild some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 6: Male and (hasChild some (hasChild some (Female or Male))) (accuracy 100%, length 9, depth 2)
INFO - 7: Male and (hasChild some (hasChild some (Male or Male))) (accuracy 100%, length 9, depth 2)
INFO - 8: Male and (hasChild some (hasChild some (hasChild only Thing))) (accuracy 100%, length 9, depth 3)
INFO - 9: Male and (hasChild some (hasChild some (hasParent only Thing))) (accuracy 100%, length 9, depth 3)
INFO - 10: Male and (hasChild some (hasChild some (hasSibling only Thing))) (accuracy 100%, length 9, depth 3)
INFO - 11: Male and (not (Female)) and (hasChild some (hasChild some Thing)) (accuracy 100%, length 10, depth 2)
INFO - 12: Male and (hasChild some Thing) and (hasChild some (hasChild some Thing)) (accuracy 100%, length 11, depth 2)
INFO - 13: Male and (hasChild some ((hasChild some Thing) and (hasChild some Thing))) (accuracy 100%, length 11, depth 2)
INFO - 14: Male and (hasChild some ((hasChild some Thing) and (hasParent some Thing))) (accuracy 100%, length 11, depth 2)
INFO - 15: Male and (hasChild some (hasChild some (Female or (not (Female))))) (accuracy 100%, length 10, depth 2)
INFO - 16: Male and (hasChild some (hasChild some (Female or (hasParent some Thing)))) (accuracy 100%, length 11, depth 3)
INFO - 17: Male and (hasChild some (hasChild some (Male or (not (Female))))) (accuracy 100%, length 10, depth 2)
INFO - 18: Male and (hasChild some (hasChild some (Male or (not (Male))))) (accuracy 100%, length 10, depth 2)
INFO - 19: Male and (hasChild some (hasChild some (Male or (hasChild some Thing)))) (accuracy 100%, length 11, depth 3)
INFO - 20: Male and (hasChild some (hasChild some (Male or (hasParent some Thing)))) (accuracy 100%, length 11, depth 3)
INFO - Algorithm stopped (19042 descriptions tested).

Test of ../examples/yinyang_examples/GrandFather.conf completed in 10s 40ms.
Testing ../examples/yinyang_examples/GrandMother.conf (example 100 of 99, time: 14:29:23).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 7ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 0ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (40% accuracy)
INFO - more accurate (80.00%) class expression found: Female
INFO - more accurate (100.00%) class expression found: Female and (hasParent max 1 Thing)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Female and (hasChild max 2 Thing) (accuracy 100%, length 6, depth 1)
INFO - 2: Female and (hasParent max 1 Thing) (accuracy 100%, length 6, depth 1)
INFO - 3: Female and (hasParent max 1 Female) (accuracy 100%, length 6, depth 1)
INFO - 4: Female and (hasParent max 1 Male) (accuracy 100%, length 6, depth 1)
INFO - 5: Female and (hasChild max 2 Female) (accuracy 100%, length 6, depth 1)
INFO - 6: Female and (hasChild max 2 Male) (accuracy 100%, length 6, depth 1)
INFO - 7: Female and (hasChild max 1 Male) (accuracy 100%, length 6, depth 1)
INFO - 8: Female and (hasParent max 1 (not (Female))) (accuracy 100%, length 7, depth 1)
INFO - 9: Female and (hasParent max 1 (not (Male))) (accuracy 100%, length 7, depth 1)
INFO - 10: Female and (hasParent max 1 (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 11: Female and (hasParent max 1 (hasParent some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 12: Female and (hasParent max 1 (hasSibling some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 13: Female and (hasChild max 2 (not (Female))) (accuracy 100%, length 7, depth 1)
INFO - 14: Female and (hasChild max 2 (not (Male))) (accuracy 100%, length 7, depth 1)
INFO - 15: Female and (hasChild max 2 (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 16: Female and (hasChild max 2 (hasParent some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 17: Female and (hasChild max 2 (hasSibling some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 18: Female and Person and (hasParent max 1 Thing) (accuracy 100%, length 8, depth 1)
INFO - 19: Female and (hasParent max 1 (Female or Female)) (accuracy 100%, length 8, depth 1)
INFO - 20: Female and (hasParent max 1 (Female or Male)) (accuracy 100%, length 8, depth 1)
INFO - Algorithm stopped (16835 descriptions tested).

Test of ../examples/yinyang_examples/GrandMother.conf completed in 10s 41ms.
Testing ../examples/yinyang_examples/GrandParent.conf (example 100 of 99, time: 14:29:33).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 8ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 0ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (29.412% accuracy)
INFO - more accurate (76.47%) class expression found: hasChild some Thing
INFO - more accurate (88.24%) class expression found: hasChild some Male
INFO - more accurate (100.00%) class expression found: hasChild some (hasChild some Thing)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasChild some (hasChild some Thing) (accuracy 100%, length 5, depth 2)
INFO - 2: hasChild some (hasChild some (hasParent some Thing)) (accuracy 100%, length 7, depth 3)
INFO - 3: Person and (hasChild some (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 4: hasChild some (Male and (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 5: hasChild some (hasChild some (Female or Male)) (accuracy 100%, length 7, depth 2)
INFO - 6: hasChild some (hasChild some (hasChild only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 7: hasChild some (hasChild some (hasParent only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 8: hasChild some (hasChild some (hasSibling only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 9: (hasChild some Thing) and (hasChild some (hasChild some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 10: hasChild some ((not (Female)) and (hasChild some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 11: hasChild some ((hasChild some Thing) and (hasChild some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 12: hasChild some ((hasChild some Thing) and (hasParent some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 13: hasChild some (hasChild some (Female or (not (Female)))) (accuracy 100%, length 8, depth 2)
INFO - 14: hasChild some (hasChild some (Female or (hasParent some Thing))) (accuracy 100%, length 9, depth 3)
INFO - 15: hasChild some (hasChild some (Male or (not (Male)))) (accuracy 100%, length 8, depth 2)
INFO - 16: hasChild some (hasChild some (Male or (hasParent some Thing))) (accuracy 100%, length 9, depth 3)
INFO - 17: hasChild some (hasChild some (Male or (hasSibling some Thing))) (accuracy 100%, length 9, depth 3)
INFO - 18: hasChild some (hasChild some (hasChild max 2 Thing)) (accuracy 100%, length 8, depth 3)
INFO - 19: hasChild some (hasChild some (hasSibling max 2 Thing)) (accuracy 100%, length 8, depth 3)
INFO - 20: (Person or Person) and (hasChild some (hasChild some Thing)) (accuracy 100%, length 9, depth 2)
INFO - Algorithm stopped (22490 descriptions tested).

Test of ../examples/yinyang_examples/GrandParent.conf completed in 10s 99ms.
Testing ../examples/yinyang_examples/Offspring.conf (example 100 of 99, time: 14:29:43).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 7ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (75% accuracy)
INFO - more accurate (100.00%) class expression found: hasParent some Thing
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasParent some Thing (accuracy 100%, length 3, depth 1)
INFO - 2: hasParent some Female (accuracy 100%, length 3, depth 1)
INFO - 3: hasParent some Male (accuracy 100%, length 3, depth 1)
INFO - 4: hasParent some (not (Female)) (accuracy 100%, length 4, depth 1)
INFO - 5: hasParent some (not (Male)) (accuracy 100%, length 4, depth 1)
INFO - 6: hasParent some (hasChild some Thing) (accuracy 100%, length 5, depth 2)
INFO - 7: hasParent min 2 Thing (accuracy 100%, length 4, depth 1)
INFO - 8: Person and (hasParent some Thing) (accuracy 100%, length 5, depth 1)
INFO - 9: hasParent some (Female or Female) (accuracy 100%, length 5, depth 1)
INFO - 10: hasParent some (Female or Male) (accuracy 100%, length 5, depth 1)
INFO - 11: hasParent some (Male or Male) (accuracy 100%, length 5, depth 1)
INFO - 12: hasParent some (hasChild only Thing) (accuracy 100%, length 5, depth 2)
INFO - 13: hasParent some (hasParent only Thing) (accuracy 100%, length 5, depth 2)
INFO - 14: hasParent some (hasSibling only Thing) (accuracy 100%, length 5, depth 2)
INFO - 15: (hasParent some Thing) and (hasParent some Thing) (accuracy 100%, length 7, depth 1)
INFO - 16: hasParent some (Female or (not (Female))) (accuracy 100%, length 6, depth 1)
INFO - 17: hasParent some (Female or (not (Male))) (accuracy 100%, length 6, depth 1)
INFO - 18: hasParent some (Female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 19: hasParent some (Female or (hasParent some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 20: hasParent some (Female or (hasSibling some Thing)) (accuracy 100%, length 7, depth 2)
INFO - Algorithm stopped (23156 descriptions tested).

Test of ../examples/yinyang_examples/Offspring.conf completed in 10s 40ms.
Testing ../examples/yinyang_examples/Parent.conf (example 100 of 99, time: 14:29:53).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 7ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (58.824% accuracy)
INFO - more accurate (100.00%) class expression found: hasChild some Thing
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasChild some Thing (accuracy 100%, length 3, depth 1)
INFO - 2: hasChild some (hasParent some Thing) (accuracy 100%, length 5, depth 2)
INFO - 3: hasChild some (hasSibling some Thing) (accuracy 100%, length 5, depth 2)
INFO - 4: hasChild min 2 Thing (accuracy 100%, length 4, depth 1)
INFO - 5: Person and (hasChild some Thing) (accuracy 100%, length 5, depth 1)
INFO - 6: hasChild some (Female or Male) (accuracy 100%, length 5, depth 1)
INFO - 7: hasChild some (hasChild only Thing) (accuracy 100%, length 5, depth 2)
INFO - 8: hasChild some (hasParent only Thing) (accuracy 100%, length 5, depth 2)
INFO - 9: hasChild some (hasSibling only Thing) (accuracy 100%, length 5, depth 2)
INFO - 10: (hasChild some Thing) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
INFO - 11: hasChild some (Female or (not (Female))) (accuracy 100%, length 6, depth 1)
INFO - 12: hasChild some (Female or (hasChild some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 13: hasChild some (Female or (hasParent some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 14: hasChild some (Female or (hasSibling some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 15: hasChild some (Male or (not (Male))) (accuracy 100%, length 6, depth 1)
INFO - 16: hasChild some (Male or (hasParent some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 17: hasChild some (Male or (hasSibling some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 18: hasChild some (hasChild max 2 Thing) (accuracy 100%, length 6, depth 2)
INFO - 19: hasChild some (hasSibling max 2 Thing) (accuracy 100%, length 6, depth 2)
INFO - 20: (Person or Person) and (hasChild some Thing) (accuracy 100%, length 7, depth 1)
INFO - Algorithm stopped (24289 descriptions tested).

Test of ../examples/yinyang_examples/Parent.conf completed in 10s 40ms.
Testing ../examples/yinyang_examples/Sibling.conf (example 100 of 99, time: 14:30:03).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 7ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (70% accuracy)
INFO - more accurate (100.00%) class expression found: hasSibling some Thing
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasSibling some Thing (accuracy 100%, length 3, depth 1)
INFO - 2: hasSibling some (hasSibling some Thing) (accuracy 100%, length 5, depth 2)
INFO - 3: Person and (hasSibling some Thing) (accuracy 100%, length 5, depth 1)
INFO - 4: hasSibling some (Female or Male) (accuracy 100%, length 5, depth 1)
INFO - 5: hasSibling some (hasChild only Thing) (accuracy 100%, length 5, depth 2)
INFO - 6: hasSibling some (hasParent only Thing) (accuracy 100%, length 5, depth 2)
INFO - 7: hasSibling some (hasSibling only Thing) (accuracy 100%, length 5, depth 2)
INFO - 8: (hasSibling some Thing) and (hasSibling some Thing) (accuracy 100%, length 7, depth 1)
INFO - 9: hasSibling some (Female or (not (Female))) (accuracy 100%, length 6, depth 1)
INFO - 10: hasSibling some (Female or (hasSibling some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 11: hasSibling some (Male or (not (Male))) (accuracy 100%, length 6, depth 1)
INFO - 12: hasSibling some (Male or (hasSibling some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 13: hasSibling some (hasSibling max 2 Thing) (accuracy 100%, length 6, depth 2)
INFO - 14: (Person or Person) and (hasSibling some Thing) (accuracy 100%, length 7, depth 1)
INFO - 15: (hasSibling some Thing) and (hasSibling only Thing) (accuracy 100%, length 7, depth 1)
INFO - 16: hasSibling some (Female or Female or Male) (accuracy 100%, length 7, depth 1)
INFO - 17: hasSibling some (Female or Male or Male) (accuracy 100%, length 7, depth 1)
INFO - 18: hasSibling some (Female or (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 19: hasSibling some (Female or (hasParent only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 20: hasSibling some (Female or (hasSibling only Thing)) (accuracy 100%, length 7, depth 2)
INFO - Algorithm stopped (29036 descriptions tested).

Test of ../examples/yinyang_examples/Sibling.conf completed in 10s 40ms.
Testing ../examples/yinyang_examples/Sister.conf (example 100 of 99, time: 14:30:13).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type closed world reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
INFO - Materializing TBox...
INFO - ...TBox materialised in 1 ms.
INFO - ... initialized component 'reasoner' in 7ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg' of type OWL Class Expression Learner ...
INFO - ... initialized component 'alg' in 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (64.706% accuracy)
INFO - more accurate (94.12%) class expression found: Female
INFO - more accurate (100.00%) class expression found: Female and (hasSibling some Thing)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: Female and (hasSibling some Thing) (accuracy 100%, length 5, depth 1)
INFO - 2: Female and (hasSibling some (hasSibling some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 3: Female and ((not (Female)) or (hasSibling some Thing)) (accuracy 100%, length 8, depth 1)
INFO - 4: Female and ((hasParent some Thing) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 5: Female and ((hasSibling some Thing) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 6: Female and Person and (hasSibling some Thing) (accuracy 100%, length 7, depth 1)
INFO - 7: Female and (hasSibling some (Female or Male)) (accuracy 100%, length 7, depth 1)
INFO - 8: Female and (hasSibling some (hasChild only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 9: Female and (hasSibling some (hasParent only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 10: Female and (hasSibling some (hasSibling only Thing)) (accuracy 100%, length 7, depth 2)
INFO - 11: Female and (hasSibling some (hasSibling some Female)) (accuracy 100%, length 7, depth 2)
INFO - 12: Female and ((hasSibling some Female) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 13: Female and ((hasSibling some Female) or (hasSibling some Male)) (accuracy 100%, length 9, depth 1)
INFO - 14: Female and ((hasSibling some Male) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 15: Female and ((hasParent some Female) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 16: Female and ((hasParent some Female) or (hasSibling some Female)) (accuracy 100%, length 9, depth 1)
INFO - 17: Female and ((hasParent some Male) or (hasSibling some Thing)) (accuracy 100%, length 9, depth 1)
INFO - 18: Female and ((hasParent some Male) or (hasSibling some Female)) (accuracy 100%, length 9, depth 1)
INFO - 19: Female and ((hasParent some Thing) or (hasSibling some Female)) (accuracy 100%, length 9, depth 1)
INFO - 20: Female and ((not (Person)) or (hasSibling some Thing)) (accuracy 100%, length 8, depth 1)
INFO - Algorithm stopped (19304 descriptions tested).

Test of ../examples/yinyang_examples/Sister.conf completed in 10s 405ms.
Finished. 0 tests failed:

[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 1,606.188 s - in org.dllearner.test.junit.ExampleTests
[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.0.2:jar (default-jar) @ interfaces ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/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/dependency-updates/workspace/interfaces/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom
[INFO] 
[INFO] --------------------< org.dllearner:interfaces-ext >--------------------
[INFO] Building interfaces-ext 1.3.1-SNAPSHOT                             [5/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ interfaces-ext ---
[INFO] 
[INFO] --- xmlbeans-maven-plugin:2.3.3:xmlbeans (default) @ interfaces-ext ---
[INFO] 
[INFO] --- javacc-maven-plugin:2.6:javacc (javacc) @ interfaces-ext ---
[INFO] Skipping non-existing source directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/src/main/javacc
[INFO] 
[INFO] --- maven-resources-plugin:3.0.2:resources (default-resources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] Copying 5 resources
[INFO] Copying 391 resources
[INFO] 
[INFO] --- maven-compiler-plugin:3.7.0:compile (default-compile) @ interfaces-ext ---
[INFO] Changes detected - recompiling the module!
[INFO] Compiling 73 source files to /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java: Some input files use unchecked or unsafe operations.
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/generated-sources/xmlbeans/org/springframework/schema/beans/impl/EntryTypeImpl.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.0.2:testResources (default-testResources) @ interfaces-ext ---
[INFO] Using 'UTF-8' encoding to copy filtered resources.
[INFO] skip non existing resourceDirectory /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/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/dependency-updates/workspace/interfaces-ext/target/test-classes
[INFO] 
[INFO] --- maven-surefire-plugin:2.20.1:test (default-test) @ interfaces-ext ---
[INFO] Surefire report directory: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/surefire-reports
[INFO] 
[INFO] -------------------------------------------------------
[INFO]  T E S T S
[INFO] -------------------------------------------------------
[INFO] Running org.dllearner.cli.unife.CLILEAPTest
main
SLF4J: Class path contains multiple SLF4J bindings.
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/slf4j/slf4j-log4j12/1.7.26/slf4j-log4j12-1.7.26.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: Found binding in [jar:file:/usr/share/tomcat8/.m2/repository/org/apache/logging/log4j/log4j-slf4j-impl/2.12.0/log4j-slf4j-impl-2.12.0.jar!/org/slf4j/impl/StaticLoggerBinder.class]
SLF4J: See http://www.slf4j.org/codes.html#multiple_bindings for an explanation.
SLF4J: Actual binding is of type [org.slf4j.impl.Log4jLoggerFactory]
DL-Learner command line interface
Initializing component 'ks' of type OWL File ...
... initialized component 'ks' in 1ms. Status: OK
Initializing component 'reasoner' of type closed world reasoner ...
Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
Materializing TBox...
...TBox materialised in 43 ms.
... initialized component 'reasoner' in 353ms. Status: OK
Initializing component 'lp' of type PosNegLPStandard ...
... initialized component 'lp' in 0ms. Status: OK
Initializing component 'lpr' of type EDGE ...
... initialized component 'lpr' in 0ms. Status: OK
Initializing component 'alg' of type CELOE ...
... initialized component 'alg' in 18ms. Status: OK
Initializing component 'psla' of type LEAP ...
... initialized component 'psla' in 5ms. Status: OK
CLI LEAP
CLI LEAP
Running algorithm instance "psla" (LEAP)
start class:Thing
more accurate (50.00%) class expression found after 26ms: Thing
more accurate (83.33%) class expression found after 76ms: learnedClass
more accurate (100.00%) class expression found after 77ms: father
Algorithm terminated successfully (time: 10s 0ms, 6660 descriptions tested, 4952 nodes in the search tree).

number of retrievals: 6856
retrieval reasoning time: 89ms ( 0ms per retrieval)
number of instance checks: 27 (0 multiple)
instance check reasoning time: 0ms ( 0ms per instance check)
(complex) subsumption checks: 292 (0 multiple)
subsumption reasoning time: 52ms ( 0ms per subsumption check)
overall reasoning time: 142ms

solutions:
1: father (pred. acc.: 100.00%, F-measure: 100.00%)
2: father (pred. acc.: 100.00%, F-measure: 100.00%)
3: father (pred. acc.: 100.00%, F-measure: 100.00%)
4: father or (hasChild some female) (pred. acc.: 100.00%, F-measure: 100.00%)
5: father or (hasChild some father) (pred. acc.: 100.00%, F-measure: 100.00%)
6: learnedClass and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
7: male and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
8: father and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)
9: father or (hasChild some (not (male))) (pred. acc.: 100.00%, F-measure: 100.00%)
10: (not (female)) and (hasChild some person) (pred. acc.: 100.00%, F-measure: 100.00%)

Start greedy search
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 1.0 (ms)
Type of axiom to learn: equivalentClasses axioms
number of axiom chunks: 10
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.25428

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

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

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

Name           | Total (ms)
===========================
main           |        167
init           |         22
Bundle         |         98
Bundle.init    |          1
Bundle.explain |         86
Bundle.BDDCalc |          1
EM             |         37
Current Log-Likelihood: -0.25428
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 3.0 (ms)
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [father EquivalentTo learnedClass, stefan Type father]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.15390

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

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

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

Name           | Total (ms)
===========================
main           |         73
init           |          1
Bundle         |         62
Bundle.init    |          0
Bundle.explain |         55
Bundle.BDDCalc |          0
EM             |          9
Current Log-Likelihood: -0.15390
Log-Likelihood enhanced. Updating ontologies...
Creation of the learned ontology...
Successful creation of the learned ontology
Ontology created in 2.0 (ms)
Adding axiom: father EquivalentTo learnedClass
Running parameter learner
Created 11 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, stefan Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: father EquivalentTo learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [father EquivalentTo learnedClass, martin Type father]
Removing axiom: father EquivalentTo learnedClass 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [father EquivalentTo learnedClass, markus Type father]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: markus Type father 2 more removed: [father EquivalentTo learnedClass, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, michelle Type female, female DisjointWith male]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male, anna Type female]
Removing axiom: father EquivalentTo learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: father EquivalentTo learnedClass
Removing axiom: father SubClassOf male 1 more removed: [father EquivalentTo learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 2 more removed: [father EquivalentTo learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 3 more removed: [father EquivalentTo learnedClass, father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.15390

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

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

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

Name           | Total (ms)
===========================
main           |         60
init           |          1
Bundle         |         52
Bundle.init    |          0
Bundle.explain |         46
Bundle.BDDCalc |          0
EM             |          6
Current Log-Likelihood: -0.15390
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some female)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [stefan Type father, learnedClass EquivalentTo father or (hasChild some female)]
Removing axiom: stefan Type father 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: stefan Type father
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some female), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some female), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some female) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some female)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some female)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.26581

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24054
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : learnedClass EquivalentTo father or (hasChild some female)	arrayprob: 0.98722
ax 6/10 : hasChild Domain person	arrayprob: 0.87918
ax 7/10 : male SubClassOf person	arrayprob: 0.55044
ax 8/10 : female DisjointWith male	arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

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

Name           | Total (ms)
===========================
main           |         54
init           |          1
Bundle         |         48
Bundle.init    |          0
Bundle.explain |         43
Bundle.BDDCalc |          1
EM             |          5
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some father)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some father), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some father), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some father), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some father) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some father)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some father)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.26581

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some father)	arrayprob: 0.98722
ax 5/10 : female SubClassOf person	arrayprob: 0.63742
ax 6/10 : hasChild Domain person	arrayprob: 0.87918
ax 7/10 : male SubClassOf person	arrayprob: 0.55044
ax 8/10 : female DisjointWith male	arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

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

Name           | Total (ms)
===========================
main           |         43
init           |          1
Bundle         |         37
Bundle.init    |          0
Bundle.explain |         32
Bundle.BDDCalc |          3
EM             |          4
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo learnedClass and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: father SubClassOf male 2 more removed: [stefan Type male, male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: father SubClassOf male
Removing axiom: stefan Type father 3 more removed: [stefan Type male, male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: stefan Type father
Restoring axiom: stefan Type male
Removing axiom: male SubClassOf learnedClass 2 more removed: [male SubClassOf learnedClass, father SubClassOf male]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -2.24933

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.75000
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24053
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.87918
ax 6/10 : male SubClassOf person	arrayprob: 0.55044
ax 7/10 : female DisjointWith male	arrayprob: 0.98484
ax 8/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 9/10 : hasChild Range person	arrayprob: 0.94125
ax 10/10 : learnedClass EquivalentTo learnedClass and (hasChild some person)	arrayprob: 0.73097

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

Name           | Total (ms)
===========================
main           |         32
init           |          1
Bundle         |         31
Bundle.init    |          0
Bundle.explain |         26
Bundle.BDDCalc |          0
EM             |          0
Current Log-Likelihood: -2.24933
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo male and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, stefan hasChild markus, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [martin Type male, martin hasChild heinz, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, martin hasChild heinz, hasChild Range person, martin Type father, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: martin Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, markus Type male, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, markus Type father, hasChild Range person, learnedClass EquivalentTo male and (hasChild some person)]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, female DisjointWith male, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [female DisjointWith male, anna Type female, learnedClass EquivalentTo male and (hasChild some person)]
Removing axiom: female DisjointWith male 0 more removed: []
Stop - satisfiable
Restoring axiom: female DisjointWith male
Removing axiom: anna Type female 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Removing axiom: learnedClass EquivalentTo male and (hasChild some person) 1 more removed: [female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo male and (hasChild some person)
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.86074

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.36175
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.51527
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.96895
ax 6/10 : male SubClassOf person	arrayprob: 0.55044
ax 7/10 : female DisjointWith male	arrayprob: 1.00000
ax 8/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 9/10 : hasChild Range person	arrayprob: 0.99626
ax 10/10 : learnedClass EquivalentTo male and (hasChild some person)	arrayprob: 0.99444

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

Name           | Total (ms)
===========================
main           |         70
init           |          0
Bundle         |         59
Bundle.init    |          0
Bundle.explain |         52
Bundle.BDDCalc |          2
EM             |         10
Current Log-Likelihood: -0.86074
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, hasChild Domain person, stefan Type father, learnedClass EquivalentTo father and (hasChild some person), stefan hasChild markus]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father and (hasChild some person), martin hasChild heinz, hasChild Range person, martin Type father]
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: martin hasChild heinz 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: martin hasChild heinz
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Removing axiom: martin Type father 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo father and (hasChild some person), markus Type father, hasChild Range person]
Removing axiom: markus hasChild anna 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: markus hasChild anna
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Removing axiom: hasChild Range person 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: hasChild Range person
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 3 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father and (hasChild some person), hasChild Range person]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [father SubClassOf male, michelle Type female, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: michelle Type female 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: michelle Type female
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person), anna Type female]
Removing axiom: father SubClassOf male 0 more removed: []
Stop - satisfiable
Restoring axiom: father SubClassOf male
Removing axiom: female DisjointWith male 1 more removed: [father SubClassOf male]
Stop - satisfiable (early termination)
Restoring axiom: female DisjointWith male
Removing axiom: learnedClass EquivalentTo father and (hasChild some person) 2 more removed: [father SubClassOf male, female DisjointWith male]
Stop - satisfiable (early termination)
Restoring axiom: learnedClass EquivalentTo father and (hasChild some person)
Removing axiom: anna Type female 3 more removed: [father SubClassOf male, female DisjointWith male, learnedClass EquivalentTo father and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.27340

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.19924
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.98677
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.99465
ax 6/10 : male SubClassOf person	arrayprob: 0.55044
ax 7/10 : female DisjointWith male	arrayprob: 1.00000
ax 8/10 : learnedClass EquivalentTo father and (hasChild some person)	arrayprob: 0.99653
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.99751

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

Name           | Total (ms)
===========================
main           |         61
init           |          1
Bundle         |         53
Bundle.init    |          0
Bundle.explain |         50
Bundle.BDDCalc |          2
EM             |          6
Current Log-Likelihood: -0.27340
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some (not (male))), stefan Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [stefan Type male]
MUPS 3: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Computed 3 explanations
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [learnedClass EquivalentTo father or (hasChild some (not (male))), martin Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: martin Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: martin Type father
Restoring axiom: male SubClassOf learnedClass
Removing axiom: martin Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: martin Type male
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [learnedClass EquivalentTo father or (hasChild some (not (male))), markus Type father]
Removing axiom: learnedClass EquivalentTo father or (hasChild some (not (male))) 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 1 more removed: [learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: markus Type male 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: markus Type male
Restoring axiom: learnedClass EquivalentTo father or (hasChild some (not (male)))
Removing axiom: markus Type father 2 more removed: [male SubClassOf learnedClass, learnedClass EquivalentTo father or (hasChild some (not (male)))]
Stop - satisfiable (early termination)
Restoring axiom: markus Type father
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
Get 3 explanation(s) for: (not (learnedClass)) and ({michelle})
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
Get 3 explanation(s) for: (not (learnedClass)) and ({anna})
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.26581

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.20888
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.24054
ax 4/10 : learnedClass EquivalentTo father or (hasChild some (not (male)))	arrayprob: 0.98722
ax 5/10 : female SubClassOf person	arrayprob: 0.63742
ax 6/10 : hasChild Domain person	arrayprob: 0.87918
ax 7/10 : male SubClassOf person	arrayprob: 0.55044
ax 8/10 : female DisjointWith male	arrayprob: 0.98484
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.94125

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

Name           | Total (ms)
===========================
main           |         36
init           |          1
Bundle         |         31
Bundle.init    |          0
Bundle.explain |         26
Bundle.BDDCalc |          0
EM             |          3
Current Log-Likelihood: -0.26581
Log-Likelihood worsened. Removing Last Axioms...
Adding axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Running parameter learner
Created 10 probabilistic axiom
Probability Map computed. Size: 10
Start finding explanations for every example (Computing BDDs)...
Query 1 of 6 (16%)
Positive Example: stefan Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({stefan})
MUPS 1: [stefan Type male, male SubClassOf learnedClass]
Removing axiom: stefan Type male 0 more removed: []
MUPS 2: [male SubClassOf learnedClass, father SubClassOf male, stefan Type father]
Removing axiom: male SubClassOf learnedClass 1 more removed: [stefan Type male]
MUPS 3: [markus hasChild anna, father SubClassOf male, hasChild Domain person, stefan Type father, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, stefan hasChild markus]
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
Restoring axiom: stefan Type male
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 2 of 6 (33%)
Positive Example: martin Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({martin})
MUPS 1: [male SubClassOf learnedClass, martin Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [martin Type male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person]
Removing axiom: martin Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, martin hasChild heinz, hasChild Range person, martin Type father]
Computed 3 explanations
Restoring axiom: martin Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 3 of 6 (50%)
Positive Example: markus Type learnedClass
Get 3 explanation(s) for: (not (learnedClass)) and ({markus})
MUPS 1: [male SubClassOf learnedClass, markus Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
MUPS 2: [markus hasChild anna, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type male, hasChild Range person]
Removing axiom: markus Type male 1 more removed: [male SubClassOf learnedClass]
MUPS 3: [markus hasChild anna, father SubClassOf male, learnedClass EquivalentTo (not (female)) and (hasChild some person), female DisjointWith male, markus Type father, hasChild Range person]
Computed 3 explanations
Restoring axiom: markus Type male
Computed 3 explanations
Restoring axiom: male SubClassOf learnedClass
Computed 3 explanations
WARNING! The value of the probability may be a lower bound.
Query 4 of 6 (66%)
Negative Example: michelle Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({michelle})
MUPS 1: [michelle Type female, learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Removing axiom: michelle Type female 0 more removed: []
Stop - satisfiable
Restoring axiom: michelle Type female
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Query 5 of 6 (83%)
Negative Example: heinz Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({heinz})
Get 3 explanation(s) for: (not (learnedClass)) and ({heinz})
MUPS 1: [male SubClassOf learnedClass, heinz Type male]
Removing axiom: male SubClassOf learnedClass 0 more removed: []
Stop - satisfiable
Restoring axiom: male SubClassOf learnedClass
Removing axiom: heinz Type male 1 more removed: [male SubClassOf learnedClass]
Stop - satisfiable (early termination)
Restoring axiom: heinz Type male
Query 6 of 6 (100%)
Negative Example: anna Type not (learnedClass)
Get 3 explanation(s) for: (not (not (learnedClass))) and ({anna})
MUPS 1: [learnedClass EquivalentTo (not (female)) and (hasChild some person), anna Type female]
Removing axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person) 0 more removed: []
Stop - satisfiable
Restoring axiom: learnedClass EquivalentTo (not (female)) and (hasChild some person)
Removing axiom: anna Type female 1 more removed: [learnedClass EquivalentTo (not (female)) and (hasChild some person)]
Stop - satisfiable (early termination)
Restoring axiom: anna Type female
Explanations founding completed (BDDs computed)
Start EM Algorithm
	- n. of probabilistic axioms:	10
	- n. of examples:		6
EM completed.

  Final Log-Likelihood: -0.87160

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

ax 1/10 : male SubClassOf learnedClass	arrayprob: 0.36573
ax 2/10 : learnedClass SubClassOf Thing	arrayprob: 0.38519
ax 3/10 : father SubClassOf male	arrayprob: 0.51105
ax 4/10 : female SubClassOf person	arrayprob: 0.63742
ax 5/10 : hasChild Domain person	arrayprob: 0.96812
ax 6/10 : learnedClass EquivalentTo (not (female)) and (hasChild some person)	arrayprob: 0.99432
ax 7/10 : male SubClassOf person	arrayprob: 0.55044
ax 8/10 : female DisjointWith male	arrayprob: 0.99839
ax 9/10 : person SubClassOf Thing	arrayprob: 0.33322
ax 10/10 : hasChild Range person	arrayprob: 0.99614

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

Name           | Total (ms)
===========================
main           |         58
init           |          1
Bundle         |         48
Bundle.init    |          0
Bundle.explain |         46
Bundle.BDDCalc |          1
EM             |          8
Current Log-Likelihood: -0.87160
Log-Likelihood worsened. Removing Last Axioms...
Greedy search finished
Learned Axiom: father EquivalentTo learnedClass
Learned Axiom: father EquivalentTo learnedClass
Saving the learned ontology
Main: 10705 ms
CELOE: 10003 ms
EDGE: 654 ms
	Bundle: 519 ms
		BDDCalc: 10 ms
		explain: 462 ms
		init: 1 ms
	EM: 88 ms
	init: 30 ms
Other: 48 ms
Program client: execution successfully terminated
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0, Time elapsed: 13.633 s - in org.dllearner.cli.unife.CLILEAPTest
[INFO] 
[INFO] Results:
[INFO] 
[INFO] Tests run: 1, Failures: 0, Errors: 0, Skipped: 0
[INFO] 
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ interfaces-ext ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/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/dependency-updates/workspace/interfaces-ext/target/dl-learner.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom
[INFO] 
[INFO] -----------------------< org.dllearner:scripts >------------------------
[INFO] Building Executable scripts 1.3.1-SNAPSHOT                         [6/6]
[INFO] --------------------------------[ jar ]---------------------------------
[INFO] 
[INFO] --- maven-clean-plugin:2.5:clean (default-clean) @ scripts ---
[INFO] 
[INFO] --- maven-resources-plugin:3.0.2: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/dependency-updates/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/dependency-updates/workspace/scripts/target/classes
[INFO] /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/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/dependency-updates/workspace/scripts/src/main/java/org/dllearner/experiments/MyMonKey.java: Recompile with -Xlint:unchecked for details.
[INFO] 
[INFO] --- maven-resources-plugin:3.0.2: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/dependency-updates/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.20.1:test (default-test) @ scripts ---
[INFO] No tests to run.
[JENKINS] Recording test results
[INFO] 
[INFO] --- maven-jar-plugin:3.0.2:jar (default-jar) @ scripts ---
[INFO] Building jar: /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar
[INFO] 
[INFO] --- maven-install-plugin:2.4:install (default-install) @ scripts ---
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.jar
[INFO] Installing /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/scripts/pom.xml to /usr/share/tomcat8/.m2/repository/org/dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.pom
[INFO] ------------------------------------------------------------------------
[INFO] Reactor Summary:
[INFO] 
[INFO] DL Learner Parent Pom 1.3.1-SNAPSHOT ............... SUCCESS [  0.854 s]
[INFO] DL Learner Core Components ......................... SUCCESS [02:11 min]
[INFO] components-ext ..................................... SUCCESS [01:01 min]
[INFO] dllearner-interfaces ............................... SUCCESS [27:38 min]
[INFO] interfaces-ext ..................................... SUCCESS [ 19.528 s]
[INFO] Executable scripts 1.3.1-SNAPSHOT .................. SUCCESS [  1.835 s]
[INFO] ------------------------------------------------------------------------
[INFO] BUILD SUCCESS
[INFO] ------------------------------------------------------------------------
[INFO] Total time: 31:18 min
[INFO] Finished at: 2019-07-30T14:30:48+02:00
[INFO] ------------------------------------------------------------------------
Waiting for Jenkins to finish collecting data
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/pom.xml to org.dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces-ext/target/dl-learner.jar to org.dllearner/interfaces-ext/1.3.1-SNAPSHOT/interfaces-ext-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/components-ext/pom.xml to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/components-ext/target/components-ext-1.3.1-SNAPSHOT.jar to org.dllearner/components-ext/1.3.1-SNAPSHOT/components-ext-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/scripts/pom.xml to org.dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/scripts/target/scripts-1.3.1-SNAPSHOT.jar to org.dllearner/scripts/1.3.1-SNAPSHOT/scripts-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/components-core/pom.xml to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/components-core/target/components-core-1.3.1-SNAPSHOT.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/components-core/target/components-core-1.3.1-SNAPSHOT-tests.jar to org.dllearner/components-core/1.3.1-SNAPSHOT/components-core-1.3.1-SNAPSHOT-tests.jar
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/pom.xml to org.dllearner/dllearner-parent/1.3.1-SNAPSHOT/dllearner-parent-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces/pom.xml to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.pom
[JENKINS] Archiving /usr/share/tomcat8/.jenkins/jobs/DL-Learner Merge-M/branches/dependency-updates/workspace/interfaces/target/dl-learner.jar to org.dllearner/interfaces/1.3.1-SNAPSHOT/interfaces-1.3.1-SNAPSHOT.jar
channel stopped
[File exists] check if file exists [.git/MERGE_MODE]
Run condition [Not] enabling perform for step [[Set GitHub commit status (universal)]]
[Set GitHub commit status (universal)] SUCCESS on repos [GHRepository@7091d997[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=254674,milestones={},language=Java,commits={},source=<null>,parent=<null>,responseHeaderFields={null=[HTTP/1.1 200 OK], Access-Control-Allow-Origin=[*], Access-Control-Expose-Headers=[ETag, Link, Location, Retry-After, X-GitHub-OTP, X-RateLimit-Limit, X-RateLimit-Remaining, X-RateLimit-Reset, X-OAuth-Scopes, X-Accepted-OAuth-Scopes, X-Poll-Interval, X-GitHub-Media-Type], Cache-Control=[private, max-age=60, s-maxage=60], Content-Encoding=[gzip], Content-Security-Policy=[default-src 'none'], Content-Type=[application/json; charset=utf-8], Date=[Tue, 30 Jul 2019 12:30:55 GMT], ETag=[W/"cf3eaf5ba698afedfbccc07ce175917e"], Last-Modified=[Mon, 29 Jul 2019 14:01:30 GMT], OkHttp-Received-Millis=[1564489855848], OkHttp-Response-Source=[NETWORK 200], OkHttp-Selected-Protocol=[http/1.1], OkHttp-Sent-Millis=[1564489855515], Referrer-Policy=[origin-when-cross-origin, strict-origin-when-cross-origin], Server=[GitHub.com], Status=[200 OK], Strict-Transport-Security=[max-age=31536000; includeSubdomains; preload], Transfer-Encoding=[chunked], Vary=[Accept, Authorization, Cookie, X-GitHub-OTP, Accept-Encoding], X-Accepted-OAuth-Scopes=[repo], X-Content-Type-Options=[nosniff], X-Frame-Options=[deny], X-GitHub-Media-Type=[github.v3; format=json], X-GitHub-Request-Id=[88A8:2D78:323D47:3E9AB9:5D40387F], X-OAuth-Scopes=[admin:repo_hook, repo, user], X-RateLimit-Limit=[5000], X-RateLimit-Remaining=[4999], X-RateLimit-Reset=[1564493455], X-XSS-Protection=[1; mode=block]},url=https://api.github.com/repos/SmartDataAnalytics/DL-Learner,id=22693515]] (sha:59dda81) with context:jenkins-merge
Setting commit status on GitHub for https://github.com/SmartDataAnalytics/DL-Learner/commit/59dda81d3b1171b39c380a3159ba166d2761d48a
Finished: SUCCESS