SuccessConsole Output

Skipping 165 KB.. Full Log
INFO - 6: male and ((married some (sibling some Thing)) or (sibling some (parent some male))) (accuracy 100%, length 13, depth 2)
INFO - 7: male and ((married some (sibling some Thing)) or (sibling some (married some Thing))) (accuracy 100%, length 13, depth 2)
INFO - 8: male and ((married some (sibling some male)) or (sibling some (married some Thing))) (accuracy 100%, length 13, depth 2)
INFO - 9: male and ((married some (sibling some Thing)) or (sibling some (parent some (not (female))))) (accuracy 100%, length 14, depth 2)
INFO - 10: male and ((married some (sibling some Thing)) or (sibling some (parent some (not (male))))) (accuracy 100%, length 14, depth 2)
INFO - 11: male and ((married some (sibling some Thing)) or (sibling some (parent some (sibling some Thing)))) (accuracy 100%, length 15, depth 3)
INFO - 12: male and ((married some (sibling some Thing)) or (sibling some (parent min 2 Thing))) (accuracy 100%, length 14, depth 2)
INFO - 13: male and ((married some (sibling some (not (female)))) or (sibling some (parent some Thing))) (accuracy 100%, length 14, depth 2)
INFO - 14: male and ((married some (sibling some (married some Thing))) or (sibling some (parent some Thing))) (accuracy 100%, length 15, depth 3)
INFO - 15: male and ((married some (sibling some (parent some Thing))) or (sibling some (parent some Thing))) (accuracy 100%, length 15, depth 3)
INFO - 16: male and ((married some (sibling some (sibling some Thing))) or (sibling some (parent some Thing))) (accuracy 100%, length 15, depth 3)
INFO - 17: male and ((married some (sibling some Thing)) or (sibling some (married some (married some Thing)))) (accuracy 100%, length 15, depth 3)
INFO - 18: male and ((married some (sibling some Thing)) or (sibling some (married some (parent some Thing)))) (accuracy 100%, length 15, depth 3)
INFO - 19: male and ((married some (sibling some (not (female)))) or (sibling some (married some Thing))) (accuracy 100%, length 14, depth 2)
INFO - 20: male and ((married some (sibling some (married some Thing))) or (sibling some (married some Thing))) (accuracy 100%, length 15, depth 3)
INFO - Algorithm stopped (16127 descriptions tested).

