[Flora-users] What is the best way to express...

[Cory C. <co...@mo...>]

We are mapping a semantic profile of UML to Flora-2/Ergo. In doing so we would appreciate feedback on the best way to map some common concepts. We are mapping types to frame types.

Intersection:
A type "I" is defined as the intersection of a set of other types {A, B,...} , which are also the supertypes. How would you express the intersection?

Class equivalence:
Class A and B are defined as equivalent. How would you express class equivalence?

Individual equivalence:
Frame F1 & F2 are defined as equivalent. How would you express general equivalence?

Thanks!