W3C home > Mailing lists > Public > public-sw-meaning@w3.org > October 2003

Re: A bit of running code for "Tim's View"

From: Jim Hendler <hendler@cs.umd.edu>
Date: Wed, 8 Oct 2003 14:13:46 -0400
Message-Id: <p05200f0dbbaa03b42faf@[]>
To: Sandro Hawke <sandro@w3.org>, public-sw-meaning@w3.org

At 12:04 PM -0400 10/8/03, Sandro Hawke wrote:
>I proposed a kind of "Hello World" for Tim's view of how URIs should
>work in RDF, and he modified cwm to support it.  I take this as pretty
>good evidence of what his view is.  :-)
>The test is:
>     1.  File myDingo.n3 says:
>           @prefix bio: <http://www.w3.org/2000/10/swap/test/ferrell/biology#>.
>           :Donny a bio:Dingo.
>     2.  If you follow the bio:Dingo link, you will learn that every
>         bio:Dingo is a bio:Dog.  Try it.  Bio says it using
>         ferrell:subClassOf.  [Ferrell is another name for OWL, but I
>         don't want the machine to know that.  Ferrell is the name of a
>         great horned owl my wife used to babysit.]  If you follow the
>         ferrell:subClassOf URI, you'll see a doc:rules link which
>         points to some Horn rules about what ferrell:subClassOf mean.
>	Some of this (like doc:rules and log:implies) is only defined
>         for humans, but enough is machine-readable that for step 3 to
>         work.
>     3.  Run "cwm --closure=por myDingo.n3 --think" and it will
>         output (among other things):
>           :Donny a bio:Dog.

if the bio:page states
     bio:Dog a bio:mammal
will you output
  Donny a bio:mammal.

If the bio: page contains
   :Coconut a :Cat

will cwm claim
   bio:Coconut a bio:Cat.

>       -- sandro

p.s. I would run it and test it myself, but I screwed up my python 

Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  *** 240-277-3388 (Cell)
http://www.cs.umd.edu/users/hendler      *** NOTE CHANGED CELL NUMBER ***
Received on Wednesday, 8 October 2003 14:14:05 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 19:56:01 UTC