From: <jen...@us...> - 2012-01-06 11:37:34
|
Revision: 3538 http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3538&view=rev Author: jenslehmann Date: 2012-01-06 11:37:27 +0000 (Fri, 06 Jan 2012) Log Message: ----------- included ELTL (disjunctive or normal) configurations for all family benchmark examples Modified Paths: -------------- trunk/test/family-benchmark/Aunt.conf trunk/test/family-benchmark/Brother.conf trunk/test/family-benchmark/Cousin.conf trunk/test/family-benchmark/Daughter.conf trunk/test/family-benchmark/Father.conf trunk/test/family-benchmark/Granddaughter.conf trunk/test/family-benchmark/Grandfather.conf trunk/test/family-benchmark/Grandgranddaughter.conf trunk/test/family-benchmark/Grandgrandfather.conf trunk/test/family-benchmark/Grandgrandmother.conf trunk/test/family-benchmark/Grandgrandson.conf trunk/test/family-benchmark/Grandmother.conf trunk/test/family-benchmark/Grandson.conf trunk/test/family-benchmark/Mother.conf trunk/test/family-benchmark/PersonWithASibling.conf trunk/test/family-benchmark/Sister.conf trunk/test/family-benchmark/Son.conf trunk/test/family-benchmark/Uncle.conf Removed Paths: ------------- trunk/test/family-benchmark/Female.conf trunk/test/family-benchmark/Male.conf Modified: trunk/test/family-benchmark/Aunt.conf =================================================================== --- trunk/test/family-benchmark/Aunt.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Aunt.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -25,6 +25,9 @@ // OCEL configuration alg.type = "ocel" +// Disjunctive ELTL +// alg.type = "deltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Brother.conf =================================================================== --- trunk/test/family-benchmark/Brother.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Brother.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -10,10 +10,18 @@ reasoner.type = "fast instance checker" reasoner.sources = { ks } -// create learning algorithm to run +// CELOE +/* alg.type = "celoe" alg.terminateOnNoiseReached = true +*/ +// OCEL +alg.type = "ocel" + +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Cousin.conf =================================================================== --- trunk/test/family-benchmark/Cousin.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Cousin.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -25,6 +25,10 @@ alg.type = "ocel" +// Disjunctive ELTL +// alg.type = "deltl" +// alg.tryFullCoverage = true + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Daughter.conf =================================================================== --- trunk/test/family-benchmark/Daughter.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Daughter.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Father.conf =================================================================== --- trunk/test/family-benchmark/Father.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Father.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Deleted: trunk/test/family-benchmark/Female.conf =================================================================== --- trunk/test/family-benchmark/Female.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Female.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -1,223 +0,0 @@ -// declare some prefixes to use as abbreviations -prefixes = [ ("ex","http://www.benchmark.org/family#") ] - -// knowledge source definition -ks.type = "OWL File" -ks.fileName = "family-benchmark.owl" - -// reasoner -reasoner.type = "fast instance checker" -reasoner.sources = { ks } - -// CELOE -/* -alg.type = "celoe" -alg.terminateOnNoiseReached = true -*/ - -// OCEL -alg.type = "ocel" - -// learning problem -lp.type = "posNegStandard" -lp.positiveExamples = { -"ex:F1F5" -,"ex:F1F7" -,"ex:F1F3" -,"ex:F1F2" -,"ex:F2F14" -,"ex:F2F17" -,"ex:F2F15" -,"ex:F2F12" -,"ex:F2F24" -,"ex:F2F22" -,"ex:F2F19" -,"ex:F2F26" -,"ex:F2F33" -,"ex:F2F30" -,"ex:F2F28" -,"ex:F2F38" -,"ex:F2F36" -,"ex:F2F10" -,"ex:F3F49" -,"ex:F3F52" -,"ex:F3F48" -,"ex:F3F46" -,"ex:F3F53" -,"ex:F3F42" -,"ex:F3F41" -,"ex:F4F58" -,"ex:F4F56" -,"ex:F4F55" -,"ex:F5F62" -,"ex:F5F67" -,"ex:F5F65" -,"ex:F5F61" -,"ex:F6F76" -,"ex:F6F74" -,"ex:F6F72" -,"ex:F6F79" -,"ex:F6F83" -,"ex:F6F82" -,"ex:F6F77" -,"ex:F6F86" -,"ex:F6F89" -,"ex:F6F87" -,"ex:F6F91" -,"ex:F6F84" -,"ex:F6F96" -,"ex:F6F97" -,"ex:F6F94" -,"ex:F6F101" -,"ex:F6F93" -,"ex:F6F70" -,"ex:F7F111" -,"ex:F7F108" -,"ex:F7F114" -,"ex:F7F106" -,"ex:F7F118" -,"ex:F7F116" -,"ex:F7F119" -,"ex:F7F126" -,"ex:F7F129" -,"ex:F7F127" -,"ex:F7F124" -,"ex:F7F121" -,"ex:F7F105" -,"ex:F7F103" -,"ex:F8F137" -,"ex:F8F135" -,"ex:F8F133" -,"ex:F9F145" -,"ex:F9F148" -,"ex:F9F150" -,"ex:F9F143" -,"ex:F9F152" -,"ex:F9F156" -,"ex:F9F154" -,"ex:F9F141" -,"ex:F9F160" -,"ex:F9F164" -,"ex:F9F163" -,"ex:F9F158" -,"ex:F9F169" -,"ex:F9F168" -,"ex:F9F140" -,"ex:F10F175" -,"ex:F10F177" -,"ex:F10F174" -,"ex:F10F179" -,"ex:F10F185" -,"ex:F10F181" -,"ex:F10F191" -,"ex:F10F189" -,"ex:F10F192" -,"ex:F10F193" -,"ex:F10F186" -,"ex:F10F200" -,"ex:F10F201" -,"ex:F10F198" -,"ex:F10F195" -,"ex:F10F172" -} - -lp.negativeExamples = { -"ex:F10M183" -,"ex:F3M43" -,"ex:F10M199" -,"ex:F2M16" -,"ex:F7M110" -,"ex:F4M54" -,"ex:F7M113" -,"ex:F7M107" -,"ex:F9M146" -,"ex:F2M20" -,"ex:F8M136" -,"ex:F6M75" -,"ex:F10M190" -,"ex:F9M157" -,"ex:F2M25" -,"ex:F1M8" -,"ex:F6M92" -,"ex:F3M47" -,"ex:F2M18" -,"ex:F5M64" -,"ex:F9M155" -,"ex:F8M138" -,"ex:F7M130" -,"ex:F9M170" -,"ex:F10M188" -,"ex:F3M45" -,"ex:F6M78" -,"ex:F7M102" -,"ex:F7M120" -,"ex:F10M180" -,"ex:F5M66" -,"ex:F3M50" -,"ex:F8M134" -,"ex:F5M60" -,"ex:F10M182" -,"ex:F7M122" -,"ex:F6M69" -,"ex:F2M21" -,"ex:F1M1" -,"ex:F6M81" -,"ex:F9M162" -,"ex:F6M71" -,"ex:F1M4" -,"ex:F10M176" -,"ex:F2M23" -,"ex:F10M171" -,"ex:F9M159" -,"ex:F4M59" -,"ex:F9M153" -,"ex:F9M167" -,"ex:F7M123" -,"ex:F2M32" -,"ex:F7M112" -,"ex:F7M125" -,"ex:F2M13" -,"ex:F9M147" -,"ex:F7M115" -,"ex:F7M128" -,"ex:F2M37" -,"ex:F10M194" -,"ex:F3M44" -,"ex:F2M29" -,"ex:F5M68" -,"ex:F6M90" -,"ex:F1M6" -,"ex:F2M9" -,"ex:F3M51" -,"ex:F10M196" -,"ex:F10M178" -,"ex:F9M139" -,"ex:F7M104" -,"ex:F9M149" -,"ex:F2M34" -,"ex:F10M173" -,"ex:F8M132" -,"ex:F7M131" -,"ex:F2M11" -,"ex:F6M85" -,"ex:F6M88" -,"ex:F10M184" -,"ex:F2M31" -,"ex:F2M27" -,"ex:F5M63" -,"ex:F10M187" -,"ex:F9M161" -,"ex:F10M202" -,"ex:F7M109" -,"ex:F4M57" -,"ex:F2M39" -,"ex:F10M197" -,"ex:F9M165" -,"ex:F7M117" -,"ex:F6M80" -,"ex:F9M142" -,"ex:F6M73" -,"ex:F6M100" -,"ex:F6M95" -,"ex:F6M98" -} \ No newline at end of file Modified: trunk/test/family-benchmark/Granddaughter.conf =================================================================== --- trunk/test/family-benchmark/Granddaughter.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Granddaughter.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Grandfather.conf =================================================================== --- trunk/test/family-benchmark/Grandfather.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Grandfather.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Grandgranddaughter.conf =================================================================== --- trunk/test/family-benchmark/Grandgranddaughter.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Grandgranddaughter.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Grandgrandfather.conf =================================================================== --- trunk/test/family-benchmark/Grandgrandfather.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Grandgrandfather.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Grandgrandmother.conf =================================================================== --- trunk/test/family-benchmark/Grandgrandmother.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Grandgrandmother.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Grandgrandson.conf =================================================================== --- trunk/test/family-benchmark/Grandgrandson.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Grandgrandson.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Grandmother.conf =================================================================== --- trunk/test/family-benchmark/Grandmother.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Grandmother.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Modified: trunk/test/family-benchmark/Grandson.conf =================================================================== --- trunk/test/family-benchmark/Grandson.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Grandson.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { Deleted: trunk/test/family-benchmark/Male.conf =================================================================== --- trunk/test/family-benchmark/Male.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Male.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -1,228 +0,0 @@ -// declare some prefixes to use as abbreviations -prefixes = [ ("ex","http://www.benchmark.org/family#") ] - -// knowledge source definition -ks.type = "OWL File" -ks.fileName = "family-benchmark.owl" - -// reasoner -reasoner.type = "fast instance checker" -reasoner.sources = { ks } - -// CELOE -/* -alg.type = "celoe" -alg.terminateOnNoiseReached = true -*/ - -// OCEL -alg.type = "ocel" - -// learning problem -lp.type = "posNegStandard" -lp.positiveExamples = { "ex:F1M6" -,"ex:F1M8" -,"ex:F1M4" -,"ex:F1M1" -,"ex:F2M13" -,"ex:F2M18" -,"ex:F2M16" -,"ex:F2M11" -,"ex:F2M25" -,"ex:F2M23" -,"ex:F2M21" -,"ex:F2M20" -,"ex:F2M27" -,"ex:F2M32" -,"ex:F2M35" -,"ex:F2M34" -,"ex:F2M31" -,"ex:F2M29" -,"ex:F2M39" -,"ex:F2M37" -,"ex:F2M9" -,"ex:F3M44" -,"ex:F3M51" -,"ex:F3M50" -,"ex:F3M47" -,"ex:F3M45" -,"ex:F3M43" -,"ex:F3M40" -,"ex:F4M59" -,"ex:F4M57" -,"ex:F4M54" -,"ex:F5M63" -,"ex:F5M68" -,"ex:F5M66" -,"ex:F5M64" -,"ex:F5M60" -,"ex:F6M75" -,"ex:F6M73" -,"ex:F6M71" -,"ex:F6M80" -,"ex:F6M81" -,"ex:F6M78" -,"ex:F6M88" -,"ex:F6M90" -,"ex:F6M85" -,"ex:F6M99" -,"ex:F6M98" -,"ex:F6M95" -,"ex:F6M100" -,"ex:F6M92" -,"ex:F6M69" -,"ex:F7M112" -,"ex:F7M110" -,"ex:F7M109" -,"ex:F7M113" -,"ex:F7M107" -,"ex:F7M117" -,"ex:F7M115" -,"ex:F7M120" -,"ex:F7M125" -,"ex:F7M130" -,"ex:F7M128" -,"ex:F7M123" -,"ex:F7M131" -,"ex:F7M122" -,"ex:F7M104" -,"ex:F7M102" -,"ex:F8M138" -,"ex:F8M136" -,"ex:F8M134" -,"ex:F8M132" -,"ex:F9M147" -,"ex:F9M146" -,"ex:F9M149" -,"ex:F9M144" -,"ex:F9M151" -,"ex:F9M155" -,"ex:F9M153" -,"ex:F9M142" -,"ex:F9M161" -,"ex:F9M159" -,"ex:F9M165" -,"ex:F9M166" -,"ex:F9M162" -,"ex:F9M157" -,"ex:F9M170" -,"ex:F9M167" -,"ex:F9M139" -,"ex:F10M176" -,"ex:F10M178" -,"ex:F10M173" -,"ex:F10M180" -,"ex:F10M183" -,"ex:F10M184" -,"ex:F10M182" -,"ex:F10M190" -,"ex:F10M188" -,"ex:F10M194" -,"ex:F10M187" -,"ex:F10M199" -,"ex:F10M202" -,"ex:F10M197" -,"ex:F10M196" -,"ex:F10M171" -} - -lp.negativeExamples = { -"ex:F1F5" -,"ex:F1F7" -,"ex:F1F3" -,"ex:F1F2" -,"ex:F2F14" -,"ex:F2F17" -,"ex:F2F15" -,"ex:F2F12" -,"ex:F2F24" -,"ex:F2F22" -,"ex:F2F19" -,"ex:F2F26" -,"ex:F2F33" -,"ex:F2F30" -,"ex:F2F28" -,"ex:F2F38" -,"ex:F2F36" -,"ex:F2F10" -,"ex:F3F49" -,"ex:F3F52" -,"ex:F3F48" -,"ex:F3F46" -,"ex:F3F53" -,"ex:F3F42" -,"ex:F3F41" -,"ex:F4F58" -,"ex:F4F56" -,"ex:F4F55" -,"ex:F5F62" -,"ex:F5F67" -,"ex:F5F65" -,"ex:F5F61" -,"ex:F6F76" -,"ex:F6F74" -,"ex:F6F72" -,"ex:F6F79" -,"ex:F6F83" -,"ex:F6F82" -,"ex:F6F77" -,"ex:F6F86" -,"ex:F6F89" -,"ex:F6F87" -,"ex:F6F91" -,"ex:F6F84" -,"ex:F6F96" -,"ex:F6F97" -,"ex:F6F94" -,"ex:F6F101" -,"ex:F6F93" -,"ex:F6F70" -,"ex:F7F111" -,"ex:F7F108" -,"ex:F7F114" -,"ex:F7F106" -,"ex:F7F118" -,"ex:F7F116" -,"ex:F7F119" -,"ex:F7F126" -,"ex:F7F129" -,"ex:F7F127" -,"ex:F7F124" -,"ex:F7F121" -,"ex:F7F105" -,"ex:F7F103" -,"ex:F8F137" -,"ex:F8F135" -,"ex:F8F133" -,"ex:F9F145" -,"ex:F9F148" -,"ex:F9F150" -,"ex:F9F143" -,"ex:F9F152" -,"ex:F9F156" -,"ex:F9F154" -,"ex:F9F141" -,"ex:F9F160" -,"ex:F9F164" -,"ex:F9F163" -,"ex:F9F158" -,"ex:F9F169" -,"ex:F9F168" -,"ex:F9F140" -,"ex:F10F175" -,"ex:F10F177" -,"ex:F10F174" -,"ex:F10F179" -,"ex:F10F185" -,"ex:F10F181" -,"ex:F10F191" -,"ex:F10F189" -,"ex:F10F192" -,"ex:F10F193" -,"ex:F10F186" -,"ex:F10F200" -,"ex:F10F201" -,"ex:F10F198" -,"ex:F10F195" -,"ex:F10F172" -} \ No newline at end of file Modified: trunk/test/family-benchmark/Mother.conf =================================================================== --- trunk/test/family-benchmark/Mother.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Mother.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { "ex:F1F3" Modified: trunk/test/family-benchmark/PersonWithASibling.conf =================================================================== --- trunk/test/family-benchmark/PersonWithASibling.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/PersonWithASibling.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { "ex:F1F5" Modified: trunk/test/family-benchmark/Sister.conf =================================================================== --- trunk/test/family-benchmark/Sister.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Sister.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { "ex:F1F5" Modified: trunk/test/family-benchmark/Son.conf =================================================================== --- trunk/test/family-benchmark/Son.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Son.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -18,6 +18,9 @@ // OCEL alg.type = "ocel" +// ELTL +// alg.type = "eltl" + // learning problem lp.type = "posNegStandard" lp.positiveExamples = { "ex:F2M13" Modified: trunk/test/family-benchmark/Uncle.conf =================================================================== --- trunk/test/family-benchmark/Uncle.conf 2012-01-06 10:56:39 UTC (rev 3537) +++ trunk/test/family-benchmark/Uncle.conf 2012-01-06 11:37:27 UTC (rev 3538) @@ -14,17 +14,19 @@ // op.useAllConstructor = false // CELOE cofiguration +/* h.type ="celoe_heuristic" h.expansionPenaltyFactor = 0.02 alg.type = "celoe" alg.maxExecutionTimeInSeconds = 200 alg.terminateOnNoiseReached = true +*/ // OCEL configuration -// alg.type = "ocel" +alg.type = "ocel" -// alg.writeSearchTree = true -// alg.replaceSearchTree = true +// Disjunctive ELTL +// alg.type = "deltl" // learning problem lp.type = "posNegStandard" This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |