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

Re: [Core] 1) editorial things in Core and 2) first draft of Eiter-Schindlauer safety.

From: Axel Polleres <axel.polleres@deri.org>
Date: Wed, 15 Apr 2009 11:55:11 -0400
Message-ID: <49E6035F.6050107@deri.org>
To: Dave Reynolds <der@hplb.hpl.hp.com>
CC: Jos de Bruijn <debruijn@inf.unibz.it>, "Public-Rif-Wg (E-mail)" <public-rif-wg@w3.org>
Added strong safety strawman to core and corrected typo pointed out by dave.

Axel

Dave Reynolds wrote:
> Axel Polleres wrote:
> 
>> What about nested Externals?, I think the b-u replacement needs to be
>> defined recursively to cater for those, yes? 
> 
> At the time Jos wrote his definition nested externals were syntactically 
> excluded from Core.  Harold added them back in again at the syntactic 
> level but we have no formal resolution either way on nested externals 
> functions (including in the head as well as the body).
> 
> If we agree to keep nested externals then one approach would be to 
> define a syntactic transform from Core to a minimal Core without nested 
> externals (indeed could remove disjunction the same way) and define 
> safety over the minimal Core.
> 
> Otherwise the safety definition would indeed need updating.
> 
>> Now for 2). 
> 
> Minor typo:
> 
>> <ul>
>> <li> if H occurs in head of a rule r and H in the body of r then add 
>> (H,B).</li>
> 
> The second H should be B, right?
> 
>> p.s.: small "process question" I am not sure whether I should not add 
>> the draft text for strongly safe rulesets at this point, since Core is 
>> frozen or are wiki changes allowed? 
> 
> I would go ahead and add it but Harold was going to hold a Core editor's 
> meeting for those editors at the f2f so check with him.
> 
> Would also need to modify the conformance statement to require strongly 
> safe rather than just safe rules and add the At Risk statement.
> 
> Dave


-- 
Dr. Axel Polleres
Digital Enterprise Research Institute, National University of Ireland, 
Galway
email: axel.polleres@deri.org  url: http://www.polleres.net/
Received on Wednesday, 15 April 2009 15:55:53 GMT

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