[DL-Learner SVN] SF.net SVN: dl-learner:[3540] trunk

[<jen...@us...>]

Revision: 3540
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3540&view=rev
Author:   jenslehmann
Date:     2012-01-06 12:08:06 +0000 (Fri, 06 Jan 2012)
Log Message:
-----------
family benchmark now fully transfered to new system

Added Paths:
-----------
    trunk/examples/family-benchmark/
    trunk/examples/family-benchmark/Aunt.conf
    trunk/examples/family-benchmark/Brother.conf
    trunk/examples/family-benchmark/Cousin.conf
    trunk/examples/family-benchmark/Daughter.conf
    trunk/examples/family-benchmark/Father.conf
    trunk/examples/family-benchmark/Granddaughter.conf
    trunk/examples/family-benchmark/Grandfather.conf
    trunk/examples/family-benchmark/Grandgranddaughter.conf
    trunk/examples/family-benchmark/Grandgrandfather.conf
    trunk/examples/family-benchmark/Grandgrandmother.conf
    trunk/examples/family-benchmark/Grandgrandson.conf
    trunk/examples/family-benchmark/Grandmother.conf
    trunk/examples/family-benchmark/Grandson.conf
    trunk/examples/family-benchmark/Mother.conf
    trunk/examples/family-benchmark/PersonWithASibling.conf
    trunk/examples/family-benchmark/Sister.conf
    trunk/examples/family-benchmark/Son.conf
    trunk/examples/family-benchmark/Uncle.conf

Removed Paths:
-------------
    trunk/examples/family-benchmark/Aunt.conf
    trunk/examples/family-benchmark/Brother.conf
    trunk/examples/family-benchmark/Cousin.conf
    trunk/examples/family-benchmark/Daughter.conf
    trunk/examples/family-benchmark/Father.conf
    trunk/examples/family-benchmark/Female.conf
    trunk/examples/family-benchmark/Granddaughter.conf
    trunk/examples/family-benchmark/Grandfather.conf
    trunk/examples/family-benchmark/Grandgranddaughter.conf
    trunk/examples/family-benchmark/Grandgrandfather.conf
    trunk/examples/family-benchmark/Grandgrandmother.conf
    trunk/examples/family-benchmark/Grandgrandson.conf
    trunk/examples/family-benchmark/Grandmother.conf
    trunk/examples/family-benchmark/Grandson.conf
    trunk/examples/family-benchmark/Male.conf
    trunk/examples/family-benchmark/Mother.conf
    trunk/examples/family-benchmark/PersonWithASibling.conf
    trunk/examples/family-benchmark/Sister.conf
    trunk/examples/family-benchmark/Son.conf
    trunk/examples/family-benchmark/Uncle.conf
    trunk/test/family-benchmark/

Deleted: trunk/examples/family-benchmark/Aunt.conf
===================================================================
--- trunk/test/family-benchmark/Aunt.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Aunt.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,115 +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 }
-
-// learning problem
-lp.type = "posNegStandard"
-lp.positiveExamples = { 
-"ex:F2F14", 
-"ex:F2F12",
-"ex:F2F19",
-"ex:F2F26",
-"ex:F2F28",
-"ex:F2F36",
-"ex:F3F52",
-"ex:F3F53",
-"ex:F5F62"
-,"ex:F6F72"
-,"ex:F6F79"
-,"ex:F6F77"
-,"ex:F6F86"
-,"ex:F6F91"
-,"ex:F6F84"
-,"ex:F6F96"
-,"ex:F6F101"
-,"ex:F6F93"
-,"ex:F7F114"
-,"ex:F7F106"
-,"ex:F7F116"
-,"ex:F7F119"
-,"ex:F7F126"
-,"ex:F7F121"
-,"ex:F9F148"
-,"ex:F9F150"
-,"ex:F9F143"
-,"ex:F9F152"
-,"ex:F9F154"
-,"ex:F9F141"
-,"ex:F9F160"
-,"ex:F9F163"
-,"ex:F9F158"
-,"ex:F9F168"
-,"ex:F10F174"
-,"ex:F10F179"
-,"ex:F10F181"
-,"ex:F10F192"
-,"ex:F10F193"
-,"ex:F10F186"
-,"ex:F10F195"
-}
-
-lp.negativeExamples = {
-"ex:F6M99"
-,"ex:F10F200"
-,"ex:F9F156"
-,"ex:F6M69"
-,"ex:F2F15"
-,"ex:F6M100"
-,"ex:F8F133"
-,"ex:F3F48"
-,"ex:F2F30"
-,"ex:F4F55"
-,"ex:F6F74"
-,"ex:F10M199"
-,"ex:F7M104"
-,"ex:F9M146"
-,"ex:F6M71"
-,"ex:F2F22"
-,"ex:F2M13"
-,"ex:F9F169"
-,"ex:F5F65"
-,"ex:F6M81"
-,"ex:F7M131"
-,"ex:F7F129"
-,"ex:F7M107"
-,"ex:F10F189"
-,"ex:F8F135"
-,"ex:F8M136"
-,"ex:F10M188"
-,"ex:F9F164"
-,"ex:F7F118"
-,"ex:F2F10"
-,"ex:F6F97"
-,"ex:F7F111"
-,"ex:F9M151"
-,"ex:F4M59"
-,"ex:F2M37"
-,"ex:F1M1"
-,"ex:F9M142"
-,"ex:F4M57"
-,"ex:F9M170"
-,"ex:F5M66"
-,"ex:F9F145"
-}
-
-op.type = "rho"
-op.useAllConstructor = false
-op.useCardinalityRestrictions = false
-
-// create learning algorithm to run
-alg.type = "celoe"
-alg.operator = op
-alg.maxExecutionTimeInSecondsAfterImprovement = 200
-
-
-
-
-

Copied: trunk/examples/family-benchmark/Aunt.conf (from rev 3538, trunk/test/family-benchmark/Aunt.conf)
===================================================================
--- trunk/examples/family-benchmark/Aunt.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Aunt.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,123 @@
+
+// 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 }
+
+op.type = "rho"
+op.useCardinalityRestrictions = 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"
+
+// Disjunctive ELTL
+// alg.type = "deltl"
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F2F14", 
+"ex:F2F12",
+"ex:F2F19",
+"ex:F2F26",
+"ex:F2F28",
+"ex:F2F36",
+"ex:F3F52",
+"ex:F3F53",
+"ex:F5F62"
+,"ex:F6F72"
+,"ex:F6F79"
+,"ex:F6F77"
+,"ex:F6F86"
+,"ex:F6F91"
+,"ex:F6F84"
+,"ex:F6F96"
+,"ex:F6F101"
+,"ex:F6F93"
+,"ex:F7F114"
+,"ex:F7F106"
+,"ex:F7F116"
+,"ex:F7F119"
+,"ex:F7F126"
+,"ex:F7F121"
+,"ex:F9F148"
+,"ex:F9F150"
+,"ex:F9F143"
+,"ex:F9F152"
+,"ex:F9F154"
+,"ex:F9F141"
+,"ex:F9F160"
+,"ex:F9F163"
+,"ex:F9F158"
+,"ex:F9F168"
+,"ex:F10F174"
+,"ex:F10F179"
+,"ex:F10F181"
+,"ex:F10F192"
+,"ex:F10F193"
+,"ex:F10F186"
+,"ex:F10F195"
+}
+
+lp.negativeExamples = {
+"ex:F6M99"
+,"ex:F10F200"
+,"ex:F9F156"
+,"ex:F6M69"
+,"ex:F2F15"
+,"ex:F6M100"
+,"ex:F8F133"
+,"ex:F3F48"
+,"ex:F2F30"
+,"ex:F4F55"
+,"ex:F6F74"
+,"ex:F10M199"
+,"ex:F7M104"
+,"ex:F9M146"
+,"ex:F6M71"
+,"ex:F2F22"
+,"ex:F2M13"
+,"ex:F9F169"
+,"ex:F5F65"
+,"ex:F6M81"
+,"ex:F7M131"
+,"ex:F7F129"
+,"ex:F7M107"
+,"ex:F10F189"
+,"ex:F8F135"
+,"ex:F8M136"
+,"ex:F10M188"
+,"ex:F9F164"
+,"ex:F7F118"
+,"ex:F2F10"
+,"ex:F6F97"
+,"ex:F7F111"
+,"ex:F9M151"
+,"ex:F4M59"
+,"ex:F2M37"
+,"ex:F1M1"
+,"ex:F9M142"
+,"ex:F4M57"
+,"ex:F9M170"
+,"ex:F5M66"
+,"ex:F9F145"
+}
+
+
+
+

