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

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

Revision: 90
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=90&view=rev
Author:   kurzum
Date:     2007-08-28 07:03:01 -0700 (Tue, 28 Aug 2007)

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


Modified Paths:
--------------
    trunk/examples/arch/arch_owl.conf
    trunk/examples/daughter.conf
    trunk/examples/father2.conf
    trunk/examples/poker/pair_owl.conf
    trunk/examples/poker/straight_owl.conf
    trunk/examples/trains/trains_owl.conf
    trunk/examples/uncle.conf

Modified: trunk/examples/arch/arch_owl.conf
===================================================================
--- trunk/examples/arch/arch_owl.conf	2007-08-28 13:43:52 UTC (rev 89)
+++ trunk/examples/arch/arch_owl.conf	2007-08-28 14:03:01 UTC (rev 90)
@@ -28,7 +28,7 @@
  // search tree protocol
 refinement.writeSearchTree = false;
 refinement.searchTreeFile = "searchTree.txt";
-refinement.quiet = true;
+refinement.quiet = false;
 import("arch.owl");
 // hidePrefix="http://localhost/foo#";
 /** background knowledge **/

Modified: trunk/examples/daughter.conf
===================================================================
--- trunk/examples/daughter.conf	2007-08-28 13:43:52 UTC (rev 89)
+++ trunk/examples/daughter.conf	2007-08-28 14:03:01 UTC (rev 90)
@@ -9,7 +9,7 @@
  */
 
 // search tree protocol
-refinement.writeSearchTree = true;
+refinement.writeSearchTree = false;
 refinement.searchTreeFile = "log/searchTreeDaughter.txt";
 
 // control output

Modified: trunk/examples/father2.conf
===================================================================
--- trunk/examples/father2.conf	2007-08-28 13:43:52 UTC (rev 89)
+++ trunk/examples/father2.conf	2007-08-28 14:03:01 UTC (rev 90)
@@ -11,7 +11,7 @@
 // and roles to make the output more readable
 hidePrefix = "http://example.com/father#";
 
-writeDIGProtocol = true;
+writeDIGProtocol = false;
 digProtocolFile = "owlapi_dig.txt";
 
 /** examples **/

Modified: trunk/examples/poker/pair_owl.conf
===================================================================
--- trunk/examples/poker/pair_owl.conf	2007-08-28 13:43:52 UTC (rev 89)
+++ trunk/examples/poker/pair_owl.conf	2007-08-28 14:03:01 UTC (rev 90)
@@ -3,7 +3,7 @@
 showIndividuals = true;
 
 import("pair50.owl");
-refinement.quiet = true;
+refinement.quiet = false;
 
 -pair("http://localhost/foo#hand0").
 -pair("http://localhost/foo#hand1").

Modified: trunk/examples/poker/straight_owl.conf
===================================================================
--- trunk/examples/poker/straight_owl.conf	2007-08-28 13:43:52 UTC (rev 89)
+++ trunk/examples/poker/straight_owl.conf	2007-08-28 14:03:01 UTC (rev 90)
@@ -1,5 +1,5 @@
 import("straight.owl");
-refinement.quiet = true;
+refinement.quiet = false;
 
 +straight("http://localhost/foo#hand1").
 +straight("http://localhost/foo#hand22").

Modified: trunk/examples/trains/trains_owl.conf
===================================================================
--- trunk/examples/trains/trains_owl.conf	2007-08-28 13:43:52 UTC (rev 89)
+++ trunk/examples/trains/trains_owl.conf	2007-08-28 14:03:01 UTC (rev 90)
@@ -1,7 +1,7 @@
 import("trains.owl"); 
 
 algorithm = refinement;
-refinement.quiet = true;
+refinement.quiet = false;
 hidePrefix = "http://example.com/foo#";
 
 +eastbound("http://example.com/foo#east1").

Modified: trunk/examples/uncle.conf
===================================================================
--- trunk/examples/uncle.conf	2007-08-28 13:43:52 UTC (rev 89)
+++ trunk/examples/uncle.conf	2007-08-28 14:03:01 UTC (rev 90)
@@ -12,7 +12,7 @@
  *       to find shorter correct solutions than the desired one above.
  */
 
-writeDIGProtocol = true;
+writeDIGProtocol = false;
 digProtocolFile = "dig_uncle_fact.txt";
 
 /** background knowledge **/


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