Warning:
This wiki has been archived and is now read-only.

Errata/E1

From OWL
Jump to: navigation, search

The XML Schema reflects the Structural Specification, and in the latter all of the mentioned axioms can contain (arbitrary) individuals. OWL 2 DL imposes additional restrictions on these axioms, including the restriction on anonymous individuals that you mention. This allows the Structural Schema (and consequently the XML Syntax as well) to represent more than just OWL 2 DL, and hence it is a feature and not a bug.