[Flora-users] What is the best way to express...
Brought to you by:
kifer
|
From: Cory C. <co...@mo...> - 2018-06-05 15:32:18
|
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!
|