“OWL 2 DL”: metamodeling

• OWL 2 may remove one of the OWL DL restrictions:

• • same symbol may be used both for a class and an instance
  • but not all “natural” inferences can be drawn in OWL 2 DL. E.g.,