Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • The complex, nested constructs found in widely-used ontologies can now be successfully imported from OWL, visualized in diagrams, augmented with new concept models, and exported to OWL.
  • Support is now available for complements Complements between classes are supported.
  • Property restrictions can now be modeled in a namespace other than that of its domain, range, or restricted property.
  • All subtypes of OWL Object Property (e.g., owl:TransitiveProperty) can now be imported and exported.
  • Support is now available for a A property that has multiple domains is supported.
  • A UML property used in multiple classes is now interpreted in OWL as a domain that is the union of those classes.
  • Unqualified cardinality restrictions is now supported by {subsets} in UML.
  • A minimum cardinality of 0 in OWL is retained as a {subsets} to support its use as a flag.
  • A literal annotation may now have either a language or a datatype.
  • A datatype property can now be modeled as an association end or a class attribute.
  • Both IRI and literal annotations are now supported.
  • A maximum cardinality restriction without a minimum cardinality restriction on a property is now supported.

...