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 08:06:35 -0500
Message-Id: <F03D10B4-2ECA-4991-BABA-E1798DA5D300@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 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?  
The job of implementors is to make their systems respect the  
semantics. What they do under the covers to accomplish that is their  
business.

The issue on the table is whether to change the semantics, and I hear  
your objection, though think it merits further discussion (which I  
see is being pursued).

-Alan
Received on Thursday, 17 January 2008 13:06:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 17 January 2008 13:06:50 GMT