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

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

Revision: 314
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=314&view=rev
Author:   jenslehmann
Date:     2007-12-03 08:52:30 -0800 (Mon, 03 Dec 2007)

Log Message:
-----------
updated arch example to new structure

Modified Paths:
--------------
    trunk/examples/arch/arch.conf

Added Paths:
-----------
    trunk/examples/arch/arch.kb

Removed Paths:
-------------
    trunk/examples/arch/arch_owl.conf

Modified: trunk/examples/arch/arch.conf
===================================================================
--- trunk/examples/arch/arch.conf	2007-12-03 15:57:42 UTC (rev 313)
+++ trunk/examples/arch/arch.conf	2007-12-03 16:52:30 UTC (rev 314)
@@ -22,74 +22,12 @@
 //export("arch.owl");
 
 /** background knowledge **/
-parallelpipe = (brick OR wedge).
-freeStandingPillar = (pillar AND NOT EXISTS   touches.TOP ) .
+import("arch.kb");
+// import("arch.owl");
 
-construction(c1).
-construction(c2).
-construction(c3).
-construction(c4).
-construction(c5).
-
-pillar(p1).
-pillar(p2).
-pillar(p3).
-pillar(p4).
-pillar(p5).
-pillar(p6).
-pillar(p7).
-pillar(p8).
-pillar(p9).
-
-brick(a).
-brick(b).
-brick(c).
-
-wedge(d).
-wedge(e).
-
-hasPillar(c1,p1).
-hasPillar(c1,p2).
-hasPillar(c2,p3).
-hasPillar(c2,p4).
-hasPillar(c3,p5).
-hasPillar(c3,p6).
-hasPillar(c4,p7).
-hasPillar(c4,p8).
-hasPillar(c5,p9).
-
-hasParallelpipe(c1,a).
-hasParallelpipe(c2,b).
-hasParallelpipe(c3,c).
-hasParallelpipe(c4,d).
-hasParallelpipe(c5,e).
-
-supports(p1,a).
-supports(p2,a).
-supports(p5,c).
-supports(p6,c).
-supports(p7,d).
-supports(p8,d).
-supports(p9,e).
-
-leftof(p1,p2).
-leftof(p3,p4).
-leftof(p5,p6).
-leftof(p7,p8).
-
-touches(p5,p6).
-
-freeStandingPillar(p1).
-freeStandingPillar(p2).
-freeStandingPillar(p3).
-freeStandingPillar(p4).
-freeStandingPillar(p7).
-freeStandingPillar(p8).
-freeStandingPillar(p9).
-
 /** examples **/
-+arch(c1).
-+arch(c4).
--arch(c2).
--arch(c3).
--arch(c5).
++c1
++c4
+-c2
+-c3
+-c5

Added: trunk/examples/arch/arch.kb
===================================================================
--- trunk/examples/arch/arch.kb	                        (rev 0)
+++ trunk/examples/arch/arch.kb	2007-12-03 16:52:30 UTC (rev 314)
@@ -0,0 +1,64 @@
+parallelpipe = (brick OR wedge).
+freeStandingPillar = (pillar AND NOT EXISTS   touches.TOP ) .
+
+construction(c1).
+construction(c2).
+construction(c3).
+construction(c4).
+construction(c5).
+
+pillar(p1).
+pillar(p2).
+pillar(p3).
+pillar(p4).
+pillar(p5).
+pillar(p6).
+pillar(p7).
+pillar(p8).
+pillar(p9).
+
+brick(a).
+brick(b).
+brick(c).
+
+wedge(d).
+wedge(e).
+
+hasPillar(c1,p1).
+hasPillar(c1,p2).
+hasPillar(c2,p3).
+hasPillar(c2,p4).
+hasPillar(c3,p5).
+hasPillar(c3,p6).
+hasPillar(c4,p7).
+hasPillar(c4,p8).
+hasPillar(c5,p9).
+
+hasParallelpipe(c1,a).
+hasParallelpipe(c2,b).
+hasParallelpipe(c3,c).
+hasParallelpipe(c4,d).
+hasParallelpipe(c5,e).
+
+supports(p1,a).
+supports(p2,a).
+supports(p5,c).
+supports(p6,c).
+supports(p7,d).
+supports(p8,d).
+supports(p9,e).
+
+leftof(p1,p2).
+leftof(p3,p4).
+leftof(p5,p6).
+leftof(p7,p8).
+
+touches(p5,p6).
+
+freeStandingPillar(p1).
+freeStandingPillar(p2).
+freeStandingPillar(p3).
+freeStandingPillar(p4).
+freeStandingPillar(p7).
+freeStandingPillar(p8).
+freeStandingPillar(p9).

Deleted: trunk/examples/arch/arch_owl.conf
===================================================================
--- trunk/examples/arch/arch_owl.conf	2007-12-03 15:57:42 UTC (rev 313)
+++ trunk/examples/arch/arch_owl.conf	2007-12-03 16:52:30 UTC (rev 314)
@@ -1,16 +0,0 @@
-/**
- * See arch.conf. This is the same learning problem, but loading background
- * knowledge from an OWL file instead.
- *
- * Copyright (C) 2007, Sebastian Hellmann
- */
-
-/** background knowledge **/
-import("arch.owl");
-
-/** examples **/
-+arch("http://localhost/foo#c1").
-+arch("http://localhost/foo#c4").
--arch("http://localhost/foo#c2").
--arch("http://localhost/foo#c3").
--arch("http://localhost/foo#c5").


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