Deleted: trunk/examples/family-benchmark/Brother.conf
===================================================================
--- trunk/test/family-benchmark/Brother.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Brother.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,64 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F2M13"
-+"http://www.benchmark.org/family#F2M18"
-+"http://www.benchmark.org/family#F2M11"
-+"http://www.benchmark.org/family#F2M32"
-+"http://www.benchmark.org/family#F3M44"
-+"http://www.benchmark.org/family#F3M45"
-+"http://www.benchmark.org/family#F5M64"
-+"http://www.benchmark.org/family#F6M71"
-+"http://www.benchmark.org/family#F6M81"
-+"http://www.benchmark.org/family#F6M90"
-+"http://www.benchmark.org/family#F6M100"
-+"http://www.benchmark.org/family#F6M92"
-+"http://www.benchmark.org/family#F7M113"
-+"http://www.benchmark.org/family#F7M117"
-+"http://www.benchmark.org/family#F7M115"
-+"http://www.benchmark.org/family#F7M125"
-+"http://www.benchmark.org/family#F7M123"
-+"http://www.benchmark.org/family#F7M131"
-+"http://www.benchmark.org/family#F9M151"
-+"http://www.benchmark.org/family#F9M153"
-+"http://www.benchmark.org/family#F9M159"
-+"http://www.benchmark.org/family#F9M166"
-+"http://www.benchmark.org/family#F9M162"
-+"http://www.benchmark.org/family#F9M157"
-+"http://www.benchmark.org/family#F9M167"
-+"http://www.benchmark.org/family#F10M173"
-+"http://www.benchmark.org/family#F10M183"
-+"http://www.benchmark.org/family#F10M184"
-+"http://www.benchmark.org/family#F10M188"
-+"http://www.benchmark.org/family#F10M199"
-
--"http://www.benchmark.org/family#F10M196"
--"http://www.benchmark.org/family#F1M8"
--"http://www.benchmark.org/family#F7F103"
--"http://www.benchmark.org/family#F3F41"
--"http://www.benchmark.org/family#F1M1"
--"http://www.benchmark.org/family#F9F164"
--"http://www.benchmark.org/family#F9M149"
--"http://www.benchmark.org/family#F9M147"
--"http://www.benchmark.org/family#F9F158"
--"http://www.benchmark.org/family#F2F12"
--"http://www.benchmark.org/family#F1F5"
--"http://www.benchmark.org/family#F6M88"
--"http://www.benchmark.org/family#F7M104"
--"http://www.benchmark.org/family#F7M109"
--"http://www.benchmark.org/family#F7M120"
--"http://www.benchmark.org/family#F6F83"
--"http://www.benchmark.org/family#F6M78"
--"http://www.benchmark.org/family#F3M47"
--"http://www.benchmark.org/family#F10F174"
--"http://www.benchmark.org/family#F6F76"
--"http://www.benchmark.org/family#F2F26"
--"http://www.benchmark.org/family#F6F89"
--"http://www.benchmark.org/family#F3M50"
--"http://www.benchmark.org/family#F3F42"
--"http://www.benchmark.org/family#F6F79"
--"http://www.benchmark.org/family#F10M194"
--"http://www.benchmark.org/family#F2F19"
--"http://www.benchmark.org/family#F2F24"
--"http://www.benchmark.org/family#F9F154"
--"http://www.benchmark.org/family#F4F58"

Copied: trunk/examples/family-benchmark/Brother.conf (from rev 3538, trunk/test/family-benchmark/Brother.conf)
===================================================================
--- trunk/examples/family-benchmark/Brother.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Brother.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,91 @@
+
+// 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"
+
+// ELTL
+// alg.type = "eltl"
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F2M13"
+,"ex:F2M18"
+,"ex:F2M11"
+,"ex:F2M32"
+,"ex:F3M44"
+,"ex:F3M45"
+,"ex:F5M64"
+,"ex:F6M71"
+,"ex:F6M81"
+,"ex:F6M90"
+,"ex:F6M100"
+,"ex:F6M92"
+,"ex:F7M113"
+,"ex:F7M117"
+,"ex:F7M115"
+,"ex:F7M125"
+,"ex:F7M123"
+,"ex:F7M131"
+,"ex:F9M151"
+,"ex:F9M153"
+,"ex:F9M159"
+,"ex:F9M166"
+,"ex:F9M162"
+,"ex:F9M157"
+,"ex:F9M167"
+,"ex:F10M173"
+,"ex:F10M183"
+,"ex:F10M184"
+,"ex:F10M188"
+,"ex:F10M199"
+}
+
+lp.negativeExamples = {
+"ex:F10M196"
+,"ex:F1M8"
+,"ex:F7F103"
+,"ex:F3F41"
+,"ex:F1M1"
+,"ex:F9F164"
+,"ex:F9M149"
+,"ex:F9M147"
+,"ex:F9F158"
+,"ex:F2F12"
+,"ex:F1F5"
+,"ex:F6M88"
+,"ex:F7M104"
+,"ex:F7M109"
+,"ex:F7M120"
+,"ex:F6F83"
+,"ex:F6M78"
+,"ex:F3M47"
+,"ex:F10F174"
+,"ex:F6F76"
+,"ex:F2F26"
+,"ex:F6F89"
+,"ex:F3M50"
+,"ex:F3F42"
+,"ex:F6F79"
+,"ex:F10M194"
+,"ex:F2F19"
+,"ex:F2F24"
+,"ex:F9F154"
+,"ex:F4F58"
+}
\ No newline at end of file

Deleted: trunk/examples/family-benchmark/Cousin.conf
===================================================================
--- trunk/test/family-benchmark/Cousin.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Cousin.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,148 +0,0 @@
-import("family-benchmark.owl");
-
-// TODO All Quantifier causes "wrong" areas of the search space to be explored
-ocel.useAllConstructor = false;
-
-+"http://www.benchmark.org/family#F2M13"
-+"http://www.benchmark.org/family#F2F14"
-+"http://www.benchmark.org/family#F2F15"
-+"http://www.benchmark.org/family#F2M16"
-+"http://www.benchmark.org/family#F2M21"
-+"http://www.benchmark.org/family#F2F22"
-+"http://www.benchmark.org/family#F2F30"
-+"http://www.benchmark.org/family#F2M31"
-+"http://www.benchmark.org/family#F2F38"
-+"http://www.benchmark.org/family#F2M39"
-+"http://www.benchmark.org/family#F6M73"
-+"http://www.benchmark.org/family#F6F74"
-+"http://www.benchmark.org/family#F6F79"
-+"http://www.benchmark.org/family#F6M80"
-+"http://www.benchmark.org/family#F6M81"
-+"http://www.benchmark.org/family#F6F82"
-+"http://www.benchmark.org/family#F6F86"
-+"http://www.benchmark.org/family#F6F87"
-+"http://www.benchmark.org/family#F6M88"
-+"http://www.benchmark.org/family#F6M90"
-+"http://www.benchmark.org/family#F6F91"
-+"http://www.benchmark.org/family#F6F94"
-+"http://www.benchmark.org/family#F6M95"
-+"http://www.benchmark.org/family#F6M100"
-+"http://www.benchmark.org/family#F6F101"
-+"http://www.benchmark.org/family#F7F108"
-+"http://www.benchmark.org/family#F7M109"
-+"http://www.benchmark.org/family#F7M113"
-+"http://www.benchmark.org/family#F7F114"
-+"http://www.benchmark.org/family#F7M117"
-+"http://www.benchmark.org/family#F7F118"
-+"http://www.benchmark.org/family#F7M123"
-+"http://www.benchmark.org/family#F7F124"
-+"http://www.benchmark.org/family#F7M131"
-+"http://www.benchmark.org/family#F9F145"
-+"http://www.benchmark.org/family#F9M146"
-+"http://www.benchmark.org/family#F9F148"
-+"http://www.benchmark.org/family#F9M149"
-+"http://www.benchmark.org/family#F9F150"
-+"http://www.benchmark.org/family#F9F143"
-+"http://www.benchmark.org/family#F9M144"
-+"http://www.benchmark.org/family#F9M151"
-+"http://www.benchmark.org/family#F9F152"
-+"http://www.benchmark.org/family#F9M155"
-+"http://www.benchmark.org/family#F9F156"
-+"http://www.benchmark.org/family#F9M153"
-+"http://www.benchmark.org/family#F9F154"
-+"http://www.benchmark.org/family#F9M161"
-+"http://www.benchmark.org/family#F9M159"
-+"http://www.benchmark.org/family#F9F160"
-+"http://www.benchmark.org/family#F9F164"
-+"http://www.benchmark.org/family#F9M165"
-+"http://www.benchmark.org/family#F9M166"
-+"http://www.benchmark.org/family#F9M162"
-+"http://www.benchmark.org/family#F9F163"
-+"http://www.benchmark.org/family#F9F169"
-+"http://www.benchmark.org/family#F9M170"
-+"http://www.benchmark.org/family#F10F175"
-+"http://www.benchmark.org/family#F10M176"
-+"http://www.benchmark.org/family#F10F177"
-+"http://www.benchmark.org/family#F10M178"
-+"http://www.benchmark.org/family#F10M183"
-+"http://www.benchmark.org/family#F10M184"
-+"http://www.benchmark.org/family#F10F185"
-+"http://www.benchmark.org/family#F10M188"
-+"http://www.benchmark.org/family#F10F189"
-+"http://www.benchmark.org/family#F10F192"
-+"http://www.benchmark.org/family#F10F193"
-+"http://www.benchmark.org/family#F10M194"
-+"http://www.benchmark.org/family#F10M197"
-+"http://www.benchmark.org/family#F10F198"
-
--"http://www.benchmark.org/family#F7M128"
--"http://www.benchmark.org/family#F7F111"
--"http://www.benchmark.org/family#F8M132"
--"http://www.benchmark.org/family#F6F97"
--"http://www.benchmark.org/family#F9F140"
--"http://www.benchmark.org/family#F2M23"
--"http://www.benchmark.org/family#F6M71"
--"http://www.benchmark.org/family#F7M130"
--"http://www.benchmark.org/family#F4F58"
--"http://www.benchmark.org/family#F6M75"
--"http://www.benchmark.org/family#F2F12"
--"http://www.benchmark.org/family#F3F48"
--"http://www.benchmark.org/family#F5M63"
--"http://www.benchmark.org/family#F3M40"
--"http://www.benchmark.org/family#F7M107"
--"http://www.benchmark.org/family#F3F46"
--"http://www.benchmark.org/family#F10F179"
--"http://www.benchmark.org/family#F7F105"
--"http://www.benchmark.org/family#F10M187"
--"http://www.benchmark.org/family#F3M50"
--"http://www.benchmark.org/family#F3M51"
--"http://www.benchmark.org/family#F7F119"
--"http://www.benchmark.org/family#F2F33"
--"http://www.benchmark.org/family#F9M142"
--"http://www.benchmark.org/family#F10M173"
--"http://www.benchmark.org/family#F4M57"
--"http://www.benchmark.org/family#F9F168"
--"http://www.benchmark.org/family#F5M68"
--"http://www.benchmark.org/family#F8M134"
--"http://www.benchmark.org/family#F2M9"
--"http://www.benchmark.org/family#F5F67"
--"http://www.benchmark.org/family#F2M29"
--"http://www.benchmark.org/family#F8F133"
--"http://www.benchmark.org/family#F9M147"
--"http://www.benchmark.org/family#F5M60"
--"http://www.benchmark.org/family#F2M27"
--"http://www.benchmark.org/family#F7M115"
--"http://www.benchmark.org/family#F2M25"
--"http://www.benchmark.org/family#F1M6"
--"http://www.benchmark.org/family#F2M11"
--"http://www.benchmark.org/family#F7M120"
--"http://www.benchmark.org/family#F4F56"
--"http://www.benchmark.org/family#F2M34"
--"http://www.benchmark.org/family#F2F26"
--"http://www.benchmark.org/family#F6F93"
--"http://www.benchmark.org/family#F1F2"
--"http://www.benchmark.org/family#F2F24"
--"http://www.benchmark.org/family#F3F53"
--"http://www.benchmark.org/family#F7F129"
--"http://www.benchmark.org/family#F8M136"
--"http://www.benchmark.org/family#F3F52"
--"http://www.benchmark.org/family#F4M54"
--"http://www.benchmark.org/family#F3M45"
--"http://www.benchmark.org/family#F3F42"
--"http://www.benchmark.org/family#F8M138"
--"http://www.benchmark.org/family#F10F195"
--"http://www.benchmark.org/family#F1F7"
--"http://www.benchmark.org/family#F10M190"
--"http://www.benchmark.org/family#F3F41"
--"http://www.benchmark.org/family#F2M35"
--"http://www.benchmark.org/family#F2F10"
--"http://www.benchmark.org/family#F6F96"
--"http://www.benchmark.org/family#F3F49"
--"http://www.benchmark.org/family#F6M85"
--"http://www.benchmark.org/family#F3M47"
--"http://www.benchmark.org/family#F5F65"
--"http://www.benchmark.org/family#F8F137"
--"http://www.benchmark.org/family#F10M196"
--"http://www.benchmark.org/family#F10M180"
--"http://www.benchmark.org/family#F7F116"
--"http://www.benchmark.org/family#F6F70"

