Re: inference rule markup in W3C specs?

At 1:32 AM +0200 4/19/2002, Frank van Harmelen wrote:
>Dan Connolly wrote:
>
>  > >It occurs to me that the RDF Model Theory spec
>>  >   http://www.w3.org/TR/rdf-mt/
>>  >has some inference rules; they're so simple
>>  >I almost didn't think of them as inference rules,
>>  >but they are...
>>  >
>>  >       If E contains:  then add:
>>  >rdf1  xxx aaa yyy     aaa rdf:type rdf:Property
>
>Pat Hayes answered:
>
>>  Right. Jos DeRoo has them all up and running in Euler (N3-style), and
>  > I gather that Ora Lassila has a LISP engine that can run them on a
>>  cell phone, or something like that.
>
>and Sesame (http://sesame.aidministrator.nl) has them running on top 
>of Oracle and PostGres, and any other RDF Schema query engine would 
>have them running as well.
>
>Frank.
>    ----

If anybody in this group is interested I have integrated Ora 
Lassila's Wilbur system with both forward and backward chaining rule 
engines, written in LISP.  And indeed I used Pat's  RDF Model Theory 
spec  as a test case!

Enrico