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

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

Revision: 141
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=141&view=rev
Author:   jenslehmann
Date:     2007-09-18 04:40:37 -0700 (Tue, 18 Sep 2007)

Log Message:
-----------
started example cleanup

Modified Paths:
--------------
    trunk/examples/father.conf
    trunk/examples/father2.conf
    trunk/examples/grandfather.conf
    trunk/examples/uncle.conf

Modified: trunk/examples/father.conf
===================================================================
--- trunk/examples/father.conf	2007-09-15 11:24:14 UTC (rev 140)
+++ trunk/examples/father.conf	2007-09-18 11:40:37 UTC (rev 141)
@@ -1,7 +1,10 @@
 /**
  * Father Example
  *
- * possible solution: male AND EXISTS hasChild.TOP
+ * possible solution: 
+ *   male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
  */
 
 /** settings **/

Modified: trunk/examples/father2.conf
===================================================================
--- trunk/examples/father2.conf	2007-09-15 11:24:14 UTC (rev 140)
+++ trunk/examples/father2.conf	2007-09-18 11:40:37 UTC (rev 141)
@@ -1,6 +1,10 @@
 /**
  * Another Father Example (this time using OWL import)
  *
+ * possible solution:
+ *   male AND EXISTS hasChild.TOP
+ *
+ * Copyright (C) 2007, Jens Lehmann
  */
 
 reasoner = dig;
@@ -12,7 +16,7 @@
 hidePrefix = "http://example.com/father#";
 
 writeDIGProtocol = false;
-digProtocolFile = "owlapi_dig.txt";
+digProtocolFile = "log/father2_dig.txt";
 
 /** examples **/
 +father("http://example.com/father#stefan").

Modified: trunk/examples/grandfather.conf
===================================================================
--- trunk/examples/grandfather.conf	2007-09-15 11:24:14 UTC (rev 140)
+++ trunk/examples/grandfather.conf	2007-09-18 11:40:37 UTC (rev 141)
@@ -1,10 +1,13 @@
 /**
  * Grandfather Example
  * 
- * possible solution: male AND EXISTS hasChild.EXISTS hasChild.TOP
+ * possible solution: 
+ *   male AND EXISTS hasChild.EXISTS hasChild.TOP
  *
  * Compared tp the father example, we have an additional concept person and
  * and additional role married here to make the task more complex.
+ *
+ * Copyright (C) 2007, Jens Lehmann
  */
 
 /** settings **/

Modified: trunk/examples/uncle.conf
===================================================================
--- trunk/examples/uncle.conf	2007-09-15 11:24:14 UTC (rev 140)
+++ trunk/examples/uncle.conf	2007-09-18 11:40:37 UTC (rev 141)
@@ -10,10 +10,12 @@
  *
  * Note: Currently the data is insufficient, i.e. it allows the algorithm to
  *       to find shorter correct solutions than the desired one above.
+ *
+ * Copyright (C) 2007, Jens Lehmann
  */
 
 writeDIGProtocol = false;
-digProtocolFile = "dig_uncle_fact.txt";
+digProtocolFile = "log/dig_uncle_fact.txt";
 
 /** background knowledge **/
 BOTTOM = (male AND female).


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