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 GMT
This archive was generated by hypermail 2.2.0 + w3c-0.30 : Friday, 25 March 2005 11:20:47 GMT