First page
Back
Continue
Last page
Graphics
“OWL 2”: new proposed features
(cont)
-
Metamodeling (a.k.a. “punning”): the same symbol may be used
both as, e.g., a Class and an Instance
-
- removes a significant restriction from current OWL DL
- not and issue for OWL Full, but not all “natural” inferences
can be drawn in OWL 2 DL. Eg,