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

Re: inference rule markup in W3C specs?

From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
Date: Fri, 19 Apr 2002 01:32:05 +0200
Message-ID: <3CBF5775.34D04325@cs.vu.nl>
To: www-webont-wg@w3.org
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.
   ----
Received on Thursday, 18 April 2002 19:35:21 GMT

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