Copied: trunk/examples/family-benchmark/Cousin.conf (from rev 3538, trunk/test/family-benchmark/Cousin.conf)
===================================================================
--- trunk/examples/family-benchmark/Cousin.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Cousin.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,180 @@
+
+// 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 }
+
+op.type = "rho"
+op.useCardinalityRestrictions = false
+op.useAllConstructor = false
+
+// CELOE configuration
+/*
+h.type ="celoe_heuristic"
+h.expansionPenaltyFactor = 0.02
+alg.type = "celoe"
+alg.maxExecutionTimeInSeconds = 100
+alg.terminateOnNoiseReached = true
+*/
+
+alg.type = "ocel"
+
+// Disjunctive ELTL
+// alg.type = "deltl"
+// alg.tryFullCoverage = true
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F2M13"
+,"ex:F2F14"
+,"ex:F2F15"
+,"ex:F2M16"
+,"ex:F2M21"
+,"ex:F2F22"
+,"ex:F2F30"
+,"ex:F2M31"
+,"ex:F2F38"
+,"ex:F2M39"
+,"ex:F6M73"
+,"ex:F6F74"
+,"ex:F6F79"
+,"ex:F6M80"
+,"ex:F6M81"
+,"ex:F6F82"
+,"ex:F6F86"
+,"ex:F6F87"
+,"ex:F6M88"
+,"ex:F6M90"
+,"ex:F6F91"
+,"ex:F6F94"
+,"ex:F6M95"
+,"ex:F6M100"
+,"ex:F6F101"
+,"ex:F7F108"
+,"ex:F7M109"
+,"ex:F7M113"
+,"ex:F7F114"
+,"ex:F7M117"
+,"ex:F7F118"
+,"ex:F7M123"
+,"ex:F7F124"
+,"ex:F7M131"
+,"ex:F9F145"
+,"ex:F9M146"
+,"ex:F9F148"
+,"ex:F9M149"
+,"ex:F9F150"
+,"ex:F9F143"
+,"ex:F9M144"
+,"ex:F9M151"
+,"ex:F9F152"
+,"ex:F9M155"
+,"ex:F9F156"
+,"ex:F9M153"
+,"ex:F9F154"
+,"ex:F9M161"
+,"ex:F9M159"
+,"ex:F9F160"
+,"ex:F9F164"
+,"ex:F9M165"
+,"ex:F9M166"
+,"ex:F9M162"
+,"ex:F9F163"
+,"ex:F9F169"
+,"ex:F9M170"
+,"ex:F10F175"
+,"ex:F10M176"
+,"ex:F10F177"
+,"ex:F10M178"
+,"ex:F10M183"
+,"ex:F10M184"
+,"ex:F10F185"
+,"ex:F10M188"
+,"ex:F10F189"
+,"ex:F10F192"
+,"ex:F10F193"
+,"ex:F10M194"
+,"ex:F10M197"
+,"ex:F10F198"
+}
+
+lp.negativeExamples = {
+"ex:F7M128"
+,"ex:F7F111"
+,"ex:F8M132"
+,"ex:F6F97"
+,"ex:F9F140"
+,"ex:F2M23"
+,"ex:F6M71"
+,"ex:F7M130"
+,"ex:F4F58"
+,"ex:F6M75"
+,"ex:F2F12"
+,"ex:F3F48"
+,"ex:F5M63"
+,"ex:F3M40"
+,"ex:F7M107"
+,"ex:F3F46"
+,"ex:F10F179"
+,"ex:F7F105"
+,"ex:F10M187"
+,"ex:F3M50"
+,"ex:F3M51"
+,"ex:F7F119"
+,"ex:F2F33"
+,"ex:F9M142"
+,"ex:F10M173"
+,"ex:F4M57"
+,"ex:F9F168"
+,"ex:F5M68"
+,"ex:F8M134"
+,"ex:F2M9"
+,"ex:F5F67"
+,"ex:F2M29"
+,"ex:F8F133"
+,"ex:F9M147"
+,"ex:F5M60"
+,"ex:F2M27"
+,"ex:F7M115"
+,"ex:F2M25"
+,"ex:F1M6"
+,"ex:F2M11"
+,"ex:F7M120"
+,"ex:F4F56"
+,"ex:F2M34"
+,"ex:F2F26"
+,"ex:F6F93"
+,"ex:F1F2"
+,"ex:F2F24"
+,"ex:F3F53"
+,"ex:F7F129"
+,"ex:F8M136"
+,"ex:F3F52"
+,"ex:F4M54"
+,"ex:F3M45"
+,"ex:F3F42"
+,"ex:F8M138"
+,"ex:F10F195"
+,"ex:F1F7"
+,"ex:F10M190"
+,"ex:F3F41"
+,"ex:F2M35"
+,"ex:F2F10"
+,"ex:F6F96"
+,"ex:F3F49"
+,"ex:F6M85"
+,"ex:F3M47"
+,"ex:F5F65"
+,"ex:F8F137"
+,"ex:F10M196"
+,"ex:F10M180"
+,"ex:F7F116"
+,"ex:F6F70"
+}
\ No newline at end of file

