“OWL 1.1”: new proposed features (cont)

• Metamodeling (a.k.a. “punning”): the same symbol may be used both as, e.g., a Class and an Instance, or for a datatype and an object property

• • this is not a problem in OWL Full, but is a significant restriction in OWL DL
  • in the DL there would still be some restrictions on how that can be used (eg, not all “natural” inferences can be drawn)