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

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

Revision: 560
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=560&view=rev
Author:   kurzum
Date:     2008-02-13 03:39:41 -0800 (Wed, 13 Feb 2008)

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

Modified Paths:
--------------
    trunk/examples/trains/trains.conf
    trunk/examples/trains/trains_owl.conf

Modified: trunk/examples/trains/trains.conf
===================================================================
--- trunk/examples/trains/trains.conf	2008-02-13 11:35:36 UTC (rev 559)
+++ trunk/examples/trains/trains.conf	2008-02-13 11:39:41 UTC (rev 560)
@@ -30,9 +30,10 @@
  * Copyright (C) 2007, Jens Lehmann
  */
 
-// refinement.writeSearchTree = true;
-// refinement.searchTreeFile = "log/searchTreeTrains.txt";
 
+/*Background knowledge*/
+
+
 import("trains.kb");
 
 /** examples **/

Modified: trunk/examples/trains/trains_owl.conf
===================================================================
--- trunk/examples/trains/trains_owl.conf	2008-02-13 11:35:36 UTC (rev 559)
+++ trunk/examples/trains/trains_owl.conf	2008-02-13 11:39:41 UTC (rev 560)
@@ -5,19 +5,20 @@
  * Copyright (C) 2007, Jens Lehmann
  */
 
+hidePrefix = "http://example.com/foo#";
+
+/*Background knowledge*/
+
 import("trains.owl"); 
 
-algorithm = refinement;
-refinement.quiet = false;
-hidePrefix = "http://example.com/foo#";
-
-+eastbound("http://example.com/foo#east1").
-+eastbound("http://example.com/foo#east2").
-+eastbound("http://example.com/foo#east3").
-+eastbound("http://example.com/foo#east4").
-+eastbound("http://example.com/foo#east5").
--eastbound("http://example.com/foo#west6").
--eastbound("http://example.com/foo#west7").
--eastbound("http://example.com/foo#west8").
--eastbound("http://example.com/foo#west9").
--eastbound("http://example.com/foo#west10").
+/*Examples*/
++"http://example.com/foo#east1"
++"http://example.com/foo#east2"
++"http://example.com/foo#east3"
++"http://example.com/foo#east4"
++"http://example.com/foo#east5"
+-"http://example.com/foo#west6"
+-"http://example.com/foo#west7"
+-"http://example.com/foo#west8"
+-"http://example.com/foo#west9"
+-"http://example.com/foo#west10"


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