Deleted: trunk/examples/family-benchmark/Daughter.conf
===================================================================
--- trunk/test/family-benchmark/Daughter.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Daughter.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,108 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F1F5"
-+"http://www.benchmark.org/family#F1F7"
-+"http://www.benchmark.org/family#F1F3"
-+"http://www.benchmark.org/family#F2F17"
-+"http://www.benchmark.org/family#F2F15"
-+"http://www.benchmark.org/family#F2F19"
-+"http://www.benchmark.org/family#F2F26"
-+"http://www.benchmark.org/family#F2F33"
-+"http://www.benchmark.org/family#F2F30"
-+"http://www.benchmark.org/family#F2F28"
-+"http://www.benchmark.org/family#F2F38"
-+"http://www.benchmark.org/family#F2F36"
-+"http://www.benchmark.org/family#F3F49"
-+"http://www.benchmark.org/family#F3F52"
-+"http://www.benchmark.org/family#F3F53"
-+"http://www.benchmark.org/family#F3F42"
-+"http://www.benchmark.org/family#F4F58"
-+"http://www.benchmark.org/family#F4F56"
-+"http://www.benchmark.org/family#F5F62"
-+"http://www.benchmark.org/family#F6F79"
-+"http://www.benchmark.org/family#F6F83"
-+"http://www.benchmark.org/family#F6F77"
-+"http://www.benchmark.org/family#F6F86"
-+"http://www.benchmark.org/family#F6F89"
-+"http://www.benchmark.org/family#F6F87"
-+"http://www.benchmark.org/family#F6F84"
-+"http://www.benchmark.org/family#F6F96"
-+"http://www.benchmark.org/family#F6F97"
-+"http://www.benchmark.org/family#F6F94"
-+"http://www.benchmark.org/family#F7F108"
-+"http://www.benchmark.org/family#F7F106"
-+"http://www.benchmark.org/family#F7F118"
-+"http://www.benchmark.org/family#F7F119"
-+"http://www.benchmark.org/family#F7F129"
-+"http://www.benchmark.org/family#F7F127"
-+"http://www.benchmark.org/family#F7F121"
-+"http://www.benchmark.org/family#F9F145"
-+"http://www.benchmark.org/family#F9F148"
-+"http://www.benchmark.org/family#F9F150"
-+"http://www.benchmark.org/family#F9F143"
-+"http://www.benchmark.org/family#F9F141"
-+"http://www.benchmark.org/family#F9F164"
-+"http://www.benchmark.org/family#F9F169"
-+"http://www.benchmark.org/family#F10F175"
-+"http://www.benchmark.org/family#F10F177"
-+"http://www.benchmark.org/family#F10F179"
-+"http://www.benchmark.org/family#F10F181"
-+"http://www.benchmark.org/family#F10F192"
-+"http://www.benchmark.org/family#F10F193"
-+"http://www.benchmark.org/family#F10F186"
-+"http://www.benchmark.org/family#F10F201"
-+"http://www.benchmark.org/family#F10F195"
-
--"http://www.benchmark.org/family#F7M123"
--"http://www.benchmark.org/family#F6M80"
--"http://www.benchmark.org/family#F2M37"
--"http://www.benchmark.org/family#F9M167"
--"http://www.benchmark.org/family#F10F189"
--"http://www.benchmark.org/family#F5M64"
--"http://www.benchmark.org/family#F6M90"
--"http://www.benchmark.org/family#F2M39"
--"http://www.benchmark.org/family#F3M43"
--"http://www.benchmark.org/family#F7M117"
--"http://www.benchmark.org/family#F2M32"
--"http://www.benchmark.org/family#F7F114"
--"http://www.benchmark.org/family#F10M190"
--"http://www.benchmark.org/family#F2M13"
--"http://www.benchmark.org/family#F6M73"
--"http://www.benchmark.org/family#F3M44"
--"http://www.benchmark.org/family#F6M95"
--"http://www.benchmark.org/family#F9F163"
--"http://www.benchmark.org/family#F10F198"
--"http://www.benchmark.org/family#F2M25"
--"http://www.benchmark.org/family#F2M18"
--"http://www.benchmark.org/family#F8M132"
--"http://www.benchmark.org/family#F1M1"
--"http://www.benchmark.org/family#F6F76"
--"http://www.benchmark.org/family#F10M184"
--"http://www.benchmark.org/family#F3F41"
--"http://www.benchmark.org/family#F7M107"
--"http://www.benchmark.org/family#F9F160"
--"http://www.benchmark.org/family#F2M9"
--"http://www.benchmark.org/family#F6M71"
--"http://www.benchmark.org/family#F8F133"
--"http://www.benchmark.org/family#F1M6"
--"http://www.benchmark.org/family#F10M176"
--"http://www.benchmark.org/family#F4F55"
--"http://www.benchmark.org/family#F9M157"
--"http://www.benchmark.org/family#F9M151"
--"http://www.benchmark.org/family#F6M98"
--"http://www.benchmark.org/family#F4M54"
--"http://www.benchmark.org/family#F9M170"
--"http://www.benchmark.org/family#F6F70"
--"http://www.benchmark.org/family#F10M171"
--"http://www.benchmark.org/family#F10M199"
--"http://www.benchmark.org/family#F8M136"
--"http://www.benchmark.org/family#F4M59"
--"http://www.benchmark.org/family#F6M88"
--"http://www.benchmark.org/family#F9M162"
--"http://www.benchmark.org/family#F10M197"
--"http://www.benchmark.org/family#F7M131"
--"http://www.benchmark.org/family#F7M113"
--"http://www.benchmark.org/family#F9M149"
--"http://www.benchmark.org/family#F7M109"
--"http://www.benchmark.org/family#F10M202"

Copied: trunk/examples/family-benchmark/Daughter.conf (from rev 3538, trunk/test/family-benchmark/Daughter.conf)
===================================================================
--- trunk/examples/family-benchmark/Daughter.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Daughter.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,134 @@
+// 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"
+
+// ELTL
+// alg.type = "eltl"
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F1F5"
+,"ex:F1F7"
+,"ex:F1F3"
+,"ex:F2F17"
+,"ex:F2F15"
+,"ex:F2F19"
+,"ex:F2F26"
+,"ex:F2F33"
+,"ex:F2F30"
+,"ex:F2F28"
+,"ex:F2F38"
+,"ex:F2F36"
+,"ex:F3F49"
+,"ex:F3F52"
+,"ex:F3F53"
+,"ex:F3F42"
+,"ex:F4F58"
+,"ex:F4F56"
+,"ex:F5F62"
+,"ex:F6F79"
+,"ex:F6F83"
+,"ex:F6F77"
+,"ex:F6F86"
+,"ex:F6F89"
+,"ex:F6F87"
+,"ex:F6F84"
+,"ex:F6F96"
+,"ex:F6F97"
+,"ex:F6F94"
+,"ex:F7F108"
+,"ex:F7F106"
+,"ex:F7F118"
+,"ex:F7F119"
+,"ex:F7F129"
+,"ex:F7F127"
+,"ex:F7F121"
+,"ex:F9F145"
+,"ex:F9F148"
+,"ex:F9F150"
+,"ex:F9F143"
+,"ex:F9F141"
+,"ex:F9F164"
+,"ex:F9F169"
+,"ex:F10F175"
+,"ex:F10F177"
+,"ex:F10F179"
+,"ex:F10F181"
+,"ex:F10F192"
+,"ex:F10F193"
+,"ex:F10F186"
+,"ex:F10F201"
+,"ex:F10F195"
+}
+
+lp.negativeExamples = {
+"ex:F7M123"
+,"ex:F6M80"
+,"ex:F2M37"
+,"ex:F9M167"
+,"ex:F10F189"
+,"ex:F5M64"
+,"ex:F6M90"
+,"ex:F2M39"
+,"ex:F3M43"
+,"ex:F7M117"
+,"ex:F2M32"
+,"ex:F7F114"
+,"ex:F10M190"
+,"ex:F2M13"
+,"ex:F6M73"
+,"ex:F3M44"
+,"ex:F6M95"
+,"ex:F9F163"
+,"ex:F10F198"
+,"ex:F2M25"
+,"ex:F2M18"
+,"ex:F8M132"
+,"ex:F1M1"
+,"ex:F6F76"
+,"ex:F10M184"
+,"ex:F3F41"
+,"ex:F7M107"
+,"ex:F9F160"
+,"ex:F2M9"
+,"ex:F6M71"
+,"ex:F8F133"
+,"ex:F1M6"
+,"ex:F10M176"
+,"ex:F4F55"
+,"ex:F9M157"
+,"ex:F9M151"
+,"ex:F6M98"
+,"ex:F4M54"
+,"ex:F9M170"
+,"ex:F6F70"
+,"ex:F10M171"
+,"ex:F10M199"
+,"ex:F8M136"
+,"ex:F4M59"
+,"ex:F6M88"
+,"ex:F9M162"
+,"ex:F10M197"
+,"ex:F7M131"
+,"ex:F7M113"
+,"ex:F9M149"
+,"ex:F7M109"
+,"ex:F10M202"
+}
\ No newline at end of file

