- From: Gary Hallmark <gary.hallmark@oracle.com>
- Date: Thu, 22 Dec 2005 16:45:07 -0800
- To: public-rif-wg@w3.org
>Suppose I have a rule set like: > > bindreq @le (bound, bound) > less(?x,2) <- @le(?x,2) > >then I expect, from the virtual KB wording to get at least two results > > less(1,2) > less(2,2) > >but the bindreq changes that so that I get no results. > >How can you account for the meaning of the bindreq pragmas? > > As a practitioner I would expect a rule set compiler to issue an error message stating that this is an illegal rule because ?x is unbound in the rule condition. > >
Received on Friday, 23 December 2005 00:45:15 UTC