W3C home > Mailing lists > Public > public-rif-wg@w3.org > May 2009

Re: [Core] new definition of safeness

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Mon, 04 May 2009 11:42:50 +0200
Message-ID: <49FEB89A.5000905@inf.unibz.it>
To: RIF <public-rif-wg@w3.org>
I also finished the definition of strong safeness:
http://www.w3.org/2005/rules/wiki/Core#Strong_Safeness

please have a look.

Jos

Jos de Bruijn wrote:
> It turns out that the earlier definition of safeness I contrived is not
> very extensible.  And as you may have noticed, it's not all that easy to
> understand.  Also, it precluded the use of "output" variables of
> external predicates to be used as inputs for other externals.
> So, I came up with a new definition that addresses these issues:
> http://www.w3.org/2005/rules/wiki/Core#Safeness
> 
> Please have a look.  The new definition uses a kind of normalization to
> deal with disjunction and defines the notion of equivalence classes for
> variables to deal with equality.
> So, I needed some additional preliminary definitions, but the definition
> of safeness itself is more straightforward.
> 
> I will now work on the extension with strong safeness, which should not
> be too hard.
> 
> 
> Jos

-- 
+43 1 58801 18470        debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
Many would be cowards if they had courage
enough.
  - Thomas Fuller


Received on Monday, 4 May 2009 09:43:48 GMT

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