Deleted: trunk/examples/family-benchmark/Father.conf
===================================================================
--- trunk/test/family-benchmark/Father.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Father.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,124 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F1M4"
-+"http://www.benchmark.org/family#F1M1"
-+"http://www.benchmark.org/family#F2M16"
-+"http://www.benchmark.org/family#F2M11"
-+"http://www.benchmark.org/family#F2M23"
-+"http://www.benchmark.org/family#F2M21"
-+"http://www.benchmark.org/family#F2M20"
-+"http://www.benchmark.org/family#F2M34"
-+"http://www.benchmark.org/family#F2M31"
-+"http://www.benchmark.org/family#F2M29"
-+"http://www.benchmark.org/family#F2M37"
-+"http://www.benchmark.org/family#F2M9"
-+"http://www.benchmark.org/family#F3M50"
-+"http://www.benchmark.org/family#F3M47"
-+"http://www.benchmark.org/family#F3M45"
-+"http://www.benchmark.org/family#F3M43"
-+"http://www.benchmark.org/family#F3M40"
-+"http://www.benchmark.org/family#F4M57"
-+"http://www.benchmark.org/family#F4M54"
-+"http://www.benchmark.org/family#F5M66"
-+"http://www.benchmark.org/family#F5M64"
-+"http://www.benchmark.org/family#F5M60"
-+"http://www.benchmark.org/family#F6M73"
-+"http://www.benchmark.org/family#F6M71"
-+"http://www.benchmark.org/family#F6M81"
-+"http://www.benchmark.org/family#F6M78"
-+"http://www.benchmark.org/family#F6M88"
-+"http://www.benchmark.org/family#F6M85"
-+"http://www.benchmark.org/family#F6M98"
-+"http://www.benchmark.org/family#F6M95"
-+"http://www.benchmark.org/family#F6M92"
-+"http://www.benchmark.org/family#F6M69"
-+"http://www.benchmark.org/family#F7M110"
-+"http://www.benchmark.org/family#F7M109"
-+"http://www.benchmark.org/family#F7M107"
-+"http://www.benchmark.org/family#F7M115"
-+"http://www.benchmark.org/family#F7M128"
-+"http://www.benchmark.org/family#F7M123"
-+"http://www.benchmark.org/family#F7M122"
-+"http://www.benchmark.org/family#F7M104"
-+"http://www.benchmark.org/family#F7M102"
-+"http://www.benchmark.org/family#F8M136"
-+"http://www.benchmark.org/family#F8M134"
-+"http://www.benchmark.org/family#F8M132"
-+"http://www.benchmark.org/family#F9M146"
-+"http://www.benchmark.org/family#F9M144"
-+"http://www.benchmark.org/family#F9M153"
-+"http://www.benchmark.org/family#F9M142"
-+"http://www.benchmark.org/family#F9M159"
-+"http://www.benchmark.org/family#F9M162"
-+"http://www.benchmark.org/family#F9M157"
-+"http://www.benchmark.org/family#F9M167"
-+"http://www.benchmark.org/family#F9M139"
-+"http://www.benchmark.org/family#F10M173"
-+"http://www.benchmark.org/family#F10M182"
-+"http://www.benchmark.org/family#F10M188"
-+"http://www.benchmark.org/family#F10M187"
-+"http://www.benchmark.org/family#F10M197"
-+"http://www.benchmark.org/family#F10M196"
-+"http://www.benchmark.org/family#F10M171"
-
--"http://www.benchmark.org/family#F5M63"
--"http://www.benchmark.org/family#F10M199"
--"http://www.benchmark.org/family#F10M176"
--"http://www.benchmark.org/family#F6F86"
--"http://www.benchmark.org/family#F9M161"
--"http://www.benchmark.org/family#F3F53"
--"http://www.benchmark.org/family#F10F195"
--"http://www.benchmark.org/family#F5F61"
--"http://www.benchmark.org/family#F7F103"
--"http://www.benchmark.org/family#F6F77"
--"http://www.benchmark.org/family#F9F156"
--"http://www.benchmark.org/family#F9M155"
--"http://www.benchmark.org/family#F6F70"
--"http://www.benchmark.org/family#F3F46"
--"http://www.benchmark.org/family#F6F79"
--"http://www.benchmark.org/family#F2M27"
--"http://www.benchmark.org/family#F7F108"
--"http://www.benchmark.org/family#F10F189"
--"http://www.benchmark.org/family#F7M113"
--"http://www.benchmark.org/family#F7F111"
--"http://www.benchmark.org/family#F10M190"
--"http://www.benchmark.org/family#F8M138"
--"http://www.benchmark.org/family#F9M165"
--"http://www.benchmark.org/family#F3M44"
--"http://www.benchmark.org/family#F9F160"
--"http://www.benchmark.org/family#F6F74"
--"http://www.benchmark.org/family#F10F198"
--"http://www.benchmark.org/family#F5F62"
--"http://www.benchmark.org/family#F10F175"
--"http://www.benchmark.org/family#F10F201"
--"http://www.benchmark.org/family#F6F89"
--"http://www.benchmark.org/family#F9F143"
--"http://www.benchmark.org/family#F9M170"
--"http://www.benchmark.org/family#F6M90"
--"http://www.benchmark.org/family#F9M149"
--"http://www.benchmark.org/family#F3F52"
--"http://www.benchmark.org/family#F10F181"
--"http://www.benchmark.org/family#F9F163"
--"http://www.benchmark.org/family#F9F169"
--"http://www.benchmark.org/family#F9F158"
--"http://www.benchmark.org/family#F10F179"
--"http://www.benchmark.org/family#F4F55"
--"http://www.benchmark.org/family#F2F15"
--"http://www.benchmark.org/family#F5M68"
--"http://www.benchmark.org/family#F6F93"
--"http://www.benchmark.org/family#F10F192"
--"http://www.benchmark.org/family#F7M120"
--"http://www.benchmark.org/family#F7M131"
--"http://www.benchmark.org/family#F8F133"
--"http://www.benchmark.org/family#F7M125"
--"http://www.benchmark.org/family#F7M130"
--"http://www.benchmark.org/family#F2M18"
--"http://www.benchmark.org/family#F10F191"
--"http://www.benchmark.org/family#F9F152"
--"http://www.benchmark.org/family#F9F154"
--"http://www.benchmark.org/family#F2F22"
--"http://www.benchmark.org/family#F6F97"
--"http://www.benchmark.org/family#F7F127"
--"http://www.benchmark.org/family#F2F36"
--"http://www.benchmark.org/family#F5F67"

Copied: trunk/examples/family-benchmark/Father.conf (from rev 3538, trunk/test/family-benchmark/Father.conf)
===================================================================
--- trunk/examples/family-benchmark/Father.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Father.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,150 @@
+// 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"
+
+// ELTL
+// alg.type = "eltl"
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F1M4"
+,"ex:F1M1"
+,"ex:F2M16"
+,"ex:F2M11"
+,"ex:F2M23"
+,"ex:F2M21"
+,"ex:F2M20"
+,"ex:F2M34"
+,"ex:F2M31"
+,"ex:F2M29"
+,"ex:F2M37"
+,"ex:F2M9"
+,"ex:F3M50"
+,"ex:F3M47"
+,"ex:F3M45"
+,"ex:F3M43"
+,"ex:F3M40"
+,"ex:F4M57"
+,"ex:F4M54"
+,"ex:F5M66"
+,"ex:F5M64"
+,"ex:F5M60"
+,"ex:F6M73"
+,"ex:F6M71"
+,"ex:F6M81"
+,"ex:F6M78"
+,"ex:F6M88"
+,"ex:F6M85"
+,"ex:F6M98"
+,"ex:F6M95"
+,"ex:F6M92"
+,"ex:F6M69"
+,"ex:F7M110"
+,"ex:F7M109"
+,"ex:F7M107"
+,"ex:F7M115"
+,"ex:F7M128"
+,"ex:F7M123"
+,"ex:F7M122"
+,"ex:F7M104"
+,"ex:F7M102"
+,"ex:F8M136"
+,"ex:F8M134"
+,"ex:F8M132"
+,"ex:F9M146"
+,"ex:F9M144"
+,"ex:F9M153"
+,"ex:F9M142"
+,"ex:F9M159"
+,"ex:F9M162"
+,"ex:F9M157"
+,"ex:F9M167"
+,"ex:F9M139"
+,"ex:F10M173"
+,"ex:F10M182"
+,"ex:F10M188"
+,"ex:F10M187"
+,"ex:F10M197"
+,"ex:F10M196"
+,"ex:F10M171"
+}
+
+lp.negativeExamples = {
+"ex:F5M63"
+,"ex:F10M199"
+,"ex:F10M176"
+,"ex:F6F86"
+,"ex:F9M161"
+,"ex:F3F53"
+,"ex:F10F195"
+,"ex:F5F61"
+,"ex:F7F103"
+,"ex:F6F77"
+,"ex:F9F156"
+,"ex:F9M155"
+,"ex:F6F70"
+,"ex:F3F46"
+,"ex:F6F79"
+,"ex:F2M27"
+,"ex:F7F108"
+,"ex:F10F189"
+,"ex:F7M113"
+,"ex:F7F111"
+,"ex:F10M190"
+,"ex:F8M138"
+,"ex:F9M165"
+,"ex:F3M44"
+,"ex:F9F160"
+,"ex:F6F74"
+,"ex:F10F198"
+,"ex:F5F62"
+,"ex:F10F175"
+,"ex:F10F201"
+,"ex:F6F89"
+,"ex:F9F143"
+,"ex:F9M170"
+,"ex:F6M90"
+,"ex:F9M149"
+,"ex:F3F52"
+,"ex:F10F181"
+,"ex:F9F163"
+,"ex:F9F169"
+,"ex:F9F158"
+,"ex:F10F179"
+,"ex:F4F55"
+,"ex:F2F15"
+,"ex:F5M68"
+,"ex:F6F93"
+,"ex:F10F192"
+,"ex:F7M120"
+,"ex:F7M131"
+,"ex:F8F133"
+,"ex:F7M125"
+,"ex:F7M130"
+,"ex:F2M18"
+,"ex:F10F191"
+,"ex:F9F152"
+,"ex:F9F154"
+,"ex:F2F22"
+,"ex:F6F97"
+,"ex:F7F127"
+,"ex:F2F36"
+,"ex:F5F67"
+}
\ No newline at end of file

