- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Fri, 7 Sep 2001 21:55:00 +0100
- To: eric@w3.org
- Cc: www-rdf-rules@w3.org
Hi Eric,
> In the charter terms [1], I make the bold statement that rules are
> composed of queries and assertions. This is intended to clarify why
> both communities have been inducted into the same list. In
> implementing algae [2], I used the variables bindings from a query to
> compose assertions. Does this match the experience of others?
I think it does make sense
In our experience we see it somehow as
-> F(act) # a fact
P(remis) -> C(onclusion) # a rule
Q(uery) -> # a query
so P and Q are actually on equal feet
> [1] http://lists.w3.org/Archives/Public/www-rdf-rules/#terms
> [2] http://www.w3.org/1999/02/26-modules/User/Algae-HOWTO
--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Friday, 7 September 2001 15:55:12 UTC