[Top] [All Lists]

Re: [ontolog-forum] Ontology similarity and accurate communication

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Mon, 17 Mar 2008 13:34:29 -0500
Message-id: <p06230904c404698fe796@[]>
At 12:30 PM -0500 3/17/08, John F. Sowa wrote:
>Dear Matthew and Patrick,
>Some comments:
>JFS>> those very few [upper-level} concepts may have an enormous
>  >> number of implications.  Otherwise, they wouldn't be in the
>  >> upper level.
>MW> Not what I have seen, I see small number of important things,
>  > but they are inherited by a lot of stuff, and thus support
>  > consistency.
>That's what I would call "an enormous number of implications".
>Every general property and mechanism of Animal has implications
>for Cat, Dog, Worm, Fish, Koala, Wombat, or Binturong.    (01)

But John, I believe you said in another thread that your ideal upper 
ontology would have no axioms in it. So what is there to infer from 
an inheritance? What is there to inherit?    (02)

Pat    (03)

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

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

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