Deleted: trunk/examples/family-benchmark/Female.conf
===================================================================
--- trunk/test/family-benchmark/Female.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Female.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,200 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F1F5"
-+"http://www.benchmark.org/family#F1F7"
-+"http://www.benchmark.org/family#F1F3"
-+"http://www.benchmark.org/family#F1F2"
-+"http://www.benchmark.org/family#F2F14"
-+"http://www.benchmark.org/family#F2F17"
-+"http://www.benchmark.org/family#F2F15"
-+"http://www.benchmark.org/family#F2F12"
-+"http://www.benchmark.org/family#F2F24"
-+"http://www.benchmark.org/family#F2F22"
-+"http://www.benchmark.org/family#F2F19"
-+"http://www.benchmark.org/family#F2F26"
-+"http://www.benchmark.org/family#F2F33"
-+"http://www.benchmark.org/family#F2F30"
-+"http://www.benchmark.org/family#F2F28"
-+"http://www.benchmark.org/family#F2F38"
-+"http://www.benchmark.org/family#F2F36"
-+"http://www.benchmark.org/family#F2F10"
-+"http://www.benchmark.org/family#F3F49"
-+"http://www.benchmark.org/family#F3F52"
-+"http://www.benchmark.org/family#F3F48"
-+"http://www.benchmark.org/family#F3F46"
-+"http://www.benchmark.org/family#F3F53"
-+"http://www.benchmark.org/family#F3F42"
-+"http://www.benchmark.org/family#F3F41"
-+"http://www.benchmark.org/family#F4F58"
-+"http://www.benchmark.org/family#F4F56"
-+"http://www.benchmark.org/family#F4F55"
-+"http://www.benchmark.org/family#F5F62"
-+"http://www.benchmark.org/family#F5F67"
-+"http://www.benchmark.org/family#F5F65"
-+"http://www.benchmark.org/family#F5F61"
-+"http://www.benchmark.org/family#F6F76"
-+"http://www.benchmark.org/family#F6F74"
-+"http://www.benchmark.org/family#F6F72"
-+"http://www.benchmark.org/family#F6F79"
-+"http://www.benchmark.org/family#F6F83"
-+"http://www.benchmark.org/family#F6F82"
-+"http://www.benchmark.org/family#F6F77"
-+"http://www.benchmark.org/family#F6F86"
-+"http://www.benchmark.org/family#F6F89"
-+"http://www.benchmark.org/family#F6F87"
-+"http://www.benchmark.org/family#F6F91"
-+"http://www.benchmark.org/family#F6F84"
-+"http://www.benchmark.org/family#F6F96"
-+"http://www.benchmark.org/family#F6F97"
-+"http://www.benchmark.org/family#F6F94"
-+"http://www.benchmark.org/family#F6F101"
-+"http://www.benchmark.org/family#F6F93"
-+"http://www.benchmark.org/family#F6F70"
-+"http://www.benchmark.org/family#F7F111"
-+"http://www.benchmark.org/family#F7F108"
-+"http://www.benchmark.org/family#F7F114"
-+"http://www.benchmark.org/family#F7F106"
-+"http://www.benchmark.org/family#F7F118"
-+"http://www.benchmark.org/family#F7F116"
-+"http://www.benchmark.org/family#F7F119"
-+"http://www.benchmark.org/family#F7F126"
-+"http://www.benchmark.org/family#F7F129"
-+"http://www.benchmark.org/family#F7F127"
-+"http://www.benchmark.org/family#F7F124"
-+"http://www.benchmark.org/family#F7F121"
-+"http://www.benchmark.org/family#F7F105"
-+"http://www.benchmark.org/family#F7F103"
-+"http://www.benchmark.org/family#F8F137"
-+"http://www.benchmark.org/family#F8F135"
-+"http://www.benchmark.org/family#F8F133"
-+"http://www.benchmark.org/family#F9F145"
-+"http://www.benchmark.org/family#F9F148"
-+"http://www.benchmark.org/family#F9F150"
-+"http://www.benchmark.org/family#F9F143"
-+"http://www.benchmark.org/family#F9F152"
-+"http://www.benchmark.org/family#F9F156"
-+"http://www.benchmark.org/family#F9F154"
-+"http://www.benchmark.org/family#F9F141"
-+"http://www.benchmark.org/family#F9F160"
-+"http://www.benchmark.org/family#F9F164"
-+"http://www.benchmark.org/family#F9F163"
-+"http://www.benchmark.org/family#F9F158"
-+"http://www.benchmark.org/family#F9F169"
-+"http://www.benchmark.org/family#F9F168"
-+"http://www.benchmark.org/family#F9F140"
-+"http://www.benchmark.org/family#F10F175"
-+"http://www.benchmark.org/family#F10F177"
-+"http://www.benchmark.org/family#F10F174"
-+"http://www.benchmark.org/family#F10F179"
-+"http://www.benchmark.org/family#F10F185"
-+"http://www.benchmark.org/family#F10F181"
-+"http://www.benchmark.org/family#F10F191"
-+"http://www.benchmark.org/family#F10F189"
-+"http://www.benchmark.org/family#F10F192"
-+"http://www.benchmark.org/family#F10F193"
-+"http://www.benchmark.org/family#F10F186"
-+"http://www.benchmark.org/family#F10F200"
-+"http://www.benchmark.org/family#F10F201"
-+"http://www.benchmark.org/family#F10F198"
-+"http://www.benchmark.org/family#F10F195"
-+"http://www.benchmark.org/family#F10F172"
-
--"http://www.benchmark.org/family#F10M183"
--"http://www.benchmark.org/family#F3M43"
--"http://www.benchmark.org/family#F10M199"
--"http://www.benchmark.org/family#F2M16"
--"http://www.benchmark.org/family#F7M110"
--"http://www.benchmark.org/family#F4M54"
--"http://www.benchmark.org/family#F7M113"
--"http://www.benchmark.org/family#F7M107"
--"http://www.benchmark.org/family#F9M146"
--"http://www.benchmark.org/family#F2M20"
--"http://www.benchmark.org/family#F8M136"
--"http://www.benchmark.org/family#F6M75"
--"http://www.benchmark.org/family#F10M190"
--"http://www.benchmark.org/family#F9M157"
--"http://www.benchmark.org/family#F2M25"
--"http://www.benchmark.org/family#F1M8"
--"http://www.benchmark.org/family#F6M92"
--"http://www.benchmark.org/family#F3M47"
--"http://www.benchmark.org/family#F2M18"
--"http://www.benchmark.org/family#F5M64"
--"http://www.benchmark.org/family#F9M155"
--"http://www.benchmark.org/family#F8M138"
--"http://www.benchmark.org/family#F7M130"
--"http://www.benchmark.org/family#F9M170"
--"http://www.benchmark.org/family#F10M188"
--"http://www.benchmark.org/family#F3M45"
--"http://www.benchmark.org/family#F6M78"
--"http://www.benchmark.org/family#F7M102"
--"http://www.benchmark.org/family#F7M120"
--"http://www.benchmark.org/family#F10M180"
--"http://www.benchmark.org/family#F5M66"
--"http://www.benchmark.org/family#F3M50"
--"http://www.benchmark.org/family#F8M134"
--"http://www.benchmark.org/family#F5M60"
--"http://www.benchmark.org/family#F10M182"
--"http://www.benchmark.org/family#F7M122"
--"http://www.benchmark.org/family#F6M69"
--"http://www.benchmark.org/family#F2M21"
--"http://www.benchmark.org/family#F1M1"
--"http://www.benchmark.org/family#F6M81"
--"http://www.benchmark.org/family#F9M162"
--"http://www.benchmark.org/family#F6M71"
--"http://www.benchmark.org/family#F1M4"
--"http://www.benchmark.org/family#F10M176"
--"http://www.benchmark.org/family#F2M23"
--"http://www.benchmark.org/family#F10M171"
--"http://www.benchmark.org/family#F9M159"
--"http://www.benchmark.org/family#F4M59"
--"http://www.benchmark.org/family#F9M153"
--"http://www.benchmark.org/family#F9M167"
--"http://www.benchmark.org/family#F7M123"
--"http://www.benchmark.org/family#F2M32"
--"http://www.benchmark.org/family#F7M112"
--"http://www.benchmark.org/family#F7M125"
--"http://www.benchmark.org/family#F2M13"
--"http://www.benchmark.org/family#F9M147"
--"http://www.benchmark.org/family#F7M115"
--"http://www.benchmark.org/family#F7M128"
--"http://www.benchmark.org/family#F2M37"
--"http://www.benchmark.org/family#F10M194"
--"http://www.benchmark.org/family#F3M44"
--"http://www.benchmark.org/family#F2M29"
--"http://www.benchmark.org/family#F5M68"
--"http://www.benchmark.org/family#F6M90"
--"http://www.benchmark.org/family#F1M6"
--"http://www.benchmark.org/family#F2M9"
--"http://www.benchmark.org/family#F3M51"
--"http://www.benchmark.org/family#F10M196"
--"http://www.benchmark.org/family#F10M178"
--"http://www.benchmark.org/family#F9M139"
--"http://www.benchmark.org/family#F7M104"
--"http://www.benchmark.org/family#F9M149"
--"http://www.benchmark.org/family#F2M34"
--"http://www.benchmark.org/family#F10M173"
--"http://www.benchmark.org/family#F8M132"
--"http://www.benchmark.org/family#F7M131"
--"http://www.benchmark.org/family#F2M11"
--"http://www.benchmark.org/family#F6M85"
--"http://www.benchmark.org/family#F6M88"
--"http://www.benchmark.org/family#F10M184"
--"http://www.benchmark.org/family#F2M31"
--"http://www.benchmark.org/family#F2M27"
--"http://www.benchmark.org/family#F5M63"
--"http://www.benchmark.org/family#F10M187"
--"http://www.benchmark.org/family#F9M161"
--"http://www.benchmark.org/family#F10M202"
--"http://www.benchmark.org/family#F7M109"
--"http://www.benchmark.org/family#F4M57"
--"http://www.benchmark.org/family#F2M39"
--"http://www.benchmark.org/family#F10M197"
--"http://www.benchmark.org/family#F9M165"
--"http://www.benchmark.org/family#F7M117"
--"http://www.benchmark.org/family#F6M80"
--"http://www.benchmark.org/family#F9M142"
--"http://www.benchmark.org/family#F6M73"
--"http://www.benchmark.org/family#F6M100"
--"http://www.benchmark.org/family#F6M95"
--"http://www.benchmark.org/family#F6M98"

