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

Re: [Core] new safeness condition

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Mon, 02 Feb 2009 13:21:20 +0100
Message-ID: <4986E540.7010307@inf.unibz.it>
To: RIF WG <public-rif-wg@w3.org>
I found a problem with the definition when considering equality atoms.
I revised the definition; this should fix the problem.

Best, Jos

Jos de Bruijn wrote:
> I completed ACTION-687: Write a proposed new definition of the safeness
> restriction
> http://www.w3.org/2005/rules/wiki/Core#Safeness
> Please criticize.
> I suspect it can be a little more concisely.  When I find some time I
> will go over it again.
> I also invite anyone who is interested to go over the functions and
> predicates in DTB and check whether the binding patterns defined are
> appropriate.
> Best, Jos

Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
  - Donald Foster

Received on Monday, 2 February 2009 12:21:34 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:07:53 UTC