[Top] [All Lists]

Re: [ontolog-forum] Fw: Context in a sentence

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: (•`'·.¸(`'·.¸(•)¸.·'´)¸.·'´•) .,., <asaegyn@xxxxxxxxx>
Date: Thu, 28 Jan 2010 01:44:36 -0500
Message-id: <5ab1dc971001272244h678bcbc4y67f7c31b34ddd33d@xxxxxxxxxxxxxx>
Hi John,

I should have been more specific in my language. When I spoke of significant updates, i was referring to the notion of an ontology interlingua as developed by the KSL lab in Stanford in the 1990's, which was essentially a library of disparate ontologies but not unified under a theme.

The updates I was referring to are in reference to that project. The lattice of theories you mentioned in your book bears significant similarities, but it differs in some respects as well. The theories / ontologies in COLORE do not constitute one single giant lattice. Unless I have misunderstood, whereas the lattice mentioned in your work consists of a single relation "logical extension," there are multiple links in COLORE: specifically representation theorems / definable interpretations etc. Thus, it is really a collection of lattices (where each lattice consists of "logical extension") connected to one another by a richer vocabulary / types of connections.

For example, in a Hasse diagram, lines represent a single relation; in contrast, for a diagrammed COLORE, there are multiple types of lines representing multiple types of relations between ontologies.

Incidentally, while we were developing the basic design of COLORE, I at least, was unaware of your work, and upon finding the idea of the lattice of theories -- it was very reassuring to know that the idea has legs! 

All the best,


On Thu, Jan 28, 2010 at 12:35 AM, John F. Sowa <sowa@xxxxxxxxxxx> wrote:
Pat and Ali,

Since it's after midnight, I decided to send my daily comments
for January 28:

AH> The solution your post above seems to suggest is actually very
 > similar to the interlingua ontology idea developed in the late
 > 90's, though perhaps that idea was too soon given the state of
 > ontology development.

Why do you say it was too soon?  Note that Cyc was started in 1984,
and it was going strong throughout the 1990s.

AH> It has since been significantly updated, altered and revived
 > in the form of the OOR or COLORE projects.

What significant updates do you see in those projects?  Following
are Michael Gruninger's slides for COLORE:


(•`'·.¸(`'·.¸(•)¸.·'´)¸.·'´•) .,.,

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

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