Deleted: trunk/examples/family-benchmark/Granddaughter.conf
===================================================================
--- trunk/test/family-benchmark/Granddaughter.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Granddaughter.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,78 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F1F5"
-+"http://www.benchmark.org/family#F1F7"
-+"http://www.benchmark.org/family#F2F17"
-+"http://www.benchmark.org/family#F2F15"
-+"http://www.benchmark.org/family#F2F33"
-+"http://www.benchmark.org/family#F2F30"
-+"http://www.benchmark.org/family#F2F38"
-+"http://www.benchmark.org/family#F3F49"
-+"http://www.benchmark.org/family#F3F52"
-+"http://www.benchmark.org/family#F3F53"
-+"http://www.benchmark.org/family#F4F58"
-+"http://www.benchmark.org/family#F6F79"
-+"http://www.benchmark.org/family#F6F83"
-+"http://www.benchmark.org/family#F6F86"
-+"http://www.benchmark.org/family#F6F89"
-+"http://www.benchmark.org/family#F6F87"
-+"http://www.benchmark.org/family#F6F96"
-+"http://www.benchmark.org/family#F6F97"
-+"http://www.benchmark.org/family#F6F94"
-+"http://www.benchmark.org/family#F7F108"
-+"http://www.benchmark.org/family#F7F106"
-+"http://www.benchmark.org/family#F7F118"
-+"http://www.benchmark.org/family#F7F119"
-+"http://www.benchmark.org/family#F7F129"
-+"http://www.benchmark.org/family#F7F127"
-+"http://www.benchmark.org/family#F7F121"
-+"http://www.benchmark.org/family#F9F145"
-+"http://www.benchmark.org/family#F9F148"
-+"http://www.benchmark.org/family#F9F150"
-+"http://www.benchmark.org/family#F9F143"
-+"http://www.benchmark.org/family#F9F164"
-+"http://www.benchmark.org/family#F9F169"
-+"http://www.benchmark.org/family#F10F175"
-+"http://www.benchmark.org/family#F10F177"
-+"http://www.benchmark.org/family#F10F192"
-+"http://www.benchmark.org/family#F10F193"
-+"http://www.benchmark.org/family#F10F201"
-
--"http://www.benchmark.org/family#F10F195"
--"http://www.benchmark.org/family#F2M37"
--"http://www.benchmark.org/family#F2M16"
--"http://www.benchmark.org/family#F7M123"
--"http://www.benchmark.org/family#F5M60"
--"http://www.benchmark.org/family#F9F152"
--"http://www.benchmark.org/family#F2M13"
--"http://www.benchmark.org/family#F9M147"
--"http://www.benchmark.org/family#F6F77"
--"http://www.benchmark.org/family#F2F14"
--"http://www.benchmark.org/family#F2F19"
--"http://www.benchmark.org/family#F2F22"
--"http://www.benchmark.org/family#F6F84"
--"http://www.benchmark.org/family#F5F65"
--"http://www.benchmark.org/family#F9M162"
--"http://www.benchmark.org/family#F7M122"
--"http://www.benchmark.org/family#F7M130"
--"http://www.benchmark.org/family#F10M196"
--"http://www.benchmark.org/family#F2M35"
--"http://www.benchmark.org/family#F6M88"
--"http://www.benchmark.org/family#F6F74"
--"http://www.benchmark.org/family#F9F163"
--"http://www.benchmark.org/family#F7F126"
--"http://www.benchmark.org/family#F9M157"
--"http://www.benchmark.org/family#F10M202"
--"http://www.benchmark.org/family#F10M188"
--"http://www.benchmark.org/family#F9M155"
--"http://www.benchmark.org/family#F10M183"
--"http://www.benchmark.org/family#F7M112"
--"http://www.benchmark.org/family#F10F185"
--"http://www.benchmark.org/family#F8M136"
--"http://www.benchmark.org/family#F7M102"
--"http://www.benchmark.org/family#F3F46"
--"http://www.benchmark.org/family#F7M131"
--"http://www.benchmark.org/family#F9M149"
--"http://www.benchmark.org/family#F5M68"
--"http://www.benchmark.org/family#F4M57"

Copied: trunk/examples/family-benchmark/Granddaughter.conf (from rev 3538, trunk/test/family-benchmark/Granddaughter.conf)
===================================================================
--- trunk/examples/family-benchmark/Granddaughter.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Granddaughter.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,104 @@
+// 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"
+
+// ELTL
+// alg.type = "eltl"
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F1F5"
+,"ex:F1F7"
+,"ex:F2F17"
+,"ex:F2F15"
+,"ex:F2F33"
+,"ex:F2F30"
+,"ex:F2F38"
+,"ex:F3F49"
+,"ex:F3F52"
+,"ex:F3F53"
+,"ex:F4F58"
+,"ex:F6F79"
+,"ex:F6F83"
+,"ex:F6F86"
+,"ex:F6F89"
+,"ex:F6F87"
+,"ex:F6F96"
+,"ex:F6F97"
+,"ex:F6F94"
+,"ex:F7F108"
+,"ex:F7F106"
+,"ex:F7F118"
+,"ex:F7F119"
+,"ex:F7F129"
+,"ex:F7F127"
+,"ex:F7F121"
+,"ex:F9F145"
+,"ex:F9F148"
+,"ex:F9F150"
+,"ex:F9F143"
+,"ex:F9F164"
+,"ex:F9F169"
+,"ex:F10F175"
+,"ex:F10F177"
+,"ex:F10F192"
+,"ex:F10F193"
+,"ex:F10F201"
+}
+
+lp.negativeExamples = {
+"ex:F10F195"
+,"ex:F2M37"
+,"ex:F2M16"
+,"ex:F7M123"
+,"ex:F5M60"
+,"ex:F9F152"
+,"ex:F2M13"
+,"ex:F9M147"
+,"ex:F6F77"
+,"ex:F2F14"
+,"ex:F2F19"
+,"ex:F2F22"
+,"ex:F6F84"
+,"ex:F5F65"
+,"ex:F9M162"
+,"ex:F7M122"
+,"ex:F7M130"
+,"ex:F10M196"
+,"ex:F2M35"
+,"ex:F6M88"
+,"ex:F6F74"
+,"ex:F9F163"
+,"ex:F7F126"
+,"ex:F9M157"
+,"ex:F10M202"
+,"ex:F10M188"
+,"ex:F9M155"
+,"ex:F10M183"
+,"ex:F7M112"
+,"ex:F10F185"
+,"ex:F8M136"
+,"ex:F7M102"
+,"ex:F3F46"
+,"ex:F7M131"
+,"ex:F9M149"
+,"ex:F5M68"
+,"ex:F4M57"
+}
\ No newline at end of file

Deleted: trunk/examples/family-benchmark/Grandfather.conf
===================================================================
--- trunk/test/family-benchmark/Grandfather.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Grandfather.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,74 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F1M1"
-+"http://www.benchmark.org/family#F2M11"
-+"http://www.benchmark.org/family#F2M21"
-+"http://www.benchmark.org/family#F2M20"
-+"http://www.benchmark.org/family#F2M31"
-+"http://www.benchmark.org/family#F2M29"
-+"http://www.benchmark.org/family#F2M9"
-+"http://www.benchmark.org/family#F3M47"
-+"http://www.benchmark.org/family#F3M45"
-+"http://www.benchmark.org/family#F3M43"
-+"http://www.benchmark.org/family#F3M40"
-+"http://www.benchmark.org/family#F4M54"
-+"http://www.benchmark.org/family#F5M64"
-+"http://www.benchmark.org/family#F5M60"
-+"http://www.benchmark.org/family#F6M71"
-+"http://www.benchmark.org/family#F6M78"
-+"http://www.benchmark.org/family#F6M85"
-+"http://www.benchmark.org/family#F6M95"
-+"http://www.benchmark.org/family#F6M92"
-+"http://www.benchmark.org/family#F6M69"
-+"http://www.benchmark.org/family#F7M109"
-+"http://www.benchmark.org/family#F7M107"
-+"http://www.benchmark.org/family#F7M123"
-+"http://www.benchmark.org/family#F7M122"
-+"http://www.benchmark.org/family#F7M104"
-+"http://www.benchmark.org/family#F7M102"
-+"http://www.benchmark.org/family#F8M134"
-+"http://www.benchmark.org/family#F8M132"
-+"http://www.benchmark.org/family#F9M144"
-+"http://www.benchmark.org/family#F9M142"
-+"http://www.benchmark.org/family#F9M157"
-+"http://www.benchmark.org/family#F9M139"
-+"http://www.benchmark.org/family#F10M187"
-+"http://www.benchmark.org/family#F10M196"
-+"http://www.benchmark.org/family#F10M171"
-
--"http://www.benchmark.org/family#F10M182"
--"http://www.benchmark.org/family#F2M39"
--"http://www.benchmark.org/family#F10M190"
--"http://www.benchmark.org/family#F2M27"
--"http://www.benchmark.org/family#F7F103"
--"http://www.benchmark.org/family#F3F41"
--"http://www.benchmark.org/family#F7M115"
--"http://www.benchmark.org/family#F10F181"
--"http://www.benchmark.org/family#F9F140"
--"http://www.benchmark.org/family#F10F177"
--"http://www.benchmark.org/family#F10M202"
--"http://www.benchmark.org/family#F2F22"
--"http://www.benchmark.org/family#F3F49"
--"http://www.benchmark.org/family#F9M146"
--"http://www.benchmark.org/family#F3F46"
--"http://www.benchmark.org/family#F9F148"
--"http://www.benchmark.org/family#F2F17"
--"http://www.benchmark.org/family#F5F67"
--"http://www.benchmark.org/family#F3M51"
--"http://www.benchmark.org/family#F6F89"
--"http://www.benchmark.org/family#F2F30"
--"http://www.benchmark.org/family#F6F101"
--"http://www.benchmark.org/family#F9F168"
--"http://www.benchmark.org/family#F10F175"
--"http://www.benchmark.org/family#F1M6"
--"http://www.benchmark.org/family#F2M37"
--"http://www.benchmark.org/family#F6M99"
--"http://www.benchmark.org/family#F1F3"
--"http://www.benchmark.org/family#F5F62"
--"http://www.benchmark.org/family#F10F193"
--"http://www.benchmark.org/family#F3M50"
--"http://www.benchmark.org/family#F5M68"
--"http://www.benchmark.org/family#F7M110"
--"http://www.benchmark.org/family#F10F174"
--"http://www.benchmark.org/family#F6M73"

