[DL-Learner SVN] SF.net SVN: dl-learner:[3459] trunk/examples

[<lor...@us...>]

Revision: 3459
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=3459&view=rev
Author:   lorenz_b
Date:     2011-12-01 13:03:42 +0000 (Thu, 01 Dec 2011)
Log Message:
-----------
Fixed some examples.

Modified Paths:
--------------
    trunk/examples/datatypes/stringtyped.conf
    trunk/examples/family/father_owl.conf
    trunk/examples/family/father_posonly.conf

Modified: trunk/examples/datatypes/stringtyped.conf
===================================================================
--- trunk/examples/datatypes/stringtyped.conf	2011-12-01 11:25:16 UTC (rev 3458)
+++ trunk/examples/datatypes/stringtyped.conf	2011-12-01 13:03:42 UTC (rev 3459)
@@ -26,12 +26,16 @@
 "kb:nothing1",
 "kb:nothing2"
 }
+lp.reasoner = reasoner
 
 op.type = "rho"
+op.reasoner = reasoner
 op.useDataHasValueConstructor=true
 op.useStringDatatypes = true
 
 alg.type = "ocel"
+alg.reasoner = reasoner
+alg.operator = op
 alg.searchTreeFile = "log/stringTypedTree.txt"
 // alg.writeSearchTree = true
 

Modified: trunk/examples/family/father_owl.conf
===================================================================
--- trunk/examples/family/father_owl.conf	2011-12-01 11:25:16 UTC (rev 3458)
+++ trunk/examples/family/father_owl.conf	2011-12-01 13:03:42 UTC (rev 3459)
@@ -6,18 +6,42 @@
  *
  * Copyright (C) 2007, Jens Lehmann
  */
+// declare some prefixes to use as abbreviations
+prefixes = [ ("kb","http://localhost/foo#") ]
 
-import("father.owl");
+// knowledge source definition
+ks.type = "OWL File"
+ks.url = "father.owl"
+// ks.baseDir = "examples/family"; //Assuming running from parent directory of examples.
 
-// do not display http://example.com/father# in concepts 
-// and roles to make the output more readable
-hidePrefix = "http://example.com/father#";
+// reasoner
+reasoner.type = "fast instance checker"
+reasoner.reasonerComponent = embeddedReasoner
 
+embeddedReasoner.type = "OWL API Reasoner"
+embeddedReasoner.sources = { ks }
 
-/** examples **/
-+"http://example.com/father#stefan"
-+"http://example.com/father#markus"
-+"http://example.com/father#martin"
--"http://example.com/father#heinz"
--"http://example.com/father#anna"
--"http://example.com/father#michelle"
+// learning problem
+lp.type = "posNegStandard"
+lp.positiveExamples = {"kb:markus","kb:stefan","kb:martin"}
+lp.negativeExamples = {"kb:heinz","kb:anna","kb:michelle"}
+
+// plug a reasoner into the learning problem
+lp.reasoner = reasoner
+//lp.reasoner = reasoner - try to remove the component:part in the parser
+
+// create a refinement operator and configure it
+op.type = "rho"
+op.useCardinalityRestrictions = true
+op.reasoner = reasoner
+
+// create a heuristic and configure it
+h.type = "multiheuristic"
+h.expansionPenaltyFactor = 0.2
+
+// create learning algorithm to run
+alg.type = "ocel"
+alg.reasoner = reasoner
+alg.operator = op
+alg.heuristic = h
+alg.maxExecutionTimeInSeconds = 15
\ No newline at end of file

Modified: trunk/examples/family/father_posonly.conf
===================================================================
--- trunk/examples/family/father_posonly.conf	2011-12-01 11:25:16 UTC (rev 3458)
+++ trunk/examples/family/father_posonly.conf	2011-12-01 13:03:42 UTC (rev 3459)
@@ -1,19 +1,46 @@
 /**
- * Father Example
+ * Another Father Example (this time using OWL import)
  *
- * possible solution: 
+ * possible solution:
  *   male AND EXISTS hasChild.TOP
  *
- * Copyright (C) 2007-2009, Jens Lehmann
+ * Copyright (C) 2007, Jens Lehmann
  */
+// declare some prefixes to use as abbreviations
+prefixes = [ ("kb","http://localhost/foo#") ]
 
-/** settings **/
-import("father.kb");
-problem = posOnlyLP;
-algorithm = celoe;
-celoe.maxExecutionTimeInSeconds = 1;
+// knowledge source definition
+ks.type = "KB File"
+ks.url = "father.kb"
+// ks.baseDir = "examples/family"; //Assuming running from parent directory of examples.
 
-/** examples **/
-+stefan
-+markus
-+bernd
+// reasoner
+reasoner.type = "fast instance checker"
+reasoner.reasonerComponent = embeddedReasoner
+
+embeddedReasoner.type = "OWL API Reasoner"
+embeddedReasoner.sources = { ks }
+
+// learning problem
+lp.type = "posOnlyLP"
+lp.positiveExamples = {"kb:markus","kb:stefan","kb:bernd"}
+
+// plug a reasoner into the learning problem
+lp.reasoner = reasoner
+//lp.reasoner = reasoner - try to remove the component:part in the parser
+
+// create a refinement operator and configure it
+op.type = "rho"
+op.useCardinalityRestrictions = true
+op.reasoner = reasoner
+
+// create a heuristic and configure it
+h.type = "multiheuristic"
+h.expansionPenaltyFactor = 0.2
+
+// create learning algorithm to run
+alg.type = "ocel"
+alg.reasoner = reasoner
+alg.operator = op
+alg.heuristic = h
+alg.maxExecutionTimeInSeconds = 10

This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.