Released on: 2019-10-07
- A «Self» property restriction is now available to specify that every member of a class must be related to itself by the restricted property.
Right-clicking on an element now offers menu items to freeze or unfreeze its IRI, which either prevents or allows automatically deriving the IRI from the package IRI and element name.
- A Concept Modeling environment option now unlocks an experimental feature for exporting UML instance specifications as OWL individuals.
- A new concept model derived from the African Wildlife Ontology (AWO) by Maria Keet is now provided.
Model Understandability Improvements
- An active validation now detects and offers to eliminate duplicative property restrictions.
- A plain-English description of each anonymous class now appears in the containment tree, specification window, and diagram hover.
- An easy-to-understand window now simplifies creating new property restrictions and editing existing ones.
- Generalization set names no longer clutter diagrams.
- Opening a project created by earlier versions now offers to remove generalization set names.
- Double clicking the 'Click here' hyperlink for documentation that appears in a new project file opens a new CCM Quick Start Guide.
- The Concept Modeling diagram palette now provides a button to create a property restriction.
- The offer to freeze IRIs on export to OWL can now be suppressed and unsuppressed with a project option.
- Concept Modeling project options are now categorized for easier discovery.
- The property usages step of the information model transformation wizard is easier to understand.
OWL import improvements
- Sufficient conditions (i.e., the necessary and sufficient conditions of an anonymous subclass) are now supported.
- Every Self property restriction is now imported as a «Self» property restriction.
- Datatype property restrictions are now supported.
- The IRIs of existing UML model elements are now frozen before differences are merged from OWL.
- Each anonymous inverse property in OWL is now represented as a derived opposite property in UML.
- Axioms involving anonymous inverse properties (e.g., property chains and restrictions) are now supported.
- A summary of model changes is now shown in the notification window.
OWL export improvements
- A «Self» property restriction is exported as self property restriction.
- An «Inverse Of» stereotyped dependency is now exported as an inverse object property axiom.
- Association-owned property restrictions are now supported.
- UML datatypes are no longer mapped to invalid XSD datatypes.
- The information model transformation wizard no longer excludes generalizations.
- Moving an element with a frozen IRI to a different model now shows a warning and keeps the IRI frozen.
- Anonymous superclass intersections are now described.
- The name of an «Anything» Class no longer matters.
- An «Anything» Class is no longer required to exist in a concept model.
- Exporting a concept model in a used project to OWL no longer tries to update a read-only file export path.
- Exporting a concept model that uses an association class defined in another concept model to OWL no longer fails.
- Exporting a property restriction typed by «Anything» to OWL no longer emits an unqualified universal restriction.
- Exporting an equivalence relationship with a class in another «Model» to OWL now creates the correct equivalent class axiom.
- Exporting to OWL without write permissions now explains the failure.
- Importing OWL ontologies no longer loses track of which ontology asserted an equivalence between an intersection and a class.
- Importing a class that is a subclass of itself from OWL no longer results in an inconsistent UML model.
- Importing a class that is disjoint with a union from OWL no longer deletes the corresponding «Disjoint With» dependency.
- Importing a class that is equivalent to a union from OWL no longer makes the class equivalent to each member of the union.
- Importing a property without an asserted domain from OWL now infers the domain from the range of its inverse.
- Importing a set of disjoint classes from OWL will no longer be represented as a disjoint generalization set when some of the subclasses in the generalization set are not disjoint.
- Importing an intersection containing a list of named individuals from OWL no longer fails to create an «Individual List» class.
- Importing an ontology from OWL no longer incorrectly makes an element's IRI relative to its concept model's IRI.
- Importing an ontology no longer causes a NullPointerException when updating a diagram.
- Importing an updated label for a resource from OWL now correctly updates the corresponding model element.
- Importing and then exporting an ontology now retains any existing XML namespace.
- Importing or exporting a relationship between a datatype property and an object property now halts with an error message.
- Importing OWL individuals no longer ignores values for datatype properties
- Renaming an element and then exporting to OWL no longer emits the previous label.
- Importing multiple rdfs:label annotations on a resource no longer fails to name a model element.
- Importing an ontology from OWL no longer re-sizes the classes with updated IRI.
- Reimporting an ontology no longer emits an incorrect error that an equivalence between two classes could not be deleted.
- Undoing the drawing of a generalization now works correctly.
- Drawing a UML generalization no longer uses the wrong line style.
- Diagrams no longer show label tagged values.