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