Test of ../examples/forte/uncle_owl_large.conf completed in 10s 67ms.
Testing ../examples/forte/uncle_owl_small.conf (example 100 of 99, time: 14:24: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 2 ms.
INFO - ... initialized component 'reasoner' in 14ms. 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 (53.333% accuracy)
INFO - more accurate (73.33%) class expression found: male
INFO - more accurate (80.00%) class expression found: male and (parent max 3 Thing)
INFO - more accurate (93.33%) class expression found: male and (parent max 1 (parent some female))
INFO - more accurate (100.00%) class expression found: male and (parent max 1 (parent some (parent some Thing)))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: male and (parent max 1 (parent some (parent some Thing))) (accuracy 100%, length 10, depth 3)
INFO - 2: male and (parent max 1 (parent some (parent some female))) (accuracy 100%, length 10, depth 3)
INFO - 3: male and (parent max 1 (parent some (parent some male))) (accuracy 100%, length 10, depth 3)
INFO - 4: male and (parent max 1 (parent some (parent some (not (female))))) (accuracy 100%, length 11, depth 3)
INFO - 5: male and (parent max 1 (parent some (parent some (not (male))))) (accuracy 100%, length 11, depth 3)
INFO - 6: male and (parent max 1 (parent some (parent some (married some Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 7: male and (parent max 1 (parent some (parent some (parent some Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 8: male and (parent max 1 (parent some (parent some (sibling some Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 9: male and (parent max 1 (parent some (parent min 2 Thing))) (accuracy 100%, length 11, depth 3)
INFO - 10: male and (parent max 1 (parent min 2 (parent some Thing))) (accuracy 100%, length 11, depth 3)
INFO - 11: male and (parent max 1 (female and (parent some (parent some Thing)))) (accuracy 100%, length 12, depth 3)
INFO - 12: male and (parent max 1 (male and (parent some (parent some Thing)))) (accuracy 100%, length 12, depth 3)
INFO - 13: male and (parent max 1 (parent some (male and (parent some Thing)))) (accuracy 100%, length 12, depth 3)
INFO - 14: male and (parent max 1 (parent some (parent some (female or female)))) (accuracy 100%, length 12, depth 3)
INFO - 15: male and (parent max 1 (parent some (parent some (female or male)))) (accuracy 100%, length 12, depth 3)
INFO - 16: male and (parent max 1 (parent some (parent some (male or male)))) (accuracy 100%, length 12, depth 3)
INFO - 17: male and (parent max 1 (parent some (parent some (married only Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 18: male and (parent max 1 (parent some (parent some (parent only Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 19: male and (parent max 1 (parent some (parent some (sibling only Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 20: male and male and (parent max 1 (parent some (parent some female))) (accuracy 100%, length 12, depth 3)
INFO - Algorithm stopped (13226 descriptions tested).

Test of ../examples/forte/uncle_owl_small.conf completed in 10s 49ms.
Testing ../examples/forte/uncle_small.conf (example 100 of 99, time: 14:24:31).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 5ms. 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 (53.333% accuracy)
INFO - more accurate (73.33%) class expression found: male
INFO - more accurate (80.00%) class expression found: male and (parent max 3 Thing)
INFO - more accurate (93.33%) class expression found: male and (parent max 1 (parent some female))
INFO - more accurate (100.00%) class expression found: male and (parent max 1 (parent some (parent some Thing)))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: male and (parent max 1 (parent some (parent some Thing))) (accuracy 100%, length 10, depth 3)
INFO - 2: male and (parent max 1 (parent some (parent some female))) (accuracy 100%, length 10, depth 3)
INFO - 3: male and (parent max 1 (parent some (parent some male))) (accuracy 100%, length 10, depth 3)
INFO - 4: male and (parent max 1 (parent some (parent some (not (female))))) (accuracy 100%, length 11, depth 3)
INFO - 5: male and (parent max 1 (parent some (parent some (not (male))))) (accuracy 100%, length 11, depth 3)
INFO - 6: male and (parent max 1 (parent some (parent some (married some Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 7: male and (parent max 1 (parent some (parent some (parent some Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 8: male and (parent max 1 (parent some (parent some (sibling some Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 9: male and (parent max 1 (parent some (parent min 2 Thing))) (accuracy 100%, length 11, depth 3)
INFO - 10: male and (parent max 1 (parent min 2 (parent some Thing))) (accuracy 100%, length 11, depth 3)
INFO - 11: male and (parent max 1 (female and (parent some (parent some Thing)))) (accuracy 100%, length 12, depth 3)
INFO - 12: male and (parent max 1 (male and (parent some (parent some Thing)))) (accuracy 100%, length 12, depth 3)
INFO - 13: male and (parent max 1 (parent some (male and (parent some Thing)))) (accuracy 100%, length 12, depth 3)
INFO - 14: male and (parent max 1 (parent some (parent some (female or female)))) (accuracy 100%, length 12, depth 3)
INFO - 15: male and (parent max 1 (parent some (parent some (female or male)))) (accuracy 100%, length 12, depth 3)
INFO - 16: male and (parent max 1 (parent some (parent some (male or male)))) (accuracy 100%, length 12, depth 3)
INFO - 17: male and (parent max 1 (parent some (parent some (married only Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 18: male and (parent max 1 (parent some (parent some (parent only Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 19: male and (parent max 1 (parent some (parent some (sibling only Thing)))) (accuracy 100%, length 12, depth 4)
INFO - 20: male and male and (parent max 1 (parent some (parent some female))) (accuracy 100%, length 12, depth 3)
INFO - Algorithm stopped (13214 descriptions tested).

Test of ../examples/forte/uncle_small.conf completed in 10s 49ms.
Testing ../examples/lymphography/lymphography_Class1.conf (example 100 of 99, time: 14:24:41).
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 54ms. 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 2ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (1.351% accuracy)
INFO - more accurate (100.00%) class expression found: L2_Normal
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: L2_Normal (accuracy 100%, length 1, depth 0)
INFO - 2: L2_Normal and L2_Normal (accuracy 100%, length 3, depth 0)
INFO - 3: L2_Normal and LND10_0 (accuracy 100%, length 3, depth 0)
INFO - 4: L2_Normal and Name (accuracy 100%, length 3, depth 0)
INFO - 5: L2_Normal and (Bl_of_lymph_c4 or L2_Normal) (accuracy 100%, length 5, depth 0)
INFO - 6: L2_Normal and (Bl_of_lymph_c4 or LND10_0) (accuracy 100%, length 5, depth 0)
INFO - 7: L2_Normal and (Bl_of_lymph_c4 or Name) (accuracy 100%, length 5, depth 0)
INFO - 8: L2_Normal and (Bl_of_lymph_s5 or L2_Normal) (accuracy 100%, length 5, depth 0)
INFO - 9: L2_Normal and (Bl_of_lymph_s5 or LND10_0) (accuracy 100%, length 5, depth 0)
INFO - 10: L2_Normal and (Bl_of_lymph_s5 or Name) (accuracy 100%, length 5, depth 0)
INFO - 11: L2_Normal and (BlockOfAffere3 or L2_Normal) (accuracy 100%, length 5, depth 0)
INFO - 12: L2_Normal and (BlockOfAffere3 or LND10_0) (accuracy 100%, length 5, depth 0)
INFO - 13: L2_Normal and (BlockOfAffere3 or Name) (accuracy 100%, length 5, depth 0)
INFO - 14: L2_Normal and (ByPass6 or L2_Normal) (accuracy 100%, length 5, depth 0)
INFO - 15: L2_Normal and (ByPass6 or LND10_0) (accuracy 100%, length 5, depth 0)
INFO - 16: L2_Normal and (ByPass6 or Name) (accuracy 100%, length 5, depth 0)
INFO - 17: L2_Normal and (CIL12_Bean or CIL12_Oval) (accuracy 100%, length 5, depth 0)
INFO - 18: L2_Normal and (CIL12_Bean or CIS15_Grainy) (accuracy 100%, length 5, depth 0)
INFO - 19: L2_Normal and (CIL12_Bean or EarlyUptakeIn9) (accuracy 100%, length 5, depth 0)
INFO - 20: L2_Normal and (CIL12_Bean or Extravasates7) (accuracy 100%, length 5, depth 0)
INFO - Algorithm stopped (42146 descriptions tested).

Test of ../examples/lymphography/lymphography_Class1.conf completed in 10s 105ms.
Testing ../examples/lymphography/lymphography_Class2.conf (example 100 of 99, time: 14:24:51).
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 20 ms.
INFO - ... initialized component 'reasoner' in 47ms. Status: OK
INFO - Initializing component 'op' of type rho refinement operator ...
INFO - ... initialized component 'op' in 2ms. 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 (54.73% accuracy)
INFO - more accurate (79.73%) class expression found: CIN14_Lac_Margin
INFO - more accurate (81.08%) class expression found: CIN14_Lac_Margin and (BlockOfAffere3 or NON19_n0-9)
INFO - more accurate (83.78%) class expression found: BlockOfAffere3 and (CIN14_Lac_Margin or NON19_n0-9)
INFO - more accurate (84.46%) class expression found: BlockOfAffere3 and (NON19_n0-9 or (CIN14_Lac_Margin and (ByPass6 or NON19_n10-19)))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: BlockOfAffere3 and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 5, depth 0)
INFO - 2: BlockOfAffere3 and LND10_0 and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 7, depth 0)
INFO - 3: BlockOfAffere3 and Name and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 7, depth 0)
INFO - 4: BlockOfAffere3 and (CIN14_Lac_Margin or (BlockOfAffere3 and NON19_n0-9)) (accuracy 83.784%, length 7, depth 0)
INFO - 5: BlockOfAffere3 and (CIN14_Lac_Margin or (LND10_0 and NON19_n0-9)) (accuracy 83.784%, length 7, depth 0)
INFO - 6: BlockOfAffere3 and (CIN14_Lac_Margin or (LNE11_2 and NON19_n0-9)) (accuracy 83.784%, length 7, depth 0)
INFO - 7: BlockOfAffere3 and (CIN14_Lac_Margin or (NON19_n0-9 and NON19_n0-9)) (accuracy 83.784%, length 7, depth 0)
INFO - 8: BlockOfAffere3 and (CIN14_Lac_Margin or (NON19_n0-9 and Name)) (accuracy 83.784%, length 7, depth 0)
INFO - 9: BlockOfAffere3 and (NON19_n0-9 or (BlockOfAffere3 and CIN14_Lac_Margin)) (accuracy 83.784%, length 7, depth 0)
INFO - 10: BlockOfAffere3 and (NON19_n0-9 or (CIN14_Lac_Margin and CIN14_Lac_Margin)) (accuracy 83.784%, length 7, depth 0)
INFO - 11: BlockOfAffere3 and (NON19_n0-9 or (CIN14_Lac_Margin and LND10_0)) (accuracy 83.784%, length 7, depth 0)
INFO - 12: BlockOfAffere3 and (NON19_n0-9 or (CIN14_Lac_Margin and Name)) (accuracy 83.784%, length 7, depth 0)
INFO - 13: BlockOfAffere3 and (Bl_of_lymph_c4 or BlockOfAffere3) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - 14: BlockOfAffere3 and (Bl_of_lymph_c4 or LND10_0) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - 15: BlockOfAffere3 and (Bl_of_lymph_c4 or Name) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - 16: BlockOfAffere3 and (Bl_of_lymph_s5 or BlockOfAffere3) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - 17: BlockOfAffere3 and (Bl_of_lymph_s5 or LND10_0) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - 18: BlockOfAffere3 and (Bl_of_lymph_s5 or Name) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - 19: BlockOfAffere3 and (BlockOfAffere3 or BlockOfAffere3) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - 20: BlockOfAffere3 and (BlockOfAffere3 or ByPass6) and (CIN14_Lac_Margin or NON19_n0-9) (accuracy 83.784%, length 9, depth 0)
INFO - Algorithm stopped (28795 descriptions tested).

Test of ../examples/lymphography/lymphography_Class2.conf completed in 10s 113ms.
Testing ../examples/lymphography/lymphography_Class3.conf (example 100 of 99, time: 14:25:01).
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 46ms. 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 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (41.216% accuracy)
INFO - more accurate (70.27%) class expression found: SF16_Vesicles
INFO - more accurate (77.70%) class expression found: EarlyUptakeIn9 and SF16_Vesicles
INFO - more accurate (81.08%) class expression found: SF16_Vesicles and (CIN14_Lac_Central or CIN14_Lacunar)
INFO - more accurate (83.11%) class expression found: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and EarlyUptakeIn9))
INFO - more accurate (83.78%) class expression found: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and EarlyUptakeIn9 and ExclusionOfNo18))
INFO - more accurate (85.14%) class expression found: EarlyUptakeIn9 and (CIN14_Lac_Central or (CIN14_Lacunar and SF16_Vesicles))
INFO - more accurate (85.81%) class expression found: EarlyUptakeIn9 and (CIN14_Lac_Central or (CIN14_Lacunar and ExclusionOfNo18 and SF16_Vesicles))
INFO - more accurate (87.16%) class expression found: EarlyUptakeIn9 and (CIN14_Lac_Central or (SF16_Vesicles and (CIN14_Lacunar or CIS15_Drop-like)))
INFO - more accurate (87.84%) class expression found: EarlyUptakeIn9 and (CIN14_Lac_Central or (SF16_Vesicles and (CIS15_Drop-like or (CIN14_Lacunar and ExclusionOfNo18))))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: SF16_Vesicles and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 81.081%, length 5, depth 0)
INFO - 2: EarlyUptakeIn9 and SF16_Vesicles and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 83.108%, length 7, depth 0)
INFO - 3: ExclusionOfNo18 and SF16_Vesicles and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 81.081%, length 7, depth 0)
INFO - 4: LND10_0 and SF16_Vesicles and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 81.757%, length 7, depth 0)
INFO - 5: Name and SF16_Vesicles and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 81.081%, length 7, depth 0)
INFO - 6: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and CIN14_Lacunar)) (accuracy 81.081%, length 7, depth 0)
INFO - 7: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and EarlyUptakeIn9)) (accuracy 83.108%, length 7, depth 0)
INFO - 8: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and ExclusionOfNo18)) (accuracy 81.757%, length 7, depth 0)
INFO - 9: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and LND10_0)) (accuracy 81.757%, length 7, depth 0)
INFO - 10: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and Name)) (accuracy 81.081%, length 7, depth 0)
INFO - 11: SF16_Vesicles and (CIN14_Lac_Central or (CIN14_Lacunar and SF16_Vesicles)) (accuracy 81.081%, length 7, depth 0)
INFO - 12: SF16_Vesicles and (CIN14_Lacunar or (CIN14_Lac_Central and CIN14_Lac_Central)) (accuracy 81.081%, length 7, depth 0)
INFO - 13: SF16_Vesicles and (CIN14_Lacunar or (CIN14_Lac_Central and EarlyUptakeIn9)) (accuracy 81.081%, length 7, depth 0)
INFO - 14: SF16_Vesicles and (CIN14_Lacunar or (CIN14_Lac_Central and LND10_0)) (accuracy 81.081%, length 7, depth 0)
INFO - 15: SF16_Vesicles and (CIN14_Lacunar or (CIN14_Lac_Central and Name)) (accuracy 81.081%, length 7, depth 0)
INFO - 16: SF16_Vesicles and (CIN14_Lacunar or (CIN14_Lac_Central and SF16_Vesicles)) (accuracy 81.081%, length 7, depth 0)
INFO - 17: SF16_Vesicles and (Bl_of_lymph_c4 or EarlyUptakeIn9) and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 82.432%, length 9, depth 0)
INFO - 18: SF16_Vesicles and (Bl_of_lymph_c4 or ExclusionOfNo18) and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 81.081%, length 9, depth 0)
INFO - 19: SF16_Vesicles and (Bl_of_lymph_c4 or LND10_0) and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 81.081%, length 9, depth 0)
INFO - 20: SF16_Vesicles and (Bl_of_lymph_c4 or Name) and (CIN14_Lac_Central or CIN14_Lacunar) (accuracy 81.081%, length 9, depth 0)
INFO - Algorithm stopped (24518 descriptions tested).

Test of ../examples/lymphography/lymphography_Class3.conf completed in 10s 169ms.
Testing ../examples/lymphography/lymphography_Class4.conf (example 100 of 99, time: 14:25: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 19 ms.
INFO - ... initialized component 'reasoner' in 45ms. 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 1ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (2.703% accuracy)
INFO - more accurate (95.95%) class expression found: RegenerationOf8
INFO - more accurate (98.65%) class expression found: L2_Deformed and RegenerationOf8
INFO - more accurate (100.00%) class expression found: RegenerationOf8 and (LND10_1 or LNE11_1)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: RegenerationOf8 and (CIL12_Bean or LND10_1) (accuracy 100%, length 5, depth 0)
INFO - 2: RegenerationOf8 and (LND10_1 or LND10_2) (accuracy 100%, length 5, depth 0)
INFO - 3: RegenerationOf8 and (LND10_1 or LNE11_1) (accuracy 100%, length 5, depth 0)
INFO - 4: RegenerationOf8 and (CIL12_Bean or CIL12_Bean or LND10_1) (accuracy 100%, length 7, depth 0)
INFO - 5: RegenerationOf8 and (CIL12_Bean or CIS15_Drop-like or LND10_1) (accuracy 100%, length 7, depth 0)
INFO - 6: RegenerationOf8 and (CIL12_Bean or CIS15_Grainy or LND10_1) (accuracy 100%, length 7, depth 0)
INFO - 7: RegenerationOf8 and (CIL12_Bean or CIS15_Reticular or LND10_1) (accuracy 100%, length 7, depth 0)
INFO - 8: RegenerationOf8 and (CIL12_Bean or L2_Normal or LND10_1) (accuracy 100%, length 7, depth 0)
INFO - 9: RegenerationOf8 and (CIL12_Bean or LND10_1 or LND10_1) (accuracy 100%, length 7, depth 0)
INFO - 10: RegenerationOf8 and (CIL12_Bean or LND10_1 or LND10_2) (accuracy 100%, length 7, depth 0)
INFO - 11: RegenerationOf8 and (CIL12_Bean or LND10_1 or LND10_3) (accuracy 100%, length 7, depth 0)
INFO - 12: RegenerationOf8 and (CIL12_Bean or LND10_1 or LNE11_1) (accuracy 100%, length 7, depth 0)
INFO - 13: RegenerationOf8 and (CIL12_Bean or LND10_1 or NON19_n10-19) (accuracy 100%, length 7, depth 0)
INFO - 14: RegenerationOf8 and (CIL12_Bean or LND10_1 or NON19_n20-29) (accuracy 100%, length 7, depth 0)
INFO - 15: RegenerationOf8 and (CIL12_Bean or LND10_1 or NON19_n30-39) (accuracy 100%, length 7, depth 0)
INFO - 16: RegenerationOf8 and (CIL12_Bean or LND10_1 or No) (accuracy 100%, length 7, depth 0)
INFO - 17: RegenerationOf8 and (CIS15_Drop-like or LND10_1 or LND10_2) (accuracy 100%, length 7, depth 0)
INFO - 18: RegenerationOf8 and (CIS15_Drop-like or LND10_1 or LNE11_1) (accuracy 100%, length 7, depth 0)
INFO - 19: RegenerationOf8 and (CIS15_Grainy or LND10_1 or LND10_2) (accuracy 100%, length 7, depth 0)
INFO - 20: RegenerationOf8 and (CIS15_Grainy or LND10_1 or LNE11_1) (accuracy 100%, length 7, depth 0)
INFO - Algorithm stopped (39584 descriptions tested).

Test of ../examples/lymphography/lymphography_Class4.conf completed in 10s 351ms.
Testing ../examples/moral_reasoner/moral_43examples_complex.conf (example 100 of 99, time: 14:25:22).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 15ms. 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 4 ms.
INFO - ... initialized component 'reasoner' in 104ms. 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 (53.488% accuracy)
INFO - more accurate (74.42%) class expression found: severity_harm
INFO - more accurate (76.74%) class expression found: notaccident and severity_harm
INFO - more accurate (93.02%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (97.67%) class expression found: severity_harm and (someone_else_cause_harm or voluntary) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 8, depth 0)
INFO - 2: notaccident and severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 3: severity_harm and (vicarious or (cause and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 4: severity_harm and (vicarious or (foreseeable and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 5: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 6: severity_harm and (vicarious or (severity_harm and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 7: severity_harm and (vicarious or (voluntary and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 8: severity_harm and (voluntary or (benefit_protagonist and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 9: severity_harm and (voluntary or (control_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 10: severity_harm and (voluntary or (external_force and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 11: severity_harm and (voluntary or (foreseeable and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 12: severity_harm and (voluntary or (notaccident and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 13: severity_harm and (voluntary or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 14: severity_harm and (voluntary or (severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 15: severity_harm and (voluntary or (someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 16: severity_harm and (vicarious or (not (external_force))) and (not (benefit_victim)) (accuracy 100%, length 9, depth 0)
INFO - 17: severity_harm and (voluntary or (vicarious and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 18: severity_harm and (vicarious or (negligent_c and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 19: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 20: severity_harm and (voluntary or (benefit_protagonist and someone_else_cause_harm)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - Algorithm stopped (25021 descriptions tested).

Test of ../examples/moral_reasoner/moral_43examples_complex.conf completed in 10s 314ms.
Testing ../examples/moral_reasoner/moral_43examples_complex_owl.conf (example 100 of 99, time: 14:25:32).
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 6 ms.
INFO - ... initialized component 'reasoner' in 138ms. 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 (53.488% accuracy)
INFO - more accurate (74.42%) class expression found: severity_harm
INFO - more accurate (76.74%) class expression found: notaccident and severity_harm
INFO - more accurate (93.02%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (97.67%) class expression found: severity_harm and (someone_else_cause_harm or voluntary) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 8, depth 0)
INFO - 2: notaccident and severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 3: severity_harm and (vicarious or (cause and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 4: severity_harm and (vicarious or (foreseeable and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 5: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 6: severity_harm and (vicarious or (severity_harm and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 7: severity_harm and (vicarious or (voluntary and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 8: severity_harm and (voluntary or (benefit_protagonist and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 9: severity_harm and (voluntary or (control_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 10: severity_harm and (voluntary or (external_force and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 11: severity_harm and (voluntary or (foreseeable and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 12: severity_harm and (voluntary or (notaccident and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 13: severity_harm and (voluntary or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 14: severity_harm and (voluntary or (severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 15: severity_harm and (voluntary or (someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 16: severity_harm and (vicarious or (not (external_force))) and (not (benefit_victim)) (accuracy 100%, length 9, depth 0)
INFO - 17: severity_harm and (voluntary or (vicarious and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 18: severity_harm and (vicarious or (negligent_c and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 19: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 20: severity_harm and (voluntary or (benefit_protagonist and someone_else_cause_harm)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - Algorithm stopped (25021 descriptions tested).

Test of ../examples/moral_reasoner/moral_43examples_complex_owl.conf completed in 10s 273ms.
Testing ../examples/moral_reasoner/moral_43examples_simple.conf (example 100 of 99, time: 14:25:42).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 8ms. 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 11 ms.
INFO - ... initialized component 'reasoner' in 131ms. 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 (53.488% accuracy)
INFO - more accurate (74.42%) class expression found: severity_harm
INFO - more accurate (76.74%) class expression found: notaccident and severity_harm
INFO - more accurate (93.02%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (97.67%) class expression found: severity_harm and (someone_else_cause_harm or voluntary) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 8, depth 0)
INFO - 2: notaccident and severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 3: severity_harm and (vicarious or (cause and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 4: severity_harm and (vicarious or (foreseeable and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 5: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 6: severity_harm and (vicarious or (severity_harm and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 7: severity_harm and (vicarious or (voluntary and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 8: severity_harm and (voluntary or (benefit_protagonist and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 9: severity_harm and (voluntary or (control_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 10: severity_harm and (voluntary or (external_force and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 11: severity_harm and (voluntary or (foreseeable and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 12: severity_harm and (voluntary or (notaccident and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 13: severity_harm and (voluntary or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 14: severity_harm and (voluntary or (severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 15: severity_harm and (voluntary or (someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 16: severity_harm and (vicarious or (not (external_force))) and (not (benefit_victim)) (accuracy 100%, length 9, depth 0)
INFO - 17: severity_harm and (voluntary or (vicarious and vicarious_blame)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 18: severity_harm and (voluntary or (vicarious and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 19: severity_harm and (vicarious or (negligent_c and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 20: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - Algorithm stopped (27953 descriptions tested).

Test of ../examples/moral_reasoner/moral_43examples_simple.conf completed in 10s 177ms.
Testing ../examples/moral_reasoner/moral_43examples_simple_owl.conf (example 100 of 99, time: 14:25:52).
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 5 ms.
INFO - ... initialized component 'reasoner' in 150ms. 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 (53.488% accuracy)
INFO - more accurate (74.42%) class expression found: severity_harm
INFO - more accurate (76.74%) class expression found: notaccident and severity_harm
INFO - more accurate (93.02%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (97.67%) class expression found: severity_harm and (someone_else_cause_harm or voluntary) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 8, depth 0)
INFO - 2: notaccident and severity_harm and (vicarious or voluntary) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 3: severity_harm and (vicarious or (cause and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 4: severity_harm and (vicarious or (foreseeable and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 5: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 6: severity_harm and (vicarious or (severity_harm and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 7: severity_harm and (vicarious or (voluntary and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 8: severity_harm and (voluntary or (benefit_protagonist and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 9: severity_harm and (voluntary or (control_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 10: severity_harm and (voluntary or (external_force and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 11: severity_harm and (voluntary or (foreseeable and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 12: severity_harm and (voluntary or (notaccident and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 13: severity_harm and (voluntary or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 14: severity_harm and (voluntary or (severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 15: severity_harm and (voluntary or (someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 16: severity_harm and (vicarious or (not (external_force))) and (not (benefit_victim)) (accuracy 100%, length 9, depth 0)
INFO - 17: severity_harm and (voluntary or (vicarious and vicarious_blame)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 18: severity_harm and (voluntary or (vicarious and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 19: severity_harm and (vicarious or (negligent_c and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 20: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - Algorithm stopped (28124 descriptions tested).

Test of ../examples/moral_reasoner/moral_43examples_simple_owl.conf completed in 10s 187ms.
Testing ../examples/moral_reasoner/moral_all_examples_complex.conf (example 100 of 99, time: 14:26:03).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 30ms. 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 27 ms.
INFO - ... initialized component 'reasoner' in 2s 886ms. 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 2ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (50.495% accuracy)
INFO - more accurate (77.72%) class expression found: severity_harm
INFO - more accurate (79.21%) class expression found: notaccident and severity_harm
INFO - more accurate (90.10%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (91.09%) class expression found: notaccident and severity_harm and (not (benefit_victim))
INFO - more accurate (91.58%) class expression found: severity_harm and (not (benefit_victim)) and (not (justified))
INFO - more accurate (95.54%) class expression found: severity_harm and (outrank_perpetrator or voluntary) and (not (benefit_victim))
INFO - more accurate (98.02%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - more accurate (98.51%) class expression found: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 2: severity_harm and (vicarious or (voluntary and (not (intervening_cause)))) and (not (benefit_victim)) (accuracy 100%, length 11, depth 0)
INFO - 3: notaccident and severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 4: severity_harm and (vicarious or (cause and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 5: severity_harm and (vicarious or (foreseeable and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 6: severity_harm and (vicarious or (notaccident and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 7: severity_harm and (vicarious or (responsible and severity_harm and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 8: severity_harm and ((control_perpetrator and vicarious) or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 9: severity_harm and ((notaccident and vicarious) or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 10: severity_harm and ((outrank_perpetrator and vicarious) or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 11: severity_harm and ((responsible and voluntary) or (severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 12: severity_harm and ((responsible and voluntary) or (someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 13: severity_harm and ((responsible and voluntary) or (vicarious and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 14: severity_harm and (vicarious or (responsible and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 15: severity_harm and (responsible or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 16: notaccident and severity_harm and (responsible or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 17: severity_harm and (responsible or (control_perpetrator and outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 18: severity_harm and (responsible or (notaccident and outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 19: severity_harm and (responsible or (outrank_perpetrator and severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 20: severity_harm and (responsible or (outrank_perpetrator and someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - Algorithm stopped (19089 descriptions tested).

Test of ../examples/moral_reasoner/moral_all_examples_complex.conf completed in 13s 457ms.
Testing ../examples/moral_reasoner/moral_all_examples_complex_owl.conf (example 100 of 99, time: 14:26:16).
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 26 ms.
INFO - ... initialized component 'reasoner' in 3s 212ms. 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 (50.495% accuracy)
INFO - more accurate (77.72%) class expression found: severity_harm
INFO - more accurate (79.21%) class expression found: notaccident and severity_harm
INFO - more accurate (90.10%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (91.09%) class expression found: notaccident and severity_harm and (not (benefit_victim))
INFO - more accurate (91.58%) class expression found: severity_harm and (not (benefit_victim)) and (not (justified))
INFO - more accurate (95.54%) class expression found: severity_harm and (outrank_perpetrator or voluntary) and (not (benefit_victim))
INFO - more accurate (98.02%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - more accurate (98.51%) class expression found: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 2: severity_harm and (vicarious or (voluntary and (not (intervening_cause)))) and (not (benefit_victim)) (accuracy 100%, length 11, depth 0)
INFO - 3: notaccident and severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 4: severity_harm and (vicarious or (cause and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 5: severity_harm and (vicarious or (foreseeable and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 6: severity_harm and (vicarious or (notaccident and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 7: severity_harm and (vicarious or (responsible and severity_harm and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 8: severity_harm and ((control_perpetrator and vicarious) or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 9: severity_harm and ((notaccident and vicarious) or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 10: severity_harm and ((outrank_perpetrator and vicarious) or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 11: severity_harm and ((responsible and voluntary) or (severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 12: severity_harm and ((responsible and voluntary) or (someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 13: severity_harm and ((responsible and voluntary) or (vicarious and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 14: severity_harm and (vicarious or (responsible and responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 15: severity_harm and (responsible or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 16: notaccident and severity_harm and (responsible or (outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 17: severity_harm and (responsible or (control_perpetrator and outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 18: severity_harm and (responsible or (notaccident and outrank_perpetrator and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 19: severity_harm and (responsible or (outrank_perpetrator and severity_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - 20: severity_harm and (responsible or (outrank_perpetrator and someone_else_cause_harm and vicarious)) and (not (benefit_victim)) (accuracy 100%, length 12, depth 0)
INFO - Algorithm stopped (19089 descriptions tested).

Test of ../examples/moral_reasoner/moral_all_examples_complex_owl.conf completed in 13s 591ms.
Testing ../examples/moral_reasoner/moral_all_examples_simple.conf (example 100 of 99, time: 14:26:30).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 23ms. 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 27 ms.
INFO - ... initialized component 'reasoner' in 2s 920ms. 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.495% accuracy)
INFO - more accurate (77.72%) class expression found: severity_harm
INFO - more accurate (79.21%) class expression found: notaccident and severity_harm
INFO - more accurate (90.10%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (91.09%) class expression found: notaccident and severity_harm and (not (benefit_victim))
INFO - more accurate (91.58%) class expression found: severity_harm and (not (benefit_victim)) and (not (justified))
INFO - more accurate (95.54%) class expression found: severity_harm and (outrank_perpetrator or voluntary) and (not (benefit_victim))
INFO - more accurate (98.02%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - more accurate (98.51%) class expression found: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 2: severity_harm and (vicarious or (blameworthy and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 3: severity_harm and (vicarious or (voluntary and (not (intervening_cause)))) and (not (benefit_victim)) (accuracy 100%, length 11, depth 0)
INFO - 4: severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 9, depth 0)
INFO - 5: severity_harm and (vicarious or (blameworthy and voluntary)) and (not (justified)) (accuracy 100%, length 10, depth 0)
INFO - 6: severity_harm and ((blameworthy and voluntary) or (vicarious and (not (benefit_victim)))) (accuracy 100%, length 10, depth 0)
INFO - 7: severity_harm and ((blameworthy and voluntary) or (vicarious and (not (justified)))) (accuracy 100%, length 10, depth 0)
INFO - 8: notaccident and severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 9: severity_harm and ((blameworthy and cause and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 10: severity_harm and ((blameworthy and foreseeable and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 11: severity_harm and ((blameworthy and notaccident and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 12: severity_harm and ((blameworthy and severity_harm and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 13: severity_harm and ((blameworthy and voluntary) or (control_perpetrator and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 14: severity_harm and ((blameworthy and voluntary) or (notaccident and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 15: severity_harm and ((blameworthy and voluntary) or (outrank_perpetrator and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 16: severity_harm and ((blameworthy and voluntary) or (severity_harm and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 17: severity_harm and ((blameworthy and voluntary) or (someone_else_cause_harm and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 18: severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious_blame and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 19: severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 20: severity_harm and ((blameworthy and responsible and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - Algorithm stopped (19294 descriptions tested).

Test of ../examples/moral_reasoner/moral_all_examples_simple.conf completed in 13s 109ms.
Testing ../examples/moral_reasoner/moral_all_examples_simple_owl.conf (example 100 of 99, time: 14:26: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 26 ms.
INFO - ... initialized component 'reasoner' in 2s 940ms. 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 2ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (50.495% accuracy)
INFO - more accurate (77.72%) class expression found: severity_harm
INFO - more accurate (79.21%) class expression found: notaccident and severity_harm
INFO - more accurate (90.10%) class expression found: severity_harm and (not (benefit_victim))
INFO - more accurate (91.09%) class expression found: notaccident and severity_harm and (not (benefit_victim))
INFO - more accurate (91.58%) class expression found: severity_harm and (not (benefit_victim)) and (not (justified))
INFO - more accurate (95.54%) class expression found: severity_harm and (outrank_perpetrator or voluntary) and (not (benefit_victim))
INFO - more accurate (98.02%) class expression found: severity_harm and (vicarious or voluntary) and (not (benefit_victim))
INFO - more accurate (98.51%) class expression found: severity_harm and (vicarious or (notaccident and voluntary)) and (not (benefit_victim))
INFO - more accurate (100.00%) class expression found: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim))
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: severity_harm and (vicarious or (responsible and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 2: severity_harm and (vicarious or (blameworthy and voluntary)) and (not (benefit_victim)) (accuracy 100%, length 10, depth 0)
INFO - 3: severity_harm and (vicarious or (voluntary and (not (intervening_cause)))) and (not (benefit_victim)) (accuracy 100%, length 11, depth 0)
INFO - 4: severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 9, depth 0)
INFO - 5: severity_harm and (vicarious or (blameworthy and voluntary)) and (not (justified)) (accuracy 100%, length 10, depth 0)
INFO - 6: severity_harm and ((blameworthy and voluntary) or (vicarious and (not (benefit_victim)))) (accuracy 100%, length 10, depth 0)
INFO - 7: severity_harm and ((blameworthy and voluntary) or (vicarious and (not (justified)))) (accuracy 100%, length 10, depth 0)
INFO - 8: notaccident and severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 9: severity_harm and ((blameworthy and cause and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 10: severity_harm and ((blameworthy and foreseeable and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 11: severity_harm and ((blameworthy and notaccident and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 12: severity_harm and ((blameworthy and severity_harm and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 13: severity_harm and ((blameworthy and voluntary) or (control_perpetrator and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 14: severity_harm and ((blameworthy and voluntary) or (notaccident and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 15: severity_harm and ((blameworthy and voluntary) or (outrank_perpetrator and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 16: severity_harm and ((blameworthy and voluntary) or (severity_harm and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 17: severity_harm and ((blameworthy and voluntary) or (someone_else_cause_harm and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 18: severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious_blame and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 19: severity_harm and ((blameworthy and voluntary) or (vicarious and vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - 20: severity_harm and ((blameworthy and responsible and voluntary) or (vicarious and vicarious_blame)) (accuracy 100%, length 11, depth 0)
INFO - Algorithm stopped (19294 descriptions tested).

Test of ../examples/moral_reasoner/moral_all_examples_simple_owl.conf completed in 12s 987ms.
Testing ../examples/mutagenesis/train1.conf (example 100 of 99, time: 14:26:56).
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 5651 ms.
INFO - ... initialized component 'reasoner' in 6s 660ms. Status: OK
INFO - Initializing component 'lp' of type PosNegLPStandard ...
INFO - ... initialized component 'lp' in 0ms. Status: OK
INFO - Initializing component 'alg2' of type ELTL ...
INFO - ... initialized component 'alg2' in 8ms. Status: OK
INFO - Running algorithm instance "alg2" (ELLearningAlgorithm)
INFO - Start class: Compound
INFO - more accurate (54.35%) class expression found after 57ms: Compound
INFO - more accurate (56.96%) class expression found after 7s446ms: hasStructure some Ring_size_6
INFO - Stopping algorithm: Max. execution time was reached.
INFO - solutions[time: 10s 329ms]
1: hasStructure some Ring_size_6 (pred. acc.: 56.96%, F-measure: 71.47%)
2: hasStructure some Benzene (pred. acc.: 56.96%, F-measure: 71.47%)
3: (hasStructure some Ring_size_6) and (logp some double) (pred. acc.: 56.96%, F-measure: 71.47%)
4: (hasStructure some Ring_size_6) and (hasThreeOrMoreFusedRings some boolean) (pred. acc.: 56.96%, F-measure: 71.47%)
5: (hasStructure some Ring_size_6) and (hasFifeExamplesOfAcenthrylenes some boolean) (pred. acc.: 56.96%, F-measure: 71.47%)
6: (hasStructure some Ring_size_6) and (act some double) (pred. acc.: 56.96%, F-measure: 71.47%)
7: (hasStructure some Nitro) and (hasStructure some Ring_size_6) (pred. acc.: 56.96%, F-measure: 71.47%)
8: (hasStructure some Benzene) and (hasStructure some Ring_size_6) (pred. acc.: 56.96%, F-measure: 71.47%)
9: (hasBond some Bond) and (hasStructure some Ring_size_6) (pred. acc.: 56.96%, F-measure: 71.47%)
10: (hasAtom some Atom) and (hasStructure some Ring_size_6) (pred. acc.: 56.96%, F-measure: 71.47%)

Test of ../examples/mutagenesis/train1.conf completed in 17s 105ms.
Testing ../examples/mutagenesis/train2.conf (example 100 of 99, time: 14:27: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 5427 ms.
INFO - ... initialized component 'reasoner' in 6s 404ms. 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 41ms. Status: OK
INFO - Running algorithm instance "alg" (OCEL)
INFO - starting top down refinement with: Thing (5.652% accuracy)
INFO - more accurate (54.35%) class expression found: hasThreeOrMoreFusedRings value false
INFO - more accurate (80.00%) class expression found: (hasStructure max 4 Thing) and (hasThreeOrMoreFusedRings some {false})
INFO - more accurate (86.52%) class expression found: (hasStructure max 3 Thing) and (hasThreeOrMoreFusedRings some {false})
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: (hasStructure max 4 Thing) and (hasThreeOrMoreFusedRings some {false}) (accuracy 80%, length 8, depth 1)
INFO - 2: (hasStructure max 3 Thing) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 3: (hasStructure max 3 Atom) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 4: (hasStructure max 2 Atom) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 5: (hasStructure max 1 Atom) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 6: (hasStructure max 1 Arsenic) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 7: (hasStructure max 1 Barium) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 8: (hasStructure max 1 Bromine) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 9: (hasStructure max 1 Bromine-94) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 10: (hasStructure max 1 Calcium) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 11: (hasStructure max 1 Carbon) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 12: (hasStructure max 1 Carbon-10) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 13: (hasStructure max 1 Carbon-14) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 14: (hasStructure max 1 Carbon-16) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 15: (hasStructure max 1 Carbon-19) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 16: (hasStructure max 1 Carbon-194) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 17: (hasStructure max 1 Carbon-195) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 18: (hasStructure max 1 Carbon-21) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 19: (hasStructure max 1 Carbon-22) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - 20: (hasStructure max 1 Carbon-230) and (hasThreeOrMoreFusedRings some {false}) (accuracy 86.522%, length 8, depth 1)
INFO - Algorithm stopped (8131 descriptions tested).

Test of ../examples/mutagenesis/train2.conf completed in 17s 411ms.
Testing ../examples/naiveAL.conf (example 100 of 99, time: 14:27:30).
INFO - Initializing component 'ks' of type OWL File ...
INFO - ... initialized component 'ks' in 0ms. Status: OK
INFO - Initializing component 'reasoner' of type OWL API Reasoner ...
INFO - Loaded reasoner: Pellet (com.clarkparsia.pellet.owlapiv3.PelletReasoner)
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 Naive AL Learner ...
INFO - ... initialized component 'alg' in 0ms. Status: OK
INFO - Running algorithm instance "alg" (NaiveALLearner)
Best description: hasChild some Thing
Best score: score: -0.15000000000000002
accuracy: 1.0
posAsPos (2): [anna, martin]
positive examples classified as negative (0): []
negative examples classified as positive (0): []

Test of ../examples/naiveAL.conf completed in 46ms.
Testing ../examples/poker/pair.conf (example 100 of 99, time: 14:27:30).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 8ms. 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 10 ms.
INFO - ... initialized component 'reasoner' in 20ms. 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 (40.816% accuracy)
INFO - more accurate (100.00%) class expression found: hasCard some (sameRank some Thing)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasCard some (sameRank some Thing) (accuracy 100%, length 5, depth 2)
INFO - 2: hasCard some (sameRank some card) (accuracy 100%, length 5, depth 2)
INFO - 3: hasCard some (sameRank some (not (deck))) (accuracy 100%, length 6, depth 2)
INFO - 4: hasCard some (sameRank some (hasRank some Thing)) (accuracy 100%, length 7, depth 3)
INFO - 5: hasCard some (sameRank some (hasSuit some Thing)) (accuracy 100%, length 7, depth 3)
INFO - 6: deck and (hasCard some (sameRank some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 7: hasCard some (card and (sameRank some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 8: hasCard some (sameRank some (card or card)) (accuracy 100%, length 7, depth 2)
INFO - 9: hasCard some (sameRank some (card or deck)) (accuracy 100%, length 7, depth 2)
INFO - 10: hasCard some (sameRank some (hasCard only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 11: hasCard some (sameRank some (hasRank only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 12: hasCard some (sameRank some (hasSuit only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 13: hasCard some (sameRank some (nextRank only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 14: hasCard some (sameRank some (sameRank only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 15: hasCard some (sameRank some (sameSuit only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 16: (not (card)) and (hasCard some (sameRank some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 17: (hasCard some Thing) and (hasCard some (sameRank some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 18: hasCard some ((not (deck)) and (sameRank some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 19: hasCard some ((hasRank some Thing) and (sameRank some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 20: hasCard some ((hasSuit some Thing) and (sameRank some Thing)) (accuracy 100%, length 9, depth 2)
INFO - Algorithm stopped (18428 descriptions tested).

Test of ../examples/poker/pair.conf completed in 10s 64ms.
Testing ../examples/poker/pair_owl.conf (example 100 of 99, time: 14:27:40).
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 10 ms.
INFO - ... initialized component 'reasoner' 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 (40.816% accuracy)
INFO - more accurate (100.00%) class expression found: hasCard some (sameRank some Thing)
INFO - Maximum time (10 seconds) reached, stopping now...
INFO - solutions (at most 20 are shown):
INFO - 1: hasCard some (sameRank some Thing) (accuracy 100%, length 5, depth 2)
INFO - 2: hasCard some (sameRank some card) (accuracy 100%, length 5, depth 2)
INFO - 3: hasCard some (sameRank some (not (deck))) (accuracy 100%, length 6, depth 2)
INFO - 4: hasCard some (sameRank some (hasRank some Thing)) (accuracy 100%, length 7, depth 3)
INFO - 5: hasCard some (sameRank some (hasSuit some Thing)) (accuracy 100%, length 7, depth 3)
INFO - 6: deck and (hasCard some (sameRank some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 7: hasCard some (card and (sameRank some Thing)) (accuracy 100%, length 7, depth 2)
INFO - 8: hasCard some (sameRank some (card or card)) (accuracy 100%, length 7, depth 2)
INFO - 9: hasCard some (sameRank some (card or deck)) (accuracy 100%, length 7, depth 2)
INFO - 10: hasCard some (sameRank some (hasCard only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 11: hasCard some (sameRank some (hasRank only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 12: hasCard some (sameRank some (hasSuit only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 13: hasCard some (sameRank some (nextRank only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 14: hasCard some (sameRank some (sameRank only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 15: hasCard some (sameRank some (sameSuit only Thing)) (accuracy 100%, length 7, depth 3)
INFO - 16: (not (card)) and (hasCard some (sameRank some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 17: (hasCard some Thing) and (hasCard some (sameRank some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 18: hasCard some ((not (deck)) and (sameRank some Thing)) (accuracy 100%, length 8, depth 2)
INFO - 19: hasCard some ((hasRank some Thing) and (sameRank some Thing)) (accuracy 100%, length 9, depth 2)
INFO - 20: hasCard some ((hasSuit some Thing) and (sameRank some Thing)) (accuracy 100%, length 9, depth 2)
INFO - Algorithm stopped (18657 descriptions tested).

Test of ../examples/poker/pair_owl.conf completed in 10s 70ms.
Testing ../examples/poker/straight.conf (example 100 of 99, time: 14:27:50).
INFO - Initializing component 'ks' of type KB File ...
INFO - ... initialized component 'ks' in 9ms. 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 11 ms.
INFO - ... initialized component 'reasoner' in 22ms. 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 (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 (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