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