8714171
NMDOC
3
Versions Compared
compared with
Key
- This line was added.
- This line was removed.
- Formatting was changed.
Released on: August 5, 2016
OWL export improvements
- Exporting object or datatype property restrictions is now optimized to use OWL intersectionOf connective only when there are two or more restrictions.
Natural Language Glossary improvements
- Clicking a letter in the new hyperlinked alphabet at the top jumps to the corresponding letter in the glossary.
- Clicking a hyperlinked letter in the glossary jumps to the alphabet at the top.
- Each glossary entry now has a "Model-Generated Definition:" and "Definition:" sub-section.
- When a glossary entry has no definition, the word "(Undocumented)" no longer appears. Instead, a "Definition:" sub-section shows no definition.
- When certain OMG and EDMC annotations are present, they appear in each glossary entry as "Explanatory Note:" and "Definition Origin:" sub-sections. (A more general capability is forthcoming.)
Bug fixes
- Importing an ontology containing a class that is either disjoint with or equivalent to a restriction no longer causes the import
Bug fixes
The presence of sufficient condition for a class, in an ontology no longer causes import of the ontology- to fail.
- The OWL export location
- dialog box
- is no longer blocked by the operation progress dialog box.
- Exporting to OWL from a project saved on a teamwork server no longer fails with an 'Unknown protocol' error.
OWL export improvements
Exporting object or datatype property restrictions is now optimized to use OWL intersectionOf connective only when there are two or more restrictions.- The Natural Language Glossary no longer lists anonymous unions as superclasses.
- Importing an ontology containing a class that is equivalent to a restriction now results in a UML property with a {sufficient}
constraint.