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

[<ku...@us...>]

Revision: 565
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=565&view=rev
Author:   kurzum
Date:     2008-02-13 06:04:45 -0800 (Wed, 13 Feb 2008)

Log Message:
-----------
intermediate

Modified Paths:
--------------
    trunk/examples/commandcollection.txt
    trunk/examples/family/daughter.conf

Added Paths:
-----------
    trunk/examples/father.conf

Removed Paths:
-------------
    trunk/examples/family/father.conf

Modified: trunk/examples/commandcollection.txt
===================================================================
--- trunk/examples/commandcollection.txt	2008-02-13 13:56:54 UTC (rev 564)
+++ trunk/examples/commandcollection.txt	2008-02-13 14:04:45 UTC (rev 565)
@@ -21,10 +21,13 @@
 refinement.quiet = false;
 refinement.useTooWeakList = true;
 
+//learning problems
+problem = posOnlyDefinition;
 
 // search tree protocol
 refinement.writeSearchTree = false;
 refinement.searchTreeFile = "log/SearchTree.txt";
+refinement.replaceSearchTree = false;
 
 
 //dig protocol

Modified: trunk/examples/family/daughter.conf
===================================================================
--- trunk/examples/family/daughter.conf	2008-02-13 13:56:54 UTC (rev 564)
+++ trunk/examples/family/daughter.conf	2008-02-13 14:04:45 UTC (rev 565)
@@ -8,45 +8,9 @@
  * Copyright (C) 2007, Jens Lehmann
  */
 
-// search tree protocol
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/searchTreeDaughter.txt";
-
-// control output
-showIndividuals = true;
-showConcepts = true;
-showRoles = true;
-showInternalKB = true;
-showSubsumptionHierarchy = true;
-
 /** background knowledge ***/
+import("daughter.kb");
 
-// male and female are disjoint
-BOTTOM = (male AND female).
-
-// role hierarchy
-Subrole(hasSon, hasChild).
-Subrole(hasDaughter, hasChild).
-
-// persons
-male(markus).
-male(stefan).
-male(heinz).
-male(bernd).
-male(franz).
-female(anna).
-female(gabi).
-female(michelle).
-
-// children
-hasSon(stefan,markus).
-hasDaughter(markus,anna).
-hasDaughter(bernd,gabi).
-hasDaughter(gabi,anna).
-hasSon(anna,heinz).
-hasSon(franz,heinz).
-hasDaughter(franz,michelle).
-
 /** examples **/
 -father(stefan).
 +father(markus).

Deleted: trunk/examples/family/father.conf
===================================================================
--- trunk/examples/family/father.conf	2008-02-13 13:56:54 UTC (rev 564)
+++ trunk/examples/family/father.conf	2008-02-13 14:04:45 UTC (rev 565)
@@ -1,43 +0,0 @@
-/**
- * Father Example
- *
- * possible solution: 
- *   male AND EXISTS hasChild.TOP
- *
- * Copyright (C) 2007, Jens Lehmann
- */
-
-/** settings **/
-// reasoner settings
-reasoner = dig;
-//digReasonerURL = "http://localhost:8081";
-//useRetrievalForClassification = true;
-//refinement.useDIGMultiInstanceChecks = twoChecks;
-
-// algorithm settings
-algorithm = refinement;
-
-// problem = posOnlyDefinition;
-
-// search tree protocol
-refinement.writeSearchTree = false;
-refinement.searchTreeFile = "log/searchFather.txt";
-
-// control output
-cli.checkSatisfiability = true;
-cli.showIndividuals = false;
-cli.showConcepts = false;
-cli.showRoles = true;
-cli.showSubsumptionHierarchy = false;
-
-import("father.kb");
-// import("father_incl.kb");
-
-/** examples **/
-+stefan
-+markus
-+bernd
--heinz
--anna
--gabi
--michelle

Copied: trunk/examples/father.conf (from rev 564, trunk/examples/family/father.conf)
===================================================================
--- trunk/examples/father.conf	                        (rev 0)
+++ trunk/examples/father.conf	2008-02-13 14:04:45 UTC (rev 565)
@@ -0,0 +1,23 @@
+/**
+ * Father Example
+ *
+ * possible solution: 
+ *   male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
+ */
+
+/** settings **/
+
+
+import("father.kb");
+
+
+/** examples **/
++stefan
++markus
++bernd
+-heinz
+-anna
+-gabi
+-michelle


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