this was my guess, though i was wondering whether you use a different
definition of 'asymmetric'. (01)
vQ (02)
Christopher Menzel wrote:
> On May 27, 2007, at 3:03 AM, Waclaw Kusnierczyk wrote:
>> Pat Hayes wrote:
>>> take a look
>>>
>>> http://www.ihmc.us:16080/users/phayes/context/ContextMereology.html
>> There, you say:
>>
>> "the parthood relationship, which we will assume is transitive,
>> asymmetric and reflexive"
>>
>> Can you give an example of a relation that is both asymmetric and
>> reflexive (other than the vacuously asymmetric and reflexive empty
>> relation)?
>
> Clearly he means "antisymmetric", i.e.,
>
> (if (and (R x y) (R y x))
> (= x y))
>
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
> (03)
--
Wacek Kusnierczyk (04)
------------------------------------------------------
Department of Information and Computer Science (IDI)
Norwegian University of Science and Technology (NTNU)
Sem Saelandsv. 7-9
7027 Trondheim
Norway (05)
tel. 0047 73591875
fax 0047 73594466
------------------------------------------------------ (06)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (07)
|