ontolog-forum
[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: Pat Hayes <phayes@xxxxxxx>
Date: Sat, 3 May 2008 23:59:44 -0400
Message-id: <p06230909c442e0f843e3@[192.168.99.142]>
At 3:47 PM -0400 5/2/08, Werner Ceusters wrote:
>BFO and OBO aim for representation that is faithful to reality, not for
>computational efficiency or "easyness" of reasoning.    (01)

Im afraid that I find such claims ("faithful to 
reality") close to ridiculous, especially when 
applied to ontologies which sanction such 
transparently unreal distinctions as 
continuant/occurrent. Reality, as far as we 
currently know, is best described by quantum 
theory in the small and general relativity in the 
large, neither of them topics which any ontology 
directly address. Concepts like 'universal' play 
no useful role in actual science, which is the 
only discipline which actually studies reality.    (02)

>BFO for sure, and good OBO ontologies (there are not many yet) represent
>universals. The monohierarchy applies to universals.    (03)

Really? On what do you base that claim? I would 
be quite interested to see an argument for this.    (04)

>"married man" does not
>denote a universal    (05)

So what does it denote? A particular?    (06)

>, so would never be present in a good OBO ontology.
>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.
>
>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".    (07)

Could you sketch (or point to a sketch of) an 
argument why these are universals but 'married 
man' is not?    (08)

Pat Hayes    (09)


>
>w
>
>----- Original Message -----
>From: "Wacek Kusnierczyk" <Waclaw.Marcin.Kusnierczyk@xxxxxxxxxxx>
>To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
>Cc: <bfo-discuss@xxxxxxxxxxxxxxxx>; <obo-relations@xxxxxxxxxxxxxxxxxxxxx>
>Sent: Friday, May 02, 2008 3:30 PM
>Subject: Re: [Obo-relations] [ontolog-forum] Heterarchy & Hierarchy, oh my
>my
>
>
>>  Pat Hayes wrote:
>>>  At 9:08 PM -0400 5/1/08, ZENG, MARCIA wrote:
>>>
>>>>  Check: http://sig.biostr.washington.edu/projects/fm/FAQs.html
>>>>
>>>>  Foundational Model of Anatomy (FMA) ontology
>>>>  Modeling questions...
>>>>  4) What does a merged hierarchy mean and why use one?
>>>>
>>>
>>>  Here's a toy example. Suppose you classify people
>>>  as male vs. female and married vs. single. You
>>>  can make this into a two-level hierarchy tree in
>>>  two ways, depending which distinction you make
>>>  'higher' than the other. But this choice is
>>>  arbitrary; and arbitrary decisions like this are
>>>  bad for interoperation, since they tend to be
>>>  made essentially at random, producing
>>>  incommensurate classification systems. Moreover,
>>>  if you make the male/female division nearest the
>>>  root, then there is no place in the tree for the
>>>  class 'married people (regardless of gender)'. A
>>>  merged hierarchy would have these two divisions
>>>  of the root class represented independently, so
>>>  that there would be two routes back from 'married
>>>  men' to 'people', one representing the selection
>>>  of male (not-female) and the other representing
>>>  the selection of married (not-single).
>>>  Inheritance works as usual within each hierarchy
>>>  tree, and they may be independent, although more
>>>  complex schemes can be used.
>>>  The chief advantages are already noted, but
>>>  others include increased efficiency of reasoning
>>>  and greater 'naturalness' in connecting
>>>  classifications with associated properties and
>>>  facts. And, contrary to initial expectations,
>>>  multiple-hierarchy schemes are almost as easy to
>>>  implement as single-tree taxonomies.
>>>
>>>
>>  That's an interesting point.  I was repeatedly complaining on the OBO-
>>  and BFO-related lists about the insistence, within that framework, on
>  > single inheritance.  Illustrative cases of the arbitrariness of choice
>>  which distinction is to be prioritized over others (i.e., placed higher
>>  in the taxonomic tree) can be found in virtually any OBO ontology; for
>>  example, PATO starts at quality, distinguishes qualities of occurrents
>>  from qualitites of continuants, and then within each of these
>>  distinguishes, independently, monadic and relational qualities.  It
>>  could well have been the other way round.
>>
>>  I mention this because the answer to my complaints, if any, was
>>  invariably that single inheritance a) increases efficiency of reasoning,
>>  b) is more natural and easier to use, and c) is good for interoperability.
>>  To my simple mind, these claims do not correspond well to yours above.
>>  It would be interesting to see a discussion on this issue, though the
>>  argumentation provided by proponents of the other view typically did not
>>  go beyond rather vague handwaving.
>>
>>
>>>  Hope this helps. There is a lot more on this
>>>  general topic (including a foundational
>>>  mathematical theory based on lattice theory) on
>>>  John Sowa's excellent website, which I commend to
>>>  your attention.
>>>
>>>
>>
>>  Is there a precise pointer to precise results which say that it is (or
>>  is NOT) the case that:
>>  a) single inheritance is more natural than multiple inheritance;
>>  b) single inheritance is less problematic for reasoning than multiple
>>  inheritance;
>>  c) single inheritance improves,  wrt multiple inheritance,
>>  interoprability?
>>
>>  vQ
>>
>>  -------------------------------------------------------------------------
>>  This SF.net email is sponsored by the 2008 JavaOne(SM) Conference
>>  Don't miss this year's exciting event. There's still time to save $100.
>>  Use priority code J8TL2D2.
>> 
>>http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone
>>  _______________________________________________
>>  Obo-relations mailing list
>>  Obo-relations@xxxxxxxxxxxxxxxxxxxxx
>>  https://lists.sourceforge.net/lists/listinfo/obo-relations
>>
>>
>>
>
>
>
>_________________________________________________________________
>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
>    (010)


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



_________________________________________________________________
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    (012)

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