W3C home > Mailing lists > Public > www-rdf-interest@w3.org > December 2002

Re: KR and RDF Redux

From: Richard H. McCullough <rhm@cdepot.net>
Date: Wed, 11 Dec 2002 09:23:56 -0800
Message-ID: <001501c2a13a$16724d80$bd7ba8c0@rhm8200>
To: "Seth Ladd" <seth@brivo.net>, <www-rdf-interest@w3.org>
1. KR has a special syntax for actions, very different from attributes.  I have carefully avoided converting verbs to nouns.  The KR translation of this English example is

    at time=past { John do walk with purpose=buy milk from his home to the store done }

2. Could you explain these acronyms to me?
Dick McCullough 
knowledge := man do identify od existent done
knowledge haspart proposition list

  ----- Original Message ----- 
  From: Seth Ladd 
  To: www-rdf-interest@w3.org 
  Sent: Wednesday, December 11, 2002 7:54 AM
  Subject: Re: KR and RDF Redux

  Charles McCathieNevile wrote:
  > journey
  >   by John
  >   from hisHouse
  >   to theStore
  >   purpose
  >     purchase milk
  > (all except the purpose bit is readily available in the work that Dan
  > Connolly, Jim Ley, I and others have done in encoding flight information.
  > Adding a purpose for the journey is a good idea - especially since our use
  > case often involves going to meetings (already expresed as RDF) and the rest
  > seems to be trying to meet friends (fair amount of data available in FOAF)

  I think the point here is that the solution to "John walked to the store" is turned inside out from a verb to a noun.  Create a noun (object) that is the result of the action performed.  Then you can add many properties to this object and talk about it.

  This also helps when trying to use CRUD functions on everything (in an attempt to follow REST principles).  Inside of "door.enter()" you can "Entrance.create()".  Once I've done that, I can then talk about (apply properties to) an Entrance, because it is now a Thing.

Received on Wednesday, 11 December 2002 12:23:57 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:07:43 UTC