[Top] [All Lists]

Re: [ontolog-forum] Universal and categories in BFO & DOLCE

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "AzamatAbdoullaev" <abdoul@xxxxxxxxxxxxxx>
Date: Mon, 5 Sep 2011 12:09:43 +0300
Message-id: <53B9954B1288460A86C6BD309A30493E@personalpc>
Thank you, Pat.
The core message was that the "class membership relation is not transitive" 
unlike the class inclusion relation.
----- Original Message ----- 
From: "Pat Hayes" <phayes@xxxxxxx>
To: "AzamatAbdoullaev" <abdoul@xxxxxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Monday, September 05, 2011 6:41 AM
Subject: Re: [ontolog-forum] Universal and categories in BFO & DOLCE    (01)

Just a quick correction of a misleading error:    (02)

On Sep 4, 2011, at 2:18 PM, AzamatAbdoullaev wrote:    (03)

> On Sunday, September 04, 2011 1:48 PM, Pat Browne wrote:
> "Question 2: In DOLCE could it be the case a particular could be an
> element of a universal and an element of a category as follows: ((P
> isElementOf U) and (U isSubsetOf C) => (P isElementOf C) = true)."
> That's another misconception.
> In fact, ((P isElementOf U) and (U isSubsetOf C) => (P isElementOf C) =
> false)."
> You may discard the ontologies which are missing to formulate that "the
> class membership relationship is not transitive, while the class inclusion
> is transitive."
> Here is a staple example: "An individual human is a member of the class of
> humans. The class of humans is a member of the class of species of 
> animals.
> But a human being is not a member of the class of species."    (04)

This is not a counterexample. This has the pattern ((P element of U) & (U 
element of Z)) => P element of Z), which indeed is not a valid inference. 
But this is a different inference than the one being discussed, since member 
and Subset are not the same notion.    (05)

Pat Hayes    (06)

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

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J    (08)

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