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

ISSUE-17 (role punning): REPORTED: Object and datatype role punning

From: OWL <sysbot+tracker@w3.org>
Date: Wed, 24 Oct 2007 21:13:41 +0000 (GMT)
To: public-owl-wg@w3.org
Message-Id: <20071024211341.4C8656B5E9@tibor.w3.org>


ISSUE-17 (role punning): REPORTED: Object and datatype role punning

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

Raised by: Conrad Bock
On product: 

Reported by jlc415, Jun 11, 2007

The current model-theoretic semantics document allows punning between all signature elements, 
including punning between object and datatype role names.

It is extremely difficult to imagine a case in which punning between different types of roles would 
be anything other than user error. Furthermore, this semantic model is incompatible with that of 
OWL-DL. Under OWL-DL a role name was required to be given a single interpretation as object or 
datatype across all use in the ontology; under OWL 1.1 this is no longer the case.
Received on Wednesday, 24 October 2007 21:13:48 GMT

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