- From: Enrico Motta <e.motta@open.ac.uk>
- Date: Wed, 24 Apr 2002 19:24:03 +0100
- 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 UTC