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
semantics.

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

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:27 GMT