search

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1
0 stars 0 forks source link

Object and datatype role punning #35

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
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.

Original issue reported on code.google.com by jlc...@gmail.com on 11 Jun 2007 at 2:46

GoogleCodeExporter commented 9 years ago

Original comment by pfpschne...@gmail.com on 24 Oct 2007 at 9:14