- From: Gerd Wagner <wagnerg@tu-cottbus.de>
- Date: Thu, 20 Apr 2006 11:12:10 +0200
- To: "'Gary Hallmark'" <gary.hallmark@oracle.com>, "'Francois Bry'" <bry@ifi.lmu.de>
- Cc: <public-rif-wg@w3.org>
> but I don't see any way to have RIF Core be anything but > the semantic intersection of deductive, normative, and > reactive rules. This intersection will not be any core rule format, but will be just empty, since normative/integrity rules are arbitrary logical statements (quantifier-free sentences), while the other types of rules share at least the concept of a rule condition, which is a (typically quantifier-free) logical formula with free variables. The RIF must define a family, not an intersection, of languages in order to be general. -Gerd
Received on Thursday, 20 April 2006 09:11:53 UTC