Page History

OWL import improvements

• Added support for DisjointUnionOf axioms.
• Added support for multiple property chains for a super property.
• Added support for an OWL object property assertion when its corresponding UML property is owned by an association.
• The prefix of an imported ontology is now saved into the 'namespacePrefix' tagged value of the corresponding Concept Model.
• Added support for reimporting an individual.

OWL export improvements

• An unnamed UML «Property Chain» Property that subsets another named property is exported as an OWL object-property chain.

Bug fixes

• Importing a necessary and sufficient self restriction no longer creates an unnecessary anonymous class.

• Exporting a link between instance specifications now works when a slot has an association-owned property as its defining feature.

• Exporting a concept model element IRI with leading or trailing white space no longer generates an invalid IRI.

• Indirectly importing a property chain is no longer ignored.

• An imported property without a domain is now owned by «Anything».

• A complete generalization set with super class belonging to another concept model now correctly exports the covering axiom.

• Importing a necessary and sufficient restriction on a class that has no other equivalence relationship no longer creates an unnecessary anonymous class.

• The generated IRI for an instance no longer starts with an upper case letter.

• Importing a DatatypeRestriction no longer generates an error message

New capabilities

• OWL export for concept models can now be automated using MagicDraw macros or a set of command line utilities.
• A concept model can now be exported to description logic (DL) notation in HTML or LaTeX.

Usability improvements

• Freeze IRIs or Unfreeze IRIs context menu items now appear instantaneously even for large models.
• Freeze IRIs and Unfreeze IRIs operations now display a progress bar.
• The Concept Modeling Diagrams section now appears at the beginning in the Create Diagrams context menu for «Concept Model» or «Model» packages.
• The containment tree now offers a context menu item for making a project a Concept Modeling project.
• Upon creating a Concept Model using the "Create Concept Model" context menu item, the generated name is selected for editing.
• The «Annotation Property» stereotype is now visible when it is applied to a property.
• An «Equivalent Class» generalization is now drawn as an oblique line.
• Invalid keyboard shortcuts no longer clutter 'Create Concept Model' and 'Export Model to OWL' context menu items.

OWL import improvements

• An OWL objectOneOf restriction is now interpreted as an unnamed «Individual List» Class.
• A clearer error message is now shown if the value of an owl:imports statement cannot be resolved.

Model understandability improvements

• By default, «Restriction» and «External Reference» stereotypes no longer clutter diagrams.

Bug fixes

• Exporting an association with a datatype on one end no longer fails with an exception.
• Empty intersections or unions are no longer exported.
• An unnamed «Anything» class now shows the correct generated class description.
• An import summary message is no longer shown intermixed with other import notifications.
• Opening a project no longer results in a NullPointerException due to a missing 'Preferred annotation property' project option.
• Stepping back to the beginning of the information model transformation wizard now shows the selected information model package.
• Selecting the top node in the property selection step of the information model transformation wizard now selects all its children recursively.
• Adding a new subproperty now updates the Subproperty Tree.
• Only subclasses of an anonymous class that are part of a complete generalization set are included as union members.
• The Concept Modeling Support Library is now added to the project when creating a concept modeling diagram in a non-MCM project.
• The Create Concept Model context menu item no longer shows under a read-only package, a «Concept Model» package, or a «Model» package.
• Importing a named subproperty with a range of owl:Thing resulting in a min 0 cardinality no longer emits a warning that the cardinality is meaningless.
• Individuals from indirectly imported ontologies are no longer ignored.
• Round tripping a redundant qualified cardinality restriction through MCM is no longer optimized away

  .