Copied: trunk/examples/family-benchmark/Grandfather.conf (from rev 3538, trunk/test/family-benchmark/Grandfather.conf)
===================================================================
--- trunk/examples/family-benchmark/Grandfather.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Grandfather.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,100 @@
+// 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"
+
+// ELTL
+// alg.type = "eltl"
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F1M1"
+,"ex:F2M11"
+,"ex:F2M21"
+,"ex:F2M20"
+,"ex:F2M31"
+,"ex:F2M29"
+,"ex:F2M9"
+,"ex:F3M47"
+,"ex:F3M45"
+,"ex:F3M43"
+,"ex:F3M40"
+,"ex:F4M54"
+,"ex:F5M64"
+,"ex:F5M60"
+,"ex:F6M71"
+,"ex:F6M78"
+,"ex:F6M85"
+,"ex:F6M95"
+,"ex:F6M92"
+,"ex:F6M69"
+,"ex:F7M109"
+,"ex:F7M107"
+,"ex:F7M123"
+,"ex:F7M122"
+,"ex:F7M104"
+,"ex:F7M102"
+,"ex:F8M134"
+,"ex:F8M132"
+,"ex:F9M144"
+,"ex:F9M142"
+,"ex:F9M157"
+,"ex:F9M139"
+,"ex:F10M187"
+,"ex:F10M196"
+,"ex:F10M171"
+}
+
+lp.negativeExamples = {
+"ex:F10M182"
+,"ex:F2M39"
+,"ex:F10M190"
+,"ex:F2M27"
+,"ex:F7F103"
+,"ex:F3F41"
+,"ex:F7M115"
+,"ex:F10F181"
+,"ex:F9F140"
+,"ex:F10F177"
+,"ex:F10M202"
+,"ex:F2F22"
+,"ex:F3F49"
+,"ex:F9M146"
+,"ex:F3F46"
+,"ex:F9F148"
+,"ex:F2F17"
+,"ex:F5F67"
+,"ex:F3M51"
+,"ex:F6F89"
+,"ex:F2F30"
+,"ex:F6F101"
+,"ex:F9F168"
+,"ex:F10F175"
+,"ex:F1M6"
+,"ex:F2M37"
+,"ex:F6M99"
+,"ex:F1F3"
+,"ex:F5F62"
+,"ex:F10F193"
+,"ex:F3M50"
+,"ex:F5M68"
+,"ex:F7M110"
+,"ex:F10F174"
+,"ex:F6M73"
+}
\ No newline at end of file

Deleted: trunk/examples/family-benchmark/Grandgranddaughter.conf
===================================================================
--- trunk/test/family-benchmark/Grandgranddaughter.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Grandgranddaughter.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,38 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F2F17"
-+"http://www.benchmark.org/family#F2F33"
-+"http://www.benchmark.org/family#F3F49"
-+"http://www.benchmark.org/family#F3F52"
-+"http://www.benchmark.org/family#F6F83"
-+"http://www.benchmark.org/family#F6F89"
-+"http://www.benchmark.org/family#F6F96"
-+"http://www.benchmark.org/family#F6F97"
-+"http://www.benchmark.org/family#F7F108"
-+"http://www.benchmark.org/family#F7F118"
-+"http://www.benchmark.org/family#F7F129"
-+"http://www.benchmark.org/family#F7F127"
-+"http://www.benchmark.org/family#F9F145"
-+"http://www.benchmark.org/family#F9F148"
-+"http://www.benchmark.org/family#F9F150"
-+"http://www.benchmark.org/family#F9F164"
-+"http://www.benchmark.org/family#F10F201"
-
--"http://www.benchmark.org/family#F2F28"
--"http://www.benchmark.org/family#F3F41"
--"http://www.benchmark.org/family#F6F70"
--"http://www.benchmark.org/family#F10F179"
--"http://www.benchmark.org/family#F3M50"
--"http://www.benchmark.org/family#F6F74"
--"http://www.benchmark.org/family#F7F114"
--"http://www.benchmark.org/family#F8M138"
--"http://www.benchmark.org/family#F6M88"
--"http://www.benchmark.org/family#F10M194"
--"http://www.benchmark.org/family#F5M60"
--"http://www.benchmark.org/family#F2F19"
--"http://www.benchmark.org/family#F1F3"
--"http://www.benchmark.org/family#F8F137"
--"http://www.benchmark.org/family#F9M142"
--"http://www.benchmark.org/family#F3M47"
--"http://www.benchmark.org/family#F2F10"

Copied: trunk/examples/family-benchmark/Grandgranddaughter.conf (from rev 3538, trunk/test/family-benchmark/Grandgranddaughter.conf)
===================================================================
--- trunk/examples/family-benchmark/Grandgranddaughter.conf	                        (rev 0)
+++ trunk/examples/family-benchmark/Grandgranddaughter.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -0,0 +1,64 @@
+// 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"
+
+// ELTL
+// alg.type = "eltl"
+
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = { 
+"ex:F2F17"
+,"ex:F2F33"
+,"ex:F3F49"
+,"ex:F3F52"
+,"ex:F6F83"
+,"ex:F6F89"
+,"ex:F6F96"
+,"ex:F6F97"
+,"ex:F7F108"
+,"ex:F7F118"
+,"ex:F7F129"
+,"ex:F7F127"
+,"ex:F9F145"
+,"ex:F9F148"
+,"ex:F9F150"
+,"ex:F9F164"
+,"ex:F10F201"
+}
+
+lp.negativeExamples = {
+"ex:F2F28"
+,"ex:F3F41"
+,"ex:F6F70"
+,"ex:F10F179"
+,"ex:F3M50"
+,"ex:F6F74"
+,"ex:F7F114"
+,"ex:F8M138"
+,"ex:F6M88"
+,"ex:F10M194"
+,"ex:F5M60"
+,"ex:F2F19"
+,"ex:F1F3"
+,"ex:F8F137"
+,"ex:F9M142"
+,"ex:F3M47"
+,"ex:F2F10"
+}
\ No newline at end of file

Deleted: trunk/examples/family-benchmark/Grandgrandfather.conf
===================================================================
--- trunk/test/family-benchmark/Grandgrandfather.conf	2012-01-06 03:59:49 UTC (rev 3532)
+++ trunk/examples/family-benchmark/Grandgrandfather.conf	2012-01-06 12:08:06 UTC (rev 3540)
@@ -1,38 +0,0 @@
-import("family-benchmark.owl");
-
-
-+"http://www.benchmark.org/family#F2M20"
-+"http://www.benchmark.org/family#F2M29"
-+"http://www.benchmark.org/family#F2M9"
-+"http://www.benchmark.org/family#F3M45"
-+"http://www.benchmark.org/family#F3M43"
-+"http://www.benchmark.org/family#F3M40"
-+"http://www.benchmark.org/family#F5M60"
-+"http://www.benchmark.org/family#F6M92"
-+"http://www.benchmark.org/family#F6M69"
-+"http://www.benchmark.org/family#F7M107"
-+"http://www.benchmark.org/family#F7M122"
-+"http://www.benchmark.org/family#F7M104"
-+"http://www.benchmark.org/family#F7M102"
-+"http://www.benchmark.org/family#F8M132"
-+"http://www.benchmark.org/family#F9M142"
-+"http://www.benchmark.org/family#F9M139"
-+"http://www.benchmark.org/family#F10M171"
-
--"http://www.benchmark.org/family#F10M190"
--"http://www.benchmark.org/family#F9F169"
--"http://www.benchmark.org/family#F9F168"
--"http://www.benchmark.org/family#F7F106"
--"http://www.benchmark.org/family#F7M128"
--"http://www.benchmark.org/family#F7F129"
--"http://www.benchmark.org/family#F7F105"
--"http://www.benchmark.org/family#F10M182"
--"http://www.benchmark.org/family#F2F17"
--"http://www.benchmark.org/family#F2M34"
--"http://www.benchmark.org/family#F7M120"
--"http://www.benchmark.org/family#F6M81"
--"http://www.benchmark.org/family#F6F101"
--"http://www.benchmark.org/family#F8M134"
--"http://www.benchmark.org/family#F7M109"
--"http://www.benchmark.org/family#F3F53"
--"http://www.benchmark.org/family#F10M173"

Copied: trunk/examples/family-benchmark/Grandgrandfather.conf (from rev 3538, trunk/test/family-benchmark/Grandgrandfather.conf)
===================================================================
--- trunk/examples/family-benchmark/Grandgrandfather.conf	                        (rev 0)
+++ trunk/e...
 
[truncated message content]