- From: Pat Hayes <phayes@ihmc.us>
- Date: Thu, 9 Aug 2007 12:41:19 -0500
- 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