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

Dan Connolly wrote:
> I had some inspiration tonight... a design for rules
> came together:


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

In Euler the
example would look like:

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

One can use the var namespace to have variable predicates
which can be useful for higher order logic such as in
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