[Top] [All Lists]

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

To: AzamatAbdoullaev <abdoul@xxxxxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Sun, 4 Sep 2011 22:41:24 -0500
Message-id: <72ED28CF-465F-43C4-A886-8A943C818E40@xxxxxxx>
Just a quick correction of a misleading error:    (01)

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

> 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."    (03)

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

Pat Hayes    (05)

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

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    (07)

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