On Sunday, September 04, 2011 1:48 PM, Pat Browne wrote:
"Question 1: In DOLCE is the relationship between Categories and Universals
also a subsumption relation, with the caveat the categories are higher up
the hierarchy than universals?" (01)
That's rather confusing. The relationship between universal and particular,
as between the common and the unique, the abstract and the concrete, the
general and the individual, category and instance, one and many, class and
member, same and other, essence and individual, concept and fact, intension
and extension, whole and part, common name and particuar name, dating long
back as humanity started reflecting.
Also, the word "universal" say for itself: "universal" is about a unity,
while "particular" means participation. (02)
"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)." (03)
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." Since increasing
the number of humans you are not returning any extinct species of animals.
Re the assumptions, John gave a good introduction. It's very significant to
start studying ontology from the sensible ontologies... (04)
Azamat Abdoullaev (05)
----- Original Message -----
From: "Patrick Browne" <patrick.browne@xxxxxx>
To: <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Sunday, September 04, 2011 1:48 PM
Subject: [ontolog-forum] Universal and categories in BFO & DOLCE (06)
> Hi
> I am trying to establish whether BFO and DOLCE use the same set
> theoretic semantics when formalizing the terms universal and category.
> AFAIK DOLCE is an ontology of particulars and universals are not
> formally part of the representational artifact, but they nonetheless
> occur in practice.
>
> Below are some assumptions, followed by two questions.
> 1. Categories are classes (sets?) of high level generic entities e.g.
> Physical Object
> 2. Universals are classes (sets?) of particulars e.g. Country
> 3. Particulars are individual instantiations of universals e.g. Ireland
> 4. Categories are organized using subsumption hierarchies (sub-set
> relation).
> 5. Universals are organized using subsumption hierarchies (sub-set
> relation).
> 6. Particulars are elements of Universals (element-of or set-membership
> relation)
>
> Question 1: In DOLCE is the relationship between Categories and
> Universals also a subsumption relation, with the caveat the categories
> are higher up the hierarchy than universals?
> 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) .
>
> I posted a similar query to the BFO mailing list [1]
>
>
> Regards,
> Pat Browne
> http://www.comp.dit.ie/pbrowne
>
>
> [1]
>
>http://groups.google.com/group/bfo-discuss/browse_thread/thread/7ae07db19d62af5e
>
>
> This message has been scanned for content and viruses by the DIT
> Information Services E-Mail Scanning Service, and is believed to be clean.
> http://www.dit.ie
>
> _________________________________________________________________
> 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)
_________________________________________________________________
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)
|