[Top] [All Lists]

[ontolog-forum] Question: more on N-ary?

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Duane Nickull <dnickull@xxxxxxxxx>
Date: Thu, 14 Jul 2005 15:42:00 -0700
Message-id: <42D6EA38.3010009@xxxxxxxxx>
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)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (05)

<Prev in Thread] Current Thread [Next in Thread>