[Top] [All Lists]

Re: [ontolog-forum] [Obo-relations] Heterarchy & Hierarchy, oh my my

To: Werner Ceusters <ceusters@xxxxxxxxxxx>
Cc: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>, bfo-discuss@xxxxxxxxxxxxxxxx, obo-relations@xxxxxxxxxxxxxxxxxxxxx
From: Wacek Kusnierczyk <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
Date: Sat, 03 May 2008 08:08:00 +0200
Message-id: <481C0140.4020400@xxxxxxxxxxx>
Werner Ceusters wrote:
> BFO and OBO aim for representation that is faithful to reality, not for 
> computational efficiency or "easyness" of reasoning.
> BFO for sure, and good OBO ontologies (there are not many yet) represent 
> universals. The monohierarchy applies to universals. "married man" does not 
> denote a universal, so would never be present in a good OBO ontology.
that's the handwaving, no?  how do we know that monohierarchy apply to 
universals?  because BFO says so.  how do we know BFO represents 
universals (and is faithful at that)?  because it is a realist ontology.
the fact that you aim at something does not in any way prove the matters 
are as you say they are.    (01)

> If there are places in OBO ontologies where the priority of distinction is 
> an issue, then that probably is a place where some mistake against the "only 
> universals" rule is made. Better to correct such mistakes, than to relax the 
> principles.
>       (02)

the 'only universals' dream?    (03)

> If you want to have "married man" in some application ontology (in contrast 
> to reference ontologies as BFO and what OBO ontologies ought to be), then it 
> could go there as a defined class, defined on the basis of the universals 
> "man" and "marriage".
...    (04)

vQ    (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>