W3C home > Mailing lists > Public > public-owl-wg@w3.org > November 2007

ISSUE-69 (punning): REPORTED: punning is incompatible with OWL Full

From: OWL Working Group Issue Tracker <sysbot+tracker@w3.org>
Date: Tue, 20 Nov 2007 15:08:33 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071120150834.020EABEF0@nelson.w3.org>


ISSUE-69 (punning): REPORTED: punning is incompatible with OWL Full

http://www.w3.org/2007/OWL/tracker/issues/

Raised by: Jeremy Carroll
On product: 


OWL Full 1.0 allows any URI to function in the various roles of individual, data property URI, object property URI, class etc. etc.

Under OWL Full semantics this is not punning but identity.

The proposed semantics for punning in the member submission is *weaker*, so that the member submission either requires:
- a non backward compatible change to OWL Full semantics
- or a weakening of the relationship between OWL DL and OWL Full, so that DL is a fragment of OWL.
Received on Tuesday, 20 November 2007 15:08:41 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:27 GMT