Re: [Core] PROPOSED Core resolutions from telecon Monday, September 22

<snip/>


> 
> <AxelPolleres> PROPOSED: Core should keep disjunction in rule bodies,
> only if this is permitted by the solution to issue-70.


Could you explain the rationale of this proposal? I had the feeling
there was a consensus about removing disjunction in Core?


Best, Jos

> 
> 
> 
> <Harold> > > http://www.w3.org/2005/rules/wg/track/issues/76
> 
> <Harold> > > PROPOSED: Core should keep unrestricted equality in rule
> bodies (cf.
> 
> <Harold> > > ISSUE-71).
> 
> 
> 
> -----Original Message-----
> From: Dave Reynolds [mailto:der@hplb.hpl.hp.com] 
> Sent: September 19, 2008 11:32 AM
> To: Boley, Harold
> Cc: Axel Polleres; Gary Hallmark; Adrian Paschke; kifer@cs.sunysb.edu;
> team-rif-chairs@w3.org
> Subject: Re: RIF-Core: proposing resolutions to current issues
> 
> . . .
> 
>> http://www.w3.org/2005/rules/wg/track/issues/72
>> PROPOSED: Do not include Skolem functions or a 'New' builtin for Core
>> (a 'New' construct can be developed for PRD).
> 
> I would prefer to include the "new" builtin and have that available in 
> both BLD and PRD.
> 
> My primary motivation is that a substantial number of "in the wild" RDF 
> rule sets do something like this to construct new bNodes. For the 
> observed usages then the proposed "new" builtin would be sufficient and 
> would be implementable in both a BLD and PRD setting.
> 
> However, PRD seems to be opting for the "new" action, rather than the 
> builtin/skolem function, and that seems to have a Gensym semantics. 
> That's clearly a problem. I assume PRD doesn't want two different forms 
> of "new" and the true Gensym form can't be in Core.  I'd like to at 
> least understand the PRD position here before agreeing to this proposal.
> 
> . . .
> 

-- 
                         debruijn@inf.unibz.it

Jos de Bruijn,        http://www.debruijn.net/
----------------------------------------------
One man that has a mind and knows it can
always beat ten men who haven't and don't.
  -- George Bernard Shaw