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

[Core] new safeness condition

From: Jos de Bruijn <debruijn@inf.unibz.it>
Date: Fri, 23 Jan 2009 20:42:31 +0100
Message-ID: <497A1DA7.7090100@inf.unibz.it>
To: RIF WG <public-rif-wg@w3.org>
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
scholar.
  - Donald Foster


Received on Friday, 23 January 2009 19:42:58 GMT

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