Versions Compared

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.
Bug fixes
  • The presence of sufficient condition for a class, in an ontology no longer causes import of the ontology to fail.
  • The location input prompt dialog box for exporting to OWL 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.
      • 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.