W3C home > Mailing lists > Public > www-rdf-interest@w3.org > July 2000

Re: Inference rules [was: extracting...]

From: <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 18 Jul 2000 01:17:40 +0200
To: " - *connolly@w3.org" <connolly@w3.org>
Cc: " - *www-rdf-interest@w3.org" <www-rdf-interest@w3.org>
Message-Id: <0006800027684517000002L072*@MHS>
Dan Connolly wrote:
> I had some inspiration tonight... a design for rules
> came together:

> http://www.w3.org/2000/04shoe-swell/inference#

Cool! (also the list thing...)
I see you making variables and rulesteps URI global.

In Euler the http://www.w3.org/2000/04shoe-swell/inference
example would look like:

<xx:busy r:source="var:who" r:drain="var:t">
  <r:junction>
    <xx:member r:source="var:who" r:drain="var:group"/>
    <xx:meets r:source="var:group" r:drain="var:t"/>
  </r:junction>
</xx:busy>

One can use the var namespace to have variable predicates
which can be useful for higher order logic such as in
ftp://windsor.agfa.be/outgoing/RCEI/NET/euler/authen.rdf
I guess this must be possible in shoe-swell as well,
just wonder how ?-)

Jos De Roo
Received on Monday, 17 July 2000 19:19:09 GMT

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