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