W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

Re: inference rule markup in W3C specs?

From: Enrico Motta <e.motta@open.ac.uk>
Date: Wed, 24 Apr 2002 19:24:03 +0100
Message-Id: <p0510030fb8eca83b2e41@[137.108.25.86]>
To: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>, www-webont-wg@w3.org
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
Received on Wednesday, 24 April 2002 14:24:23 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT