Re: [ontolog-forum] Re Foundation ontology, CYC, and Mapping

[Pat Hayes <phayes@xxxxxxx>]

On Mar 12, 2010, at 10:49 AM, John F. Sowa wrote:    (01)

> Ron,
>
> JFS>> What I am proposing, as I have said many times, is a lattice of
>>> theories -- or at least a finite subset (hierarchy) of theories
>>> that have actually been defined and stored in a repository).
>
> RW> Are these ideas sufficiently well-formed that we could start to
>> talk about the metadata required to support the lattice?
>
> The theoretical foundation has been well formed for over 80 years.
> I've been gathering material from recent discussions on Ontolog Forum
> for the report that I had hoped to post on my web site last week.    (02)

The lattice of theories idea is solid, Of course. But I don't believe  
that your intended application of it to solve the 3D/4D issue is fully  
worked out, and I won't accept that until I see the proposed 'neutral/ 
minimal' theory that is supposed to be the lattice intersection of the  
3D and 4D ontologies. I will bet you a steak dinner that it can't be  
done.    (03)

Pat    (04)

>
> I'll lead a discussion about that report at the session from 3:45
> to 5:15 at the end of the Ontology Summit on Tuesday.
>
> I'll post a draft of that report very soon.
>
> John
>
>
>
>
>
> _________________________________________________________________
> 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
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
>    (05)

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






_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)