W3C home > Mailing lists > Public > public-owl-wg@w3.org > January 2008

Re: Proposal and Test cases (Re: skolems: visible differences?)

From: Alan Ruttenberg <alanruttenberg@gmail.com>
Date: Thu, 17 Jan 2008 10:02:50 -0500
Message-Id: <DAD4357D-3DA0-427F-8BFA-FFEF0BE3F5CD@gmail.com>
Cc: Bijan Parsia <bparsia@cs.man.ac.uk>, OWL Working Group WG <public-owl-wg@w3.org>
To: Jeremy Carroll <jjc@hpl.hp.com> 

On Jan 17, 2008, at 9:24 AM, Jeremy Carroll wrote:

> Alan Ruttenberg wrote:
>> On Jan 16, 2008, at 10:08 AM, Jeremy Carroll wrote:
>>> in summary, not in favour of Skolemized semantics; but in favour  
>>> of Skolemizing implementations.
>> I don't think we have to say anything about implementations, do we?
>
>
> If all or most OWL implementations do things in a particular way,  
> it is relevant to our decision. We shouldn't be making decisions in  
> isolation from implementations (although implementators really get  
> their say during the Candidate Rec phase).

Is this then something you would consider a conformance level, along  
the lines of what we are discussing for OWLPrime?

-Alan
Received on Thursday, 17 January 2008 15:03:09 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 17 January 2008 15:03:09 GMT