W3C home > Mailing lists > Public > public-owl-dev@w3.org > July to September 2007

Re: declaredAs

From: Pat Hayes <phayes@ihmc.us>
Date: Thu, 9 Aug 2007 12:41:19 -0500
Message-Id: <p06230915c2e0ffef04ab@[10.100.0.67]>
To: Alan Ruttenberg <alanruttenberg@gmail.com>
Cc: Bijan Parsia <bparsia@cs.man.ac.uk>, "Michael Schneider" <m_schnei@gmx.de>, public-owl-dev@w3.org, bmotik@cs.man.ac.uk

>Does it break it, or does it make the OWL-1.1 entailments only be a 
>subset of OWL-Full entailments.
>If it breaks, could you say how please?

Peter Patel-Schneider has made the point. RDF semantics is in line 
with CL semantics by interpreting names as individuals, and allowing 
individuals to act as classes and properties by mapping them to class 
and property extensions. This has the consequence that A=B means they 
are equal in every way, including as classes and as properties. 
1.1-style punning maps each name to individuals, classes and 
properties separately, with no semantic association between these 
three denotation mappings. This allows the names A and B to have any 
pattern of identity, including being equal but not equal as classes, 
which is impossible in RDF or CL. One cannot build the 'punning' 
style semantics as a semantic extension of the CL-style model theory. 
One also cannot have genuine logical identity in the punning style 
semantics. (You can imitate it in OWL 1.1 by saying that it means 
(sameIndividual AND sameClass AND sameProperty), but this hack won't 
extend to richer logics and so will have to be redefined over and 
over again.)

Pat

>-Alan
>
>On Aug 9, 2007, at 12:23 PM, Pat Hayes wrote:
>
>>Not really. Im sure it was meant to have this intention, but the 
>>effect of moving to punning is two-fold: it breaks the OWL Full 
>>semantics, and it breaks the semantic connection between OWL and 
>>RDF. Neither of which are desirable, IMO, though both of them are 
>>in line with a certain perspective that has long been associated 
>>with Manchester


-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes
Received on Thursday, 9 August 2007 17:41:39 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 10 December 2014 20:07:17 UTC