Menu
▾
▴
dl-learner-svn
|
From: <jen...@us...> - 2007-09-05 08:58:42
|
Revision: 128
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=128&view=rev
Author: jenslehmann
Date: 2007-09-05 01:58:38 -0700 (Wed, 05 Sep 2007)
Log Message:
-----------
set pointers of all YinYang examples to OWL files in example directory
Modified Paths:
--------------
trunk/examples/yinyang_files/archLearningProblem.xml
trunk/examples/yinyang_files/forteLearningProblemYinYang.xml
trunk/examples/yinyang_files/pairLearningProblem.xml
trunk/examples/yinyang_files/straightLearningProblem.xml
Modified: trunk/examples/yinyang_files/archLearningProblem.xml
===================================================================
--- trunk/examples/yinyang_files/archLearningProblem.xml 2007-09-05 08:53:46 UTC (rev 127)
+++ trunk/examples/yinyang_files/archLearningProblem.xml 2007-09-05 08:58:38 UTC (rev 128)
@@ -7,7 +7,7 @@
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.di.uniba.it/learning/../LearningProblem.xsd"
-knowledgeBase="file:arch.owl"
+knowledgeBase="file:../arch/arch.owl"
positiveExampleSource="archPositives.txt"
negativeExampleSource="archNegatives.txt"
abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
Modified: trunk/examples/yinyang_files/forteLearningProblemYinYang.xml
===================================================================
--- trunk/examples/yinyang_files/forteLearningProblemYinYang.xml 2007-09-05 08:53:46 UTC (rev 127)
+++ trunk/examples/yinyang_files/forteLearningProblemYinYang.xml 2007-09-05 08:58:38 UTC (rev 128)
@@ -6,7 +6,7 @@
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.di.uniba.it/learning/ ../LearningProblem.xsd"
- knowledgeBase="file:forte.owl"
+ knowledgeBase="file:../forte/forte.owl"
positiveExampleSource="fortePositivesYinYang.txt"
negativeExampleSource="forteNegativesYinYang.txt"
abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
Modified: trunk/examples/yinyang_files/pairLearningProblem.xml
===================================================================
--- trunk/examples/yinyang_files/pairLearningProblem.xml 2007-09-05 08:53:46 UTC (rev 127)
+++ trunk/examples/yinyang_files/pairLearningProblem.xml 2007-09-05 08:58:38 UTC (rev 128)
@@ -7,7 +7,7 @@
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.di.uniba.it/learning/../LearningProblem.xsd"
-knowledgeBase="file:pair50.owl"
+knowledgeBase="file:../poker/pair50.owl"
positiveExampleSource="pairPositives.txt"
negativeExampleSource="pairNegatives.txt"
abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
Modified: trunk/examples/yinyang_files/straightLearningProblem.xml
===================================================================
--- trunk/examples/yinyang_files/straightLearningProblem.xml 2007-09-05 08:53:46 UTC (rev 127)
+++ trunk/examples/yinyang_files/straightLearningProblem.xml 2007-09-05 08:58:38 UTC (rev 128)
@@ -7,7 +7,7 @@
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.di.uniba.it/learning/../LearningProblem.xsd"
-knowledgeBase="file:straight.owl"
+knowledgeBase="file:../poker/straight.owl"
positiveExampleSource="straightPositives.txt"
negativeExampleSource="straightNegatives.txt"
abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jen...@us...> - 2007-09-05 09:17:19
|
Revision: 127
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=127&view=rev
Author: jenslehmann
Date: 2007-09-05 01:53:46 -0700 (Wed, 05 Sep 2007)
Log Message:
-----------
added bash script for running YinYang examples
added trains YinYang example
Added Paths:
-----------
trunk/examples/yinyang_files/run
trunk/examples/yinyang_files/trainsLearningProblem.xml
trunk/examples/yinyang_files/trainsNegatives.txt
trunk/examples/yinyang_files/trainsPositives.txt
Added: trunk/examples/yinyang_files/run
===================================================================
--- trunk/examples/yinyang_files/run (rev 0)
+++ trunk/examples/yinyang_files/run 2007-09-05 08:53:46 UTC (rev 127)
@@ -0,0 +1,3 @@
+#!/bin/bash
+YINYANG_BINARY_PATH=../../../../software/yinyang/binaries
+java -cp $YINYANG_BINARY_PATH/yinyang.jar:$YINYANG_BINARY_PATH/rdf2kb.jar:$YINYANG_BINARY_PATH/abstraction.jar:$YINYANG_BINARY_PATH/kb.jar:$YINYANG_BINARY_PATH/learningProblem.jar:$YINYANG_BINARY_PATH/logger.jar:$YINYANG_BINARY_PATH/dig1.1-reasoners.jar:$YINYANG_BINARY_PATH/dig1.1-xmlbeans.jar:$YINYANG_BINARY_PATH/jaxen-1.1-beta-2.jar:$YINYANG_BINARY_PATH/xbean.jar:$YINYANG_BINARY_PATH/xbean_xpath.jar:$YINYANG_BINARY_PATH/antlr-2.7.5.jar:$YINYANG_BINARY_PATH/commons-logging.jar:$YINYANG_BINARY_PATH/concurrent.jar:$YINYANG_BINARY_PATH/icu4j_3_4.jar:$YINYANG_BINARY_PATH/iri.jar:$YINYANG_BINARY_PATH/jena.jar:$YINYANG_BINARY_PATH/json.jar:$YINYANG_BINARY_PATH/junit.jar:$YINYANG_BINARY_PATH/log4j-1.2.12.jar:$YINYANG_BINARY_PATH/xercesImpl.jar:$YINYANG_BINARY_PATH/xml-apis.jar it.uniba.di.dl.learningsystems.control.LearningController $1 $2
\ No newline at end of file
Property changes on: trunk/examples/yinyang_files/run
___________________________________________________________________
Name: svn:executable
+ *
Added: trunk/examples/yinyang_files/trainsLearningProblem.xml
===================================================================
--- trunk/examples/yinyang_files/trainsLearningProblem.xml (rev 0)
+++ trunk/examples/yinyang_files/trainsLearningProblem.xml 2007-09-05 08:53:46 UTC (rev 127)
@@ -0,0 +1,22 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<LearningProblem
+
+ xmlns="http://www.di.uniba.it/learning"
+ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+ xsi:schemaLocation="http://www.di.uniba.it/learning/ ../LearningProblem.xsd"
+
+ knowledgeBase="file:../trains/trains.owl"
+ positiveExampleSource="trainsPositives.txt"
+ negativeExampleSource="trainsNegatives.txt"
+ abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
+ learn="true"
+ normalize="true"
+ consistencyCheck="true"
+ reasonerURL ="http://localhost:8081" >
+ <Experiments/>
+ <Namespaces>
+ <Namespace uri="http://example.com/foo#"></Namespace>
+ </Namespaces>
+
+</LearningProblem>
Added: trunk/examples/yinyang_files/trainsNegatives.txt
===================================================================
--- trunk/examples/yinyang_files/trainsNegatives.txt (rev 0)
+++ trunk/examples/yinyang_files/trainsNegatives.txt 2007-09-05 08:53:46 UTC (rev 127)
@@ -0,0 +1,5 @@
+http://example.com/foo#west6
+http://example.com/foo#west7
+http://example.com/foo#west8
+http://example.com/foo#west9
+http://example.com/foo#west10
\ No newline at end of file
Added: trunk/examples/yinyang_files/trainsPositives.txt
===================================================================
--- trunk/examples/yinyang_files/trainsPositives.txt (rev 0)
+++ trunk/examples/yinyang_files/trainsPositives.txt 2007-09-05 08:53:46 UTC (rev 127)
@@ -0,0 +1,5 @@
+http://example.com/foo#east1
+http://example.com/foo#east2
+http://example.com/foo#east3
+http://example.com/foo#east4
+http://example.com/foo#east5
\ No newline at end of file
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jen...@us...> - 2007-09-05 09:27:29
|
Revision: 129
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=129&view=rev
Author: jenslehmann
Date: 2007-09-05 02:27:23 -0700 (Wed, 05 Sep 2007)
Log Message:
-----------
added moral reasoner files for YinYang
Added Paths:
-----------
trunk/examples/yinyang_files/moralComplexLearningProblem.xml
trunk/examples/yinyang_files/moralNegatives.txt
trunk/examples/yinyang_files/moralPositives.txt
trunk/examples/yinyang_files/moralSimpleLearningProblem.xml
Added: trunk/examples/yinyang_files/moralComplexLearningProblem.xml
===================================================================
--- trunk/examples/yinyang_files/moralComplexLearningProblem.xml (rev 0)
+++ trunk/examples/yinyang_files/moralComplexLearningProblem.xml 2007-09-05 09:27:23 UTC (rev 129)
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+
+<LearningProblem
+
+xmlns="http://www.di.uniba.it/learning"
+xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+xsi:schemaLocation="http://www.di.uniba.it/learning/../LearningProblem.xsd"
+
+knowledgeBase="file:../moral_reasoner/moral_43instances_complex.owl"
+positiveExampleSource="moralPositives.txt"
+negativeExampleSource="moralNegatives.txt"
+abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
+learn="true"
+normalize="true"
+consistencyCheck="false"
+reasonerURL ="http://localhost:8081"
+
+
+>
+
+<Experiments/>
+<Namespaces>
+ <Namespace uri="http://localhost/foo#"></Namespace>
+</Namespaces>
+
+</LearningProblem>
Added: trunk/examples/yinyang_files/moralNegatives.txt
===================================================================
--- trunk/examples/yinyang_files/moralNegatives.txt (rev 0)
+++ trunk/examples/yinyang_files/moralNegatives.txt 2007-09-05 09:27:23 UTC (rev 129)
@@ -0,0 +1,20 @@
+http://localhost/foo#n0
+http://localhost/foo#n1
+http://localhost/foo#n2
+http://localhost/foo#n3
+http://localhost/foo#n5
+http://localhost/foo#n6
+http://localhost/foo#n7
+http://localhost/foo#n8
+http://localhost/foo#n9
+http://localhost/foo#n10
+http://localhost/foo#n90
+http://localhost/foo#n91
+http://localhost/foo#n92
+http://localhost/foo#n93
+http://localhost/foo#n94
+http://localhost/foo#n95
+http://localhost/foo#n96
+http://localhost/foo#n97
+http://localhost/foo#n98
+http://localhost/foo#n99
Added: trunk/examples/yinyang_files/moralPositives.txt
===================================================================
--- trunk/examples/yinyang_files/moralPositives.txt (rev 0)
+++ trunk/examples/yinyang_files/moralPositives.txt 2007-09-05 09:27:23 UTC (rev 129)
@@ -0,0 +1,23 @@
+http://localhost/foo#p0
+http://localhost/foo#p1
+http://localhost/foo#p2
+http://localhost/foo#p3
+http://localhost/foo#p4
+http://localhost/foo#p5
+http://localhost/foo#p6
+http://localhost/foo#p7
+http://localhost/foo#p8
+http://localhost/foo#p9
+http://localhost/foo#p10
+http://localhost/foo#p90
+http://localhost/foo#p91
+http://localhost/foo#p92
+http://localhost/foo#p93
+http://localhost/foo#p94
+http://localhost/foo#p95
+http://localhost/foo#p96
+http://localhost/foo#p97
+http://localhost/foo#p98
+http://localhost/foo#p99
+http://localhost/foo#p100
+http://localhost/foo#p101
Added: trunk/examples/yinyang_files/moralSimpleLearningProblem.xml
===================================================================
--- trunk/examples/yinyang_files/moralSimpleLearningProblem.xml (rev 0)
+++ trunk/examples/yinyang_files/moralSimpleLearningProblem.xml 2007-09-05 09:27:23 UTC (rev 129)
@@ -0,0 +1,27 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+
+<LearningProblem
+
+xmlns="http://www.di.uniba.it/learning"
+xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+xsi:schemaLocation="http://www.di.uniba.it/learning/../LearningProblem.xsd"
+
+knowledgeBase="file:../moral_reasoner/moral_43instances.owl"
+positiveExampleSource="moralPositives.txt"
+negativeExampleSource="moralNegatives.txt"
+abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
+learn="true"
+normalize="true"
+consistencyCheck="false"
+reasonerURL ="http://localhost:8081"
+
+
+>
+
+<Experiments/>
+<Namespaces>
+ <Namespace uri="http://localhost/foo#"></Namespace>
+</Namespaces>
+
+</LearningProblem>
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
|
From: <jen...@us...> - 2008-06-06 15:08:43
|
Revision: 947
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=947&view=rev
Author: jenslehmann
Date: 2008-06-06 08:08:05 -0700 (Fri, 06 Jun 2008)
Log Message:
-----------
YinYang benchmark cross validation results
Modified Paths:
--------------
trunk/examples/yinyang_files/forteLearningProblemYinYang.xml
trunk/examples/yinyang_files/fortePositivesYinYang.txt
Added Paths:
-----------
trunk/examples/yinyang_files/forteLearningProblemCV.xml
trunk/examples/yinyang_files/forte_run.txt
trunk/examples/yinyang_files/moralComplexLearningProblemCV.xml
trunk/examples/yinyang_files/moralSimpleLearningProblemCV.xml
trunk/examples/yinyang_files/moral_complex_run.txt
trunk/examples/yinyang_files/moral_simple_run.txt
trunk/examples/yinyang_files/pair_run.txt
trunk/examples/yinyang_files/run_unstable
trunk/examples/yinyang_files/straightLearningProblemCV.xml
trunk/examples/yinyang_files/trainsLearningProblemCV.xml
trunk/examples/yinyang_files/trains_run.txt
Added: trunk/examples/yinyang_files/forteLearningProblemCV.xml
===================================================================
--- trunk/examples/yinyang_files/forteLearningProblemCV.xml (rev 0)
+++ trunk/examples/yinyang_files/forteLearningProblemCV.xml 2008-06-06 15:08:05 UTC (rev 947)
@@ -0,0 +1,31 @@
+<?xml version="1.0" encoding="UTF-8"?>
+
+<LearningProblem
+
+ xmlns="http://www.di.uniba.it/learning"
+ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+ xsi:schemaLocation="http://www.di.uniba.it/learning/ ../LearningProblem.xsd"
+
+ knowledgeBase="file:../forte/forte_family.owl"
+ positiveExampleSource="fortePositivesYinYang.txt"
+ negativeExampleSource="forteNegativesYinYang.txt"
+ abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
+ learn="true"
+ normalize="true"
+ consistencyCheck="true"
+ reasonerURL ="http://localhost:8081" >
+ <Experiments>
+ <kFoldCrossValidation folds="5"
+ reasonerURL="http://localhost:8081"
+ positiveExampleSource="fortePositivesYinYang.txt"
+ negativeExampleSource="forteNegativesYinYang.txt"
+ abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
+ learn="true"
+ normalize="true"
+ consistencyCheck="true" />
+ </Experiments>
+ <Namespaces>
+ <Namespace uri="http://localhost/foo#"></Namespace>
+ </Namespaces>
+
+</LearningProblem>
Modified: trunk/examples/yinyang_files/forteLearningProblemYinYang.xml
===================================================================
--- trunk/examples/yinyang_files/forteLearningProblemYinYang.xml 2008-06-06 10:35:34 UTC (rev 946)
+++ trunk/examples/yinyang_files/forteLearningProblemYinYang.xml 2008-06-06 15:08:05 UTC (rev 947)
@@ -6,7 +6,7 @@
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
xsi:schemaLocation="http://www.di.uniba.it/learning/ ../LearningProblem.xsd"
- knowledgeBase="file:../forte/forte.owl"
+ knowledgeBase="file:../forte/forte_family.owl"
positiveExampleSource="fortePositivesYinYang.txt"
negativeExampleSource="forteNegativesYinYang.txt"
abstractionClass="it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement"
Modified: trunk/examples/yinyang_files/fortePositivesYinYang.txt
===================================================================
--- trunk/examples/yinyang_files/fortePositivesYinYang.txt 2008-06-06 10:35:34 UTC (rev 946)
+++ trunk/examples/yinyang_files/fortePositivesYinYang.txt 2008-06-06 15:08:05 UTC (rev 947)
@@ -17,8 +17,8 @@
http://localhost/foo#melvin
http://localhost/foo#neil
http://localhost/foo#nero
-http://localhost/foo#owen
-http://localhost/foo#paul
+// http://localhost/foo#owen
+// http://localhost/foo#paul
http://localhost/foo#peter
http://localhost/foo#umo
// http://localhost/foo#walt
\ No newline at end of file
Added: trunk/examples/yinyang_files/forte_run.txt
===================================================================
--- trunk/examples/yinyang_files/forte_run.txt (rev 0)
+++ trunk/examples/yinyang_files/forte_run.txt 2008-06-06 15:08:05 UTC (rev 947)
@@ -0,0 +1,1130 @@
+Start create default model: file:../forte/forte_family.owl
+End create default model: file:../forte/forte_family.owl
+Start create ont model: file:../forte/forte_family.owl
+End create ont model: file:../forte/forte_family.owl
+Problems with Individual URI: // auskommentierte Beispiele würden zum Crash von YinYang führen it will be skipped
+Problems with Individual URI: // http://localhost/foo#george it will be skipped
+Problems with Individual URI: // http://localhost/foo#owen it will be skipped
+Problems with Individual URI: // http://localhost/foo#paul it will be skipped
+Problems with Individual URI: // http://localhost/foo#walt it will be skipped
+Problems with Individual URI: // auskommentierte Beispiele würden zum Crash von YinYang führen it will be skipped
+Problems with Individual URI: // http://localhost/foo#bob it will be skipped
+[Fri Jun 06 15:53:59 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 1
+[Fri Jun 06 15:53:59 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:53:59 CEST 2008
+[Fri Jun 06 15:53:59 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:53:59 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:53:59 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:53:59 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:53:59 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:53:59 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.18
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.19
+[Fri Jun 06 15:54:00 CEST 2008]: Finished positives at: Fri Jun 06 15:54:00 CEST 2008 after 1019 millisecs
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:54:00 CEST 2008]: *************************
+[Fri Jun 06 15:54:00 CEST 2008]: Reformulating the problem
+[Fri Jun 06 15:54:00 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
+[Fri Jun 06 15:54:00 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:54:00 CEST 2008
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:54:00 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:54:01 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:54:01 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:54:01 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:54:01 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:54:01 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:54:01 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:54:01 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.18
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.19
+[Fri Jun 06 15:54:02 CEST 2008]: Finished positives at: Fri Jun 06 15:54:02 CEST 2008 after 2126 millisecs
+[Fri Jun 06 15:54:02 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:54:03 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.18
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.19
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.20
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.21
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.22
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.23
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.24
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.25
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.26
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.27
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.28
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.29
+[Fri Jun 06 15:54:04 CEST 2008]: Calculating msc no.30
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.31
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.32
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.33
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.34
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.35
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.36
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.37
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.38
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.39
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.40
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.41
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.42
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.43
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.44
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.45
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.46
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.47
+[Fri Jun 06 15:54:05 CEST 2008]: Calculating msc no.48
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.49
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.50
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.51
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.52
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.53
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.54
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.55
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.56
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.57
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.58
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.59
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.60
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.61
+[Fri Jun 06 15:54:06 CEST 2008]: Calculating msc no.62
+[Fri Jun 06 15:54:06 CEST 2008]: Checking intersection between postives and negatives
+[Fri Jun 06 15:54:06 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:54:06 CEST 2008 after 6208 millisecs
+[Fri Jun 06 15:54:06 CEST 2008]: Learning Problem
+[Fri Jun 06 15:54:06 CEST 2008]: positive size: 19
+[Fri Jun 06 15:54:06 CEST 2008]: negative size: 43
+[Fri Jun 06 15:54:06 CEST 2008]: Start generalization at: Fri Jun 06 15:54:06 CEST 2008
+[Fri Jun 06 15:54:06 CEST 2008]: Before delta covered positives size: 6
+[Fri Jun 06 15:54:07 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:54:07 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
+[Fri Jun 06 15:54:07 CEST 2008]: Ranking Conjuncts....
+[Fri Jun 06 15:54:07 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:54:07 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:54:07 CEST 2008]: Projecting...
+[Fri Jun 06 15:54:07 CEST 2008]: ... Pojection finished
+[Fri Jun 06 15:54:07 CEST 2008]: ...Finished Ranking Conjuncts
+[Fri Jun 06 15:54:07 CEST 2008]: Covering: 12 negatives
+[Fri Jun 06 15:54:07 CEST 2008]: Covering: 19 positives
+[Fri Jun 06 15:54:07 CEST 2008]: Found a possible refinement
+[Fri Jun 06 15:54:07 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.6129032258064516
+[Fri Jun 06 15:54:07 CEST 2008]: Covering: 6 negatives
+[Fri Jun 06 15:54:07 CEST 2008]: Covering: 6 positives
+[Fri Jun 06 15:54:07 CEST 2008]: Generalization obtained: male
+[Fri Jun 06 15:54:07 CEST 2008]: It covers 12 negatives
+[Fri Jun 06 15:54:07 CEST 2008]: It covers 19 positives
+[Fri Jun 06 15:54:07 CEST 2008]: Generalization: male
+[Fri Jun 06 15:54:07 CEST 2008]: *******Specialization called ********
+ [Fri Jun 06 15:54:07 CEST 2008]: Evaluating the possible counterfactual...
+ [Fri Jun 06 15:54:08 CEST 2008]: No worth trying counterfactuals
+ [Fri Jun 06 15:54:08 CEST 2008]: Positive size decreased after counterfactuals of 19 units out of 19
+ [Fri Jun 06 15:54:41 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:41 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:42 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:42 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:43 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:43 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:45 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:45 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:46 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:46 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:48 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:48 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:50 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:50 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:52 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:52 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:54:54 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:54:54 CEST 2008]: Failed in learning lcs substituted
+[Fri Jun 06 15:54:54 CEST 2008]: *******Specialization ended ********
+[Fri Jun 06 15:54:54 CEST 2008]: Residual positives size: 0
+[Fri Jun 06 15:54:54 CEST 2008]: Finished at: Fri Jun 06 15:54:54 CEST 2008 after 47938 millisecs
+Consistency check start
+Consistency check end
+Learnt concept:
+
+(or
+ (and
+ male
+ (some sibling
+ (and
+ female
+ (some sibling
+ *TOP*
+ )
+ (some married
+ male
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ (some parent
+ (and
+ (some sibling
+ male
+ )
+ male
+ )
+ )
+ (some parent
+ (and
+ male
+ (some sibling
+ *TOP*
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ )
+ (and
+ male
+ (all sibling
+ (and
+ (some sibling
+ female
+ )
+ female
+ )
+ )
+ (some sibling
+ (and
+ female
+ (some sibling
+ *TOP*
+ )
+ (some married
+ male
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ (some parent
+ (and
+ (some sibling
+ male
+ )
+ male
+ )
+ )
+ )
+ (and
+ male
+ (some sibling
+ (and
+ female
+ (some sibling
+ *TOP*
+ )
+ (some married
+ male
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ (some parent
+ (and
+ male
+ (some sibling
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ (some parent
+ (and
+ (some sibling
+ *TOP*
+ )
+ female
+ )
+ )
+ )
+ (and
+ male
+ (some parent
+ (and
+ (some sibling
+ female
+ )
+ female
+ )
+ )
+ )
+ (and
+ (some sibling
+ (and
+ male
+ (some sibling
+ *TOP*
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ male
+ )
+ (and
+ male
+ (all sibling
+ (and
+ female
+ (some married
+ male
+ )
+ (some sibling
+ female
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ (some sibling
+ (and
+ female
+ (some sibling
+ *TOP*
+ )
+ (some married
+ male
+ )
+ (some parent
+ female
+ )
+ )
+ )
+ )
+)
+
+Learnt concept size: 6
+Disjunct no.: 1 covers 2 examples
+Empty Coverage for the following disjunct:
+
+(and
+ male
+ (all sibling
+ (and
+ (some sibling
+ female
+ )
+ female
+ )
+ )
+ (some sibling
+ (and
+ female
+ (some sibling
+ *TOP*
+ )
+ (some married
+ male
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ (some parent
+ (and
+ (some sibling
+ male
+ )
+ male
+ )
+ )
+)
+
+Disjunct no.: 2 covers 0 examples
+Disjunct no.: 3 covers 3 examples
+Disjunct no.: 4 covers 7 examples
+Disjunct no.: 5 covers 6 examples
+Empty Coverage for the following disjunct:
+
+(and
+ male
+ (all sibling
+ (and
+ female
+ (some married
+ male
+ )
+ (some sibling
+ female
+ )
+ (some parent
+ female
+ )
+ (some parent
+ male
+ )
+ )
+ )
+ (some sibling
+ (and
+ female
+ (some sibling
+ *TOP*
+ )
+ (some married
+ male
+ )
+ (some parent
+ female
+ )
+ )
+ )
+)
+
+Disjunct no.: 6 covers 0 examples
+Problems with Individual URI: // auskommentierte Beispiele würden zum Crash von YinYang führen it will be skipped
+Problems with Individual URI: // http://localhost/foo#george it will be skipped
+Problems with Individual URI: // http://localhost/foo#owen it will be skipped
+Problems with Individual URI: // http://localhost/foo#paul it will be skipped
+Problems with Individual URI: // http://localhost/foo#walt it will be skipped
+Problems with Individual URI: // auskommentierte Beispiele würden zum Crash von YinYang führen it will be skipped
+Problems with Individual URI: // http://localhost/foo#bob it will be skipped
+[Fri Jun 06 15:55:36 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
+[Fri Jun 06 15:55:36 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:55:36 CEST 2008
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:55:36 CEST 2008]: Finished positives at: Fri Jun 06 15:55:36 CEST 2008 after 1 millisecs
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.18
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.19
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.20
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.21
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.22
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.23
+[Fri Jun 06 15:55:36 CEST 2008]: Calculating msc no.24
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.25
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.26
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.27
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.28
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.29
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.30
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.31
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.32
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.33
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.34
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.35
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.36
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.37
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.38
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.39
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.40
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.41
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.42
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.43
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.44
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.45
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.46
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.47
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.48
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.49
+[Fri Jun 06 15:55:37 CEST 2008]: Calculating msc no.50
+[Fri Jun 06 15:55:37 CEST 2008]: Checking intersection between postives and negatives
+[Fri Jun 06 15:55:37 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:55:37 CEST 2008 after 1205 millisecs
+[Fri Jun 06 15:55:37 CEST 2008]: Learning Problem
+[Fri Jun 06 15:55:37 CEST 2008]: positive size: 15
+[Fri Jun 06 15:55:37 CEST 2008]: negative size: 37
+[Fri Jun 06 15:55:37 CEST 2008]: Start generalization at: Fri Jun 06 15:55:37 CEST 2008
+[Fri Jun 06 15:55:37 CEST 2008]: Before delta covered positives size: 4
+[Fri Jun 06 15:55:37 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:55:37 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+[Fri Jun 06 15:55:37 CEST 2008]: Hypothesis: (and (some sibling (and male (some sibling *TOP* ) (some parent female ) (some parent male ) ) ) male )
+[Fri Jun 06 15:55:37 CEST 2008]: Refining w.r.t Positive: (and male (some sibling (and female (some married male ) (some sibling *TOP* ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some sibling (and (some sibling *TOP* ) male ) ) (some parent (and (some sibling male ) female ) ) (some parent (and male (some sibling *TOP* ) (some sibling male ) ) ) (some parent (and (some sibling *TOP* ) male ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and male (some sibling female ) (some parent male ) ) ) (some parent (and female (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and female (some sibling *TOP* ) (some married male ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and female (some sibling female ) (some sibling male ) ) ) (some parent (and male (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and (some sibling *TOP* ) female ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and male (some sibling female ) (some sibling male ) ) ) (some parent (and female (some married male ) (some sibling *TOP* ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some parent (and male (some sibling *TOP* ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and female (some sibling female ) (some sibling male ) ) ) (some parent (and female (some sibling *TOP* ) (some sibling male ) ) ) (some parent (and (some sibling *TOP* ) male ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and (some sibling female ) female ) ) (some parent (and (some sibling *TOP* ) female ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and female (some sibling female ) (some sibling male ) ) ) (some parent (and male (some parent male ) (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and female (some sibling *TOP* ) (some married male ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Generalization: (and male (some sibling (some parent *TOP* ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:55:38 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+[Fri Jun 06 15:55:38 CEST 2008]: Hypothesis: (and male (some sibling (some parent *TOP* ) ) )
+[Fri Jun 06 15:55:38 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and male (some sibling female ) (some parent male ) ) ) (some parent (and female (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and female (some sibling *TOP* ) (some married male ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:55:39 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and female (some sibling female ) (some sibling male ) ) ) (some parent (and male (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and (some sibling *TOP* ) female ) ) )
+[Fri Jun 06 15:55:39 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and male (some sibling female ) (some sibling male ) ) ) (some parent (and female (some married male ) (some sibling *TOP* ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some parent (and male (some sibling *TOP* ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:55:39 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and female (some sibling female ) (some sibling male ) ) ) (some parent (and female (some sibling *TOP* ) (some sibling male ) ) ) (some parent (and (some sibling *TOP* ) male ) ) )
+[Fri Jun 06 15:55:39 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and (some sibling female ) female ) ) (some parent (and (some sibling *TOP* ) female ) ) )
+[Fri Jun 06 15:55:39 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and female (some sibling female ) (some sibling male ) ) ) (some parent (and male (some parent male ) (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and female (some sibling *TOP* ) (some married male ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:55:39 CEST 2008]: Generalization: (and male (some sibling (some parent *TOP* ) ) )
+[Fri Jun 06 15:55:39 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:55:39 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
+[Fri Jun 06 15:55:40 CEST 2008]: Found a possible refinement: 0.5
+[Fri Jun 06 15:55:40 CEST 2008]: Lenght: 1
+[Fri Jun 06 15:55:40 CEST 2008]: Found a possible refinement: 0.5555555555555556
+[Fri Jun 06 15:55:40 CEST 2008]: Lenght: 1
+[Fri Jun 06 15:55:40 CEST 2008]: Found a possible refinement: 1.0
+[Fri Jun 06 15:55:40 CEST 2008]: Lenght: 2
+[Fri Jun 06 15:55:40 CEST 2008]: Generalization: (and male (some sibling (some parent *TOP* ) ) )
+[Fri Jun 06 15:55:40 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:55:40 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
+[Fri Jun 06 15:55:40 CEST 2008]: Ranking Conjuncts....
+[Fri Jun 06 15:55:40 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:55:40 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:55:41 CEST 2008]: Projecting...
+[Fri Jun 06 15:55:41 CEST 2008]: ... Pojection finished
+[Fri Jun 06 15:55:41 CEST 2008]: ...Finished Ranking Conjuncts
+[Fri Jun 06 15:55:41 CEST 2008]: Covering: 12 negatives
+[Fri Jun 06 15:55:41 CEST 2008]: Covering: 15 positives
+[Fri Jun 06 15:55:41 CEST 2008]: Found a possible refinement
+[Fri Jun 06 15:55:41 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.5555555555555556
+[Fri Jun 06 15:55:41 CEST 2008]: Covering: 9 negatives
+[Fri Jun 06 15:55:41 CEST 2008]: Covering: 9 positives
+[Fri Jun 06 15:55:41 CEST 2008]: Generalization obtained: male
+[Fri Jun 06 15:55:41 CEST 2008]: It covers 12 negatives
+[Fri Jun 06 15:55:41 CEST 2008]: It covers 15 positives
+[Fri Jun 06 15:55:41 CEST 2008]: Generalization: male
+[Fri Jun 06 15:55:41 CEST 2008]: *******Specialization called ********
+ [Fri Jun 06 15:55:41 CEST 2008]: Evaluating the possible counterfactual...
+ [Fri Jun 06 15:55:41 CEST 2008]: No worth trying counterfactuals
+ [Fri Jun 06 15:55:41 CEST 2008]: Positive size decreased after counterfactuals of 15 units out of 15
+ [Fri Jun 06 15:56:00 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:00 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:00 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:00 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:01 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:01 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:03 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:03 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:04 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:04 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:06 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:06 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:07 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:07 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:09 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:09 CEST 2008]: Failed in learning lcs substituted
+[Fri Jun 06 15:56:09 CEST 2008]: *******Specialization ended ********
+[Fri Jun 06 15:56:09 CEST 2008]: Residual positives size: 0
+[Fri Jun 06 15:56:09 CEST 2008]: Finished at: Fri Jun 06 15:56:09 CEST 2008 after 31889 millisecs
+True positive size: 3 out of 4
+True negatives size: 12 out of 12
+[Fri Jun 06 15:56:10 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
+[Fri Jun 06 15:56:10 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:56:10 CEST 2008
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:56:10 CEST 2008]: Finished positives at: Fri Jun 06 15:56:10 CEST 2008 after 2 millisecs
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.18
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.19
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.20
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.21
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.22
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.23
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.24
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.25
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.26
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.27
+[Fri Jun 06 15:56:10 CEST 2008]: Calculating msc no.28
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.29
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.30
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.31
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.32
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.33
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.34
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.35
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.36
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.37
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.38
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.39
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.40
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.41
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.42
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.43
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.44
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.45
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.46
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.47
+[Fri Jun 06 15:56:11 CEST 2008]: Calculating msc no.48
+[Fri Jun 06 15:56:11 CEST 2008]: Checking intersection between postives and negatives
+[Fri Jun 06 15:56:11 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:56:11 CEST 2008 after 1520 millisecs
+[Fri Jun 06 15:56:11 CEST 2008]: Learning Problem
+[Fri Jun 06 15:56:11 CEST 2008]: positive size: 17
+[Fri Jun 06 15:56:11 CEST 2008]: negative size: 35
+[Fri Jun 06 15:56:11 CEST 2008]: Start generalization at: Fri Jun 06 15:56:11 CEST 2008
+[Fri Jun 06 15:56:11 CEST 2008]: Before delta covered positives size: 2
+[Fri Jun 06 15:56:11 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:11 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+[Fri Jun 06 15:56:11 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+[Fri Jun 06 15:56:11 CEST 2008]: Hypothesis: (and male (some sibling (and female (some married male ) (some sibling *TOP* ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some sibling (and male (some sibling *TOP* ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:56:11 CEST 2008]: Refining w.r.t Positive: (and male (some sibling (and female (some married male ) (some sibling *TOP* ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some sibling (and (some sibling *TOP* ) male ) ) (some parent (and (some sibling male ) female ) ) (some parent (and male (some sibling *TOP* ) (some sibling male ) ) ) (some parent (and (some sibling *TOP* ) male ) ) )
+[Fri Jun 06 15:56:12 CEST 2008]: Refining w.r.t Positive: (and male (some sibling (and male (some sibling *TOP* ) (some sibling female ) (some parent female ) (some parent male ) ) ) (some sibling (and female (some married male ) (some sibling *TOP* ) (some sibling female ) (some parent female ) (some parent male ) ) ) (some sibling (and female (some sibling *TOP* ) (some married male ) ) ) (some parent (and female (some married male ) (some sibling female ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some parent (and male (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and female (some sibling *TOP* ) (some married male ) (some parent female ) ) ) )
+[Fri Jun 06 15:56:12 CEST 2008]: Generalization: (and male (some sibling (some parent *TOP* ) ) (some sibling (and (some married *TOP* ) (some sibling *TOP* ) (some parent *TOP* ) ) ) )
+[Fri Jun 06 15:56:12 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:12 CEST 2008]: Picked Generalization: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+[Fri Jun 06 15:56:12 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+[Fri Jun 06 15:56:12 CEST 2008]: Hypothesis: (and male (some sibling (some parent *TOP* ) ) (some sibling (and (some married *TOP* ) (some sibling *TOP* ) (some parent *TOP* ) ) ) )
+[Fri Jun 06 15:56:12 CEST 2008]: Generalization: (and male (some sibling (some parent *TOP* ) ) (some sibling (and (some married *TOP* ) (some sibling *TOP* ) (some parent *TOP* ) ) ) )
+[Fri Jun 06 15:56:12 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:12 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
+[Fri Jun 06 15:56:13 CEST 2008]: Found a possible refinement: 0.75
+[Fri Jun 06 15:56:13 CEST 2008]: Lenght: 1
+[Fri Jun 06 15:56:13 CEST 2008]: Lenght: 1
+[Fri Jun 06 15:56:13 CEST 2008]: Lenght: 1
+[Fri Jun 06 15:56:14 CEST 2008]: Lenght: 2
+[Fri Jun 06 15:56:14 CEST 2008]: Found a possible refinement: 1.0
+[Fri Jun 06 15:56:14 CEST 2008]: Lenght: 2
+[Fri Jun 06 15:56:14 CEST 2008]: Generalization: (and (some sibling (and (some married *TOP* ) (some sibling *TOP* ) (some parent *TOP* ) ) ) male )
+[Fri Jun 06 15:56:14 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:14 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
+[Fri Jun 06 15:56:14 CEST 2008]: Ranking Conjuncts....
+[Fri Jun 06 15:56:14 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:14 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:14 CEST 2008]: Projecting...
+[Fri Jun 06 15:56:14 CEST 2008]: ... Pojection finished
+[Fri Jun 06 15:56:14 CEST 2008]: ...Finished Ranking Conjuncts
+[Fri Jun 06 15:56:14 CEST 2008]: Covering: 9 negatives
+[Fri Jun 06 15:56:14 CEST 2008]: Covering: 17 positives
+[Fri Jun 06 15:56:14 CEST 2008]: Found a possible refinement
+[Fri Jun 06 15:56:14 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.6538461538461539
+[Fri Jun 06 15:56:14 CEST 2008]: Covering: 4 negatives
+[Fri Jun 06 15:56:14 CEST 2008]: Covering: 12 positives
+[Fri Jun 06 15:56:14 CEST 2008]: Found a possible refinement
+[Fri Jun 06 15:56:14 CEST 2008]: Previous heuristic value = 0.6538461538461539 now it is = 0.75
+[Fri Jun 06 15:56:14 CEST 2008]: Generalization obtained: (some sibling (and (some married *TOP* ) (some sibling *TOP* ) (some parent *TOP* ) ) )
+[Fri Jun 06 15:56:14 CEST 2008]: It covers 4 negatives
+[Fri Jun 06 15:56:14 CEST 2008]: It covers 12 positives
+[Fri Jun 06 15:56:14 CEST 2008]: Generalization: (some sibling (and (some married *TOP* ) (some sibling *TOP* ) (some parent *TOP* ) ) )
+[Fri Jun 06 15:56:14 CEST 2008]: *******Specialization called ********
+ [Fri Jun 06 15:56:14 CEST 2008]: Evaluating the possible counterfactual...
+ [Fri Jun 06 15:56:16 CEST 2008]: Before delta covered positives size: 2
+ [Fri Jun 06 15:56:16 CEST 2008]: Starting inner deltas
+ [Fri Jun 06 15:56:16 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+ [Fri Jun 06 15:56:16 CEST 2008]: Hypothesis: (and female (some sibling (and male (some parent male ) (some sibling *TOP* ) (some sibling female ) ) ) (some sibling (and female (some sibling *TOP* ) (some married male ) (some parent female ) (some parent male ) ) ) )
+ [Fri Jun 06 15:56:16 CEST 2008]: Refining w.r.t Positive: (and female (some married (and (some parent female ) male ) ) (some sibling (and female (some married male ) (some sibling *TOP* ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some sibling (and (some sibling *TOP* ) male ) ) (some parent (and (some sibling female ) female ) ) (some parent (and (some sibling *TOP* ) female ) ) )
+ [Fri Jun 06 15:56:17 CEST 2008]: Generalization: (and female (some sibling (and female (some sibling *TOP* ) (some married male ) (some parent female ) (some parent male ) ) ) (some sibling (and (some parent *TOP* ) (some sibling *TOP* ) ) ) )
+ [Fri Jun 06 15:56:17 CEST 2008]: Starting inner deltas
+ [Fri Jun 06 15:56:17 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+ [Fri Jun 06 15:56:17 CEST 2008]: Hypothesis: (and female (some sibling (and female (some sibling *TOP* ) (some married male ) (some parent female ) (some parent male ) ) ) (some sibling (and (some parent *TOP* ) (some sibling *TOP* ) ) ) )
+ [Fri Jun 06 15:56:17 CEST 2008]: Refining w.r.t Positive: (and (some sibling (and female (some sibling *TOP* ) (some married male ) (some parent female ) ) ) (some married (and male (some sibling female ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some parent (and female (some sibling *TOP* ) (some sibling female ) ) ) (some parent (and (some sibling female ) male ) ) (some sibling (and male (some sibling *TOP* ) (some sibling female ) ) ) female )
+ [Fri Jun 06 15:56:17 CEST 2008]: Generalization: (and female (some sibling (and (some parent *TOP* ) (some sibling *TOP* ) ) ) (some sibling (and (some married *TOP* ) (some parent *TOP* ) ) ) )
+ [Fri Jun 06 15:56:17 CEST 2008]: Residual positives size: 0
+[Fri Jun 06 15:56:17 CEST 2008]: *******Specialization ended ********
+[Fri Jun 06 15:56:17 CEST 2008]: Residual positives size: 5
+[Fri Jun 06 15:56:17 CEST 2008]: Before delta covered positives size: 4
+[Fri Jun 06 15:56:17 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:17 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.ClimbTaxonomyDelta
+[Fri Jun 06 15:56:17 CEST 2008]: Hypothesis: (and male (some parent (and (some sibling female ) female ) ) (some parent (and (some sibling *TOP* ) female ) ) )
+[Fri Jun 06 15:56:17 CEST 2008]: Refining w.r.t Positive: (and male (some parent (and male (some sibling female ) (some sibling male ) ) ) (some parent (and female (some married male ) (some sibling *TOP* ) (some sibling male ) (some parent female ) (some parent male ) ) ) (some parent (and male (some sibling *TOP* ) (some parent female ) (some parent male ) ) ) )
+[Fri Jun 06 15:56:17 CEST 2008]: Generalization: (and male (some parent (and (some sibling female ) female ) ) (some parent (and (some sibling *TOP* ) female ) ) )
+[Fri Jun 06 15:56:17 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:17 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
+[Fri Jun 06 15:56:17 CEST 2008]: Ranking Conjuncts....
+[Fri Jun 06 15:56:17 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:17 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:17 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:18 CEST 2008]: Projecting...
+[Fri Jun 06 15:56:18 CEST 2008]: ... Pojection finished
+[Fri Jun 06 15:56:18 CEST 2008]: ...Finished Ranking Conjuncts
+[Fri Jun 06 15:56:18 CEST 2008]: Covering: 0 negatives
+[Fri Jun 06 15:56:18 CEST 2008]: Covering: 4 positives
+[Fri Jun 06 15:56:18 CEST 2008]: Found a possible refinement
+[Fri Jun 06 15:56:18 CEST 2008]: Previous heuristic value = 0.0 now it is = 1.0
+[Fri Jun 06 15:56:18 CEST 2008]: Covering: 3 negatives
+[Fri Jun 06 15:56:18 CEST 2008]: Covering: 5 positives
+[Fri Jun 06 15:56:18 CEST 2008]: Covering: 7 negatives
+[Fri Jun 06 15:56:18 CEST 2008]: Covering: 4 positives
+[Fri Jun 06 15:56:18 CEST 2008]: Generalization obtained: (and male (some parent (and (some sibling female ) female ) ) )
+[Fri Jun 06 15:56:18 CEST 2008]: It covers 0 negatives
+[Fri Jun 06 15:56:18 CEST 2008]: It covers 4 positives
+[Fri Jun 06 15:56:18 CEST 2008]: Generalization: (and male (some parent (and (some sibling female ) female ) ) )
+[Fri Jun 06 15:56:18 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:18 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.TopDownGreedyDelta
+[Fri Jun 06 15:56:18 CEST 2008]: Found a possible refinement: 0.36363636363636365
+[Fri Jun 06 15:56:18 CEST 2008]: Lenght: 1
+[Fri Jun 06 15:56:18 CEST 2008]: Lenght: 1
+[Fri Jun 06 15:56:18 CEST 2008]: Found a possible refinement: 1.0
+[Fri Jun 06 15:56:18 CEST 2008]: Lenght: 2
+[Fri Jun 06 15:56:18 CEST 2008]: Generalization: (and male (some parent (and (some sibling female ) female ) ) )
+[Fri Jun 06 15:56:18 CEST 2008]: Residual positives size: 1
+[Fri Jun 06 15:56:18 CEST 2008]: Before delta covered positives size: 1
+[Fri Jun 06 15:56:19 CEST 2008]: Residual positives size: 0
+[Fri Jun 06 15:56:19 CEST 2008]: Finished at: Fri Jun 06 15:56:19 CEST 2008 after 7487 millisecs
+True positive size: 1 out of 2
+True negatives size: 14 out of 14
+[Fri Jun 06 15:56:19 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
+[Fri Jun 06 15:56:19 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:56:19 CEST 2008
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:56:19 CEST 2008]: Finished positives at: Fri Jun 06 15:56:19 CEST 2008 after 1 millisecs
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.18
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.19
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.20
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.21
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.22
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.23
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.24
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.25
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.26
+[Fri Jun 06 15:56:19 CEST 2008]: Calculating msc no.27
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.28
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.29
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.30
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.31
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.32
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.33
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.34
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.35
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.36
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.37
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.38
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.39
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.40
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.41
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.42
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.43
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.44
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.45
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.46
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.47
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.48
+[Fri Jun 06 15:56:20 CEST 2008]: Calculating msc no.49
+[Fri Jun 06 15:56:20 CEST 2008]: Checking intersection between postives and negatives
+[Fri Jun 06 15:56:20 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:56:20 CEST 2008 after 1315 millisecs
+[Fri Jun 06 15:56:20 CEST 2008]: Learning Problem
+[Fri Jun 06 15:56:20 CEST 2008]: positive size: 16
+[Fri Jun 06 15:56:20 CEST 2008]: negative size: 38
+[Fri Jun 06 15:56:20 CEST 2008]: Start generalization at: Fri Jun 06 15:56:20 CEST 2008
+[Fri Jun 06 15:56:20 CEST 2008]: Before delta covered positives size: 5
+[Fri Jun 06 15:56:20 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:20 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
+[Fri Jun 06 15:56:20 CEST 2008]: Ranking Conjuncts....
+[Fri Jun 06 15:56:20 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:21 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:21 CEST 2008]: Projecting...
+[Fri Jun 06 15:56:21 CEST 2008]: ... Pojection finished
+[Fri Jun 06 15:56:21 CEST 2008]: ...Finished Ranking Conjuncts
+[Fri Jun 06 15:56:21 CEST 2008]: Covering: 10 negatives
+[Fri Jun 06 15:56:21 CEST 2008]: Covering: 16 positives
+[Fri Jun 06 15:56:21 CEST 2008]: Found a possible refinement
+[Fri Jun 06 15:56:21 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.6153846153846154
+[Fri Jun 06 15:56:21 CEST 2008]: Covering: 6 negatives
+[Fri Jun 06 15:56:21 CEST 2008]: Covering: 5 positives
+[Fri Jun 06 15:56:21 CEST 2008]: Generalization obtained: male
+[Fri Jun 06 15:56:21 CEST 2008]: It covers 10 negatives
+[Fri Jun 06 15:56:21 CEST 2008]: It covers 16 positives
+[Fri Jun 06 15:56:21 CEST 2008]: Generalization: male
+[Fri Jun 06 15:56:21 CEST 2008]: *******Specialization called ********
+ [Fri Jun 06 15:56:21 CEST 2008]: Evaluating the possible counterfactual...
+ [Fri Jun 06 15:56:21 CEST 2008]: No worth trying counterfactuals
+ [Fri Jun 06 15:56:21 CEST 2008]: Positive size decreased after counterfactuals of 16 units out of 16
+ [Fri Jun 06 15:56:43 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:43 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:43 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:43 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:44 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:44 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:45 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:45 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:46 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:46 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:47 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:47 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:48 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:48 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:50 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:50 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:56:51 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:56:51 CEST 2008]: Failed in learning lcs substituted
+[Fri Jun 06 15:56:51 CEST 2008]: *******Specialization ended ********
+[Fri Jun 06 15:56:51 CEST 2008]: Residual positives size: 0
+[Fri Jun 06 15:56:51 CEST 2008]: Finished at: Fri Jun 06 15:56:51 CEST 2008 after 31115 millisecs
+True positive size: 2 out of 3
+True negatives size: 13 out of 13
+[Fri Jun 06 15:56:52 CEST 2008]: Abstraction builder used: class it.uniba.di.dl.abstraction.KBoundMSCApproximatorRefinement with k = 2
+[Fri Jun 06 15:56:52 CEST 2008]: Starting msc calculation at: Fri Jun 06 15:56:52 CEST 2008
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:56:52 CEST 2008]: Finished positives at: Fri Jun 06 15:56:52 CEST 2008 after 1 millisecs
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.1
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.2
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.3
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.4
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.5
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.6
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.7
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.8
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.9
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.10
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.11
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.12
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.13
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.14
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.15
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.16
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.17
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.18
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.19
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.20
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.21
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.22
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.23
+[Fri Jun 06 15:56:52 CEST 2008]: Calculating msc no.24
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.25
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.26
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.27
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.28
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.29
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.30
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.31
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.32
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.33
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.34
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.35
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.36
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.37
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.38
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.39
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.40
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.41
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.42
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.43
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.44
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.45
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.46
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.47
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.48
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.49
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.50
+[Fri Jun 06 15:56:53 CEST 2008]: Calculating msc no.51
+[Fri Jun 06 15:56:53 CEST 2008]: Checking intersection between postives and negatives
+[Fri Jun 06 15:56:53 CEST 2008]: Finished msc calculation at: Fri Jun 06 15:56:53 CEST 2008 after 1319 millisecs
+[Fri Jun 06 15:56:53 CEST 2008]: Learning Problem
+[Fri Jun 06 15:56:53 CEST 2008]: positive size: 14
+[Fri Jun 06 15:56:53 CEST 2008]: negative size: 37
+[Fri Jun 06 15:56:53 CEST 2008]: Start generalization at: Fri Jun 06 15:56:53 CEST 2008
+[Fri Jun 06 15:56:53 CEST 2008]: Before delta covered positives size: 5
+[Fri Jun 06 15:56:53 CEST 2008]: Starting inner deltas
+[Fri Jun 06 15:56:53 CEST 2008]: Trying generalizing with: it.uniba.di.dl.yinyang.refinement.DropConjunctDelta
+[Fri Jun 06 15:56:53 CEST 2008]: Ranking Conjuncts....
+[Fri Jun 06 15:56:53 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:54 CEST 2008]: Absent conjunct need to rank it
+[Fri Jun 06 15:56:54 CEST 2008]: Projecting...
+[Fri Jun 06 15:56:54 CEST 2008]: ... Pojection finished
+[Fri Jun 06 15:56:54 CEST 2008]: ...Finished Ranking Conjuncts
+[Fri Jun 06 15:56:54 CEST 2008]: Covering: 11 negatives
+[Fri Jun 06 15:56:54 CEST 2008]: Covering: 14 positives
+[Fri Jun 06 15:56:54 CEST 2008]: Found a possible refinement
+[Fri Jun 06 15:56:54 CEST 2008]: Previous heuristic value = 0.0 now it is = 0.56
+[Fri Jun 06 15:56:54 CEST 2008]: Covering: 5 negatives
+[Fri Jun 06 15:56:54 CEST 2008]: Covering: 5 positives
+[Fri Jun 06 15:56:54 CEST 2008]: Generalization obtained: male
+[Fri Jun 06 15:56:54 CEST 2008]: It covers 11 negatives
+[Fri Jun 06 15:56:54 CEST 2008]: It covers 14 positives
+[Fri Jun 06 15:56:54 CEST 2008]: Generalization: male
+[Fri Jun 06 15:56:54 CEST 2008]: *******Specialization called ********
+ [Fri Jun 06 15:56:54 CEST 2008]: Evaluating the possible counterfactual...
+ [Fri Jun 06 15:56:54 CEST 2008]: No worth trying counterfactuals
+ [Fri Jun 06 15:56:54 CEST 2008]: Positive size decreased after counterfactuals of 14 units out of 14
+ [Fri Jun 06 15:57:14 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:14 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:57:14 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:14 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:57:15 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:15 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:57:16 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:16 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:57:17 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:17 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:57:18 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:18 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:57:19 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:19 CEST 2008]: Failed in learning lcs substituted
+ [Fri Jun 06 15:57:21 CEST 2008]: Non solvable problem
+ [Fri Jun 06 15:57:21 CEST 2008]: Failed in learning lcs substituted
+[Fri Jun 06 15:57:21 CEST 2008]: *******Specialization ended ********
+[Fri Jun 06 15:57:21 CEST 2008]: Residual positives size: 0
+[Fri Jun 06 15:57:21 CEST 2008]: Finished at: Fri Jun 06 15:57:21 CEST...
[truncated message content] |
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X