ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Ontology, Information Models and the 'Real World': C

To: Christopher Menzel <cmenzel@xxxxxxxx>
Cc: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 27 May 2007 23:07:09 -0700
Message-id: <p06230904c28021c54495@[192.168.1.4]>
>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))
>    (01)

Right. That is the axiom I state in the document. 
Sorry about the terminological mistake.    (02)

Pat    (03)

>_________________________________________________________________
>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
>    (04)


-- 
---------------------------------------------------------------------
IHMC            (850)434 8903 or (650)494 3973   home
40 South Alcaniz St.    (850)202 4416   office
Pensacola                       (850)202 4440   fax
FL 32502                        (850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes    (05)


_________________________________________________________________
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    (06)

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