Page History
...
- 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.
...