- 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>
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 UTC