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