Can anyone provide a clear concise distinction between a symmetric and
coreflexive relationships? The gist seems to be that both express a
relationship wherefor all x and y in X it holds that if xRy then x = y.
It appears that one states "holds xRy and yRx" while the other equates
equality "x=y" (01)
Also, in SUMO, InverseRelation is expressed as: (02)
(=>
(inverse ?REL1 ?REL2)
(forall (?INST1 ?INST2)
(<=>
(holds ?REL1 ?INST1 ?INST2)
(holds ?REL2 ?INST2 ?INST1)))) (03)
The distinctions between the 3 seem to be very subtle. InverseRelation
and AsymmetricRelation are opposite? I find it a bit confusing. (04)
Duane
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)
|