ISSUE-69 (punning): REPORTED: punning is incompatible with OWL Full from OWL Working Group Issue Tracker on 2007-11-20 (public-owl-wg@w3.org from November 2007)

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 UTC