W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2006

Re: [UCR] RIF needs different reasoning methods

From: Sandro Hawke <sandro@w3.org>
Date: Sun, 12 Mar 2006 19:50:05 -0500
To: "Gerd Wagner" <wagnerg@tu-cottbus.de>
Cc: public-rif-wg@w3.org
Message-Id: <20060313005006.7E4034F402@homer.w3.org>

> > I think the key question is to what extent we want to support 
> > different
> > types of semantics for rules with the same syntax.  
> > Is that really a good thing? 
> Are you asking if it's really a good thing to support
> both derivation rules and integrity rules/constraints?
> (These two types of rules are distinguished both in SQL
> and in OCL.) 

My understanding is that derivation rules and integrity constraints are
just a bifurcation of Horn rules (or sometimes the two halves of
something beyond Horn).  As such they fit easily into the same

   - sandro
Received on Monday, 13 March 2006 00:50:13 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:47:37 UTC