Revision: 57
http://dl-learner.svn.sourceforge.net/dl-learner/?rev=57&view=rev
Author: jenslehmann
Date: 2007-08-25 09:02:32 -0700 (Sat, 25 Aug 2007)
Log Message:
-----------
created new simple learning example for subrole testing
Added Paths:
-----------
trunk/examples/daughter.conf
Added: trunk/examples/daughter.conf
===================================================================
--- trunk/examples/daughter.conf (rev 0)
+++ trunk/examples/daughter.conf 2007-08-25 16:02:32 UTC (rev 57)
@@ -0,0 +1,55 @@
+/**
+ * Example "grandfather with daughter"
+ *
+ * possible solution:
+ * male AND EXISTS hasDaughter.EXISTS hasChild.TOP
+ * male AND EXISTS hasChild.(female AND EXISTS hasChild.TOP)
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+// search tree protocol
+refinement.writeSearchTree = true;
+refinement.searchTreeFile = "log/searchTreeDaughter.txt";
+
+// control output
+showIndividuals = true;
+showConcepts = true;
+showRoles = true;
+showInternalKB = true;
+showSubsumptionHierarchy = true;
+
+/** background knowledge ***/
+BOTTOM = (male AND female).
+
+Subrole(hasSon, hasChild).
+Subrole(hasDaughter, hasChild).
+
+// persons
+male(markus).
+male(stefan).
+male(heinz).
+male(bernd).
+male(franz).
+female(anna).
+female(gabi).
+female(michelle).
+
+// children
+hasChild(stefan,markus).
+hasChild(markus,anna).
+hasChild(bernd,gabi).
+hasChild(gabi,anna).
+hasChild(anna,heinz).
+hasChild(franz,heinz).
+hasChild(franz,michelle).
+
+/** examples **/
+-father(stefan).
++father(markus).
++father(bernd).
+-father(heinz).
+-father(anna).
+-father(gabi).
+-father(michelle).
+-father(franz).
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|
