OWL import improvements

• Disjoint OWL classes now create a dependency stereotyped as «Disjoint with» between UML classes.
• An anonymous union now creates a UML class stereotyped as a «Union».
• An anonymous enumeration data type now creates a UML enumeration named with a UUID.
• Two inverse properties with matching domains and ranges now creates UML properties on opposite ends of one association.
• Two inverse properties without matching domains and ranges now creates UML properties, with an «Inverse of» stereotyped dependency between them, on two different unidirectional associations.
• An existential quantification restriction now creates a UML {subsets} constraint on a property.
• A universal quantification restriction now creates a UML {redefines} constraint on a property.
• Min and max cardinality restrictions on a property now create a UML multiplicity.
• A failed import now provides a clickable hyperlink to the log file in the notification window to help the user diagnose problems.