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.
|
