I propose that we resolve issue 114 by allowing punning that occurs
in RDF, and no more. That is: Punning between individuals, classes,
and properties, but not between types that are distinguished in OWL,
but not in RDF.
This latter restriction matches much of the punning we currently
disallow - that between the various kinds of properties, and between
classes and datatypes. At the same time it does allows the requested
punning between properties and classes.
I am unaware of user requests for any other type of punning.
-Alan