- From: OWL <sysbot+tracker@w3.org>
- Date: Wed, 24 Oct 2007 21:13:41 +0000 (GMT)
- To: public-owl-wg@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 UTC