- From: Frank van Harmelen <Frank.van.Harmelen@cs.vu.nl>
- Date: Fri, 19 Apr 2002 01:32:05 +0200
- 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 UTC