Re: [RIF] [UCR]: What is the RIF (revisited) --> changing vendor rule languages from jos.deroo@agfa.com on 2006-02-09 (public-rif-wg@w3.org from February 2006)

From: <jos.deroo@agfa.com>
Date: Thu, 9 Feb 2006 23:34:08 +0100
To: kifer@cs.sunysb.edu
Cc: public-rif-wg@w3.org
Message-ID: <OFE968CB3A.B11802E8-ONC1257110.0077CAE3-C1257110.007BF71F@agfa.com>

>> [a bit aside this discussion]
>> What about rules to serve the purpose of building
>> proofs so that my engine can explain what it did?
>
> How are such rules different from what we have been discussing so far?

My assumption is that there is a proof rung in the semantic
web ladder and it will get support from the rules rung
so maybe we look to too much expressiveness of the RIF
.. we don't have to do everything with rules :-)


-- 
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Thursday, 9 February 2006 22:34:31 UTC