RE: [uos-convene] Technical feasibility of Interrelating upper ontologie

["Uschold, Michael F" <michael.f.uschold@xxxxxxxxxx>]

Excellent question.

Years ago, John Sowa talked about a wonderful idea of a lattice of theories.

To date, I am unaware of any work by John or anyone else that explores this idea in any detail.

 

Does anyone know of any such work?

If there is none, then we are left with armchair speculation as to the technical feasibility.

 

From my armchair, it looks like this:

 

It would not be easy. I'd be more surprised if it worked, than if it did not in say a 5 year time frame, assuming it received serious attention by researchers. 

 

I hope to be proven wrong.

 

The most promising technical approach may be category theory. You need to get people like Joe Goguen interested in this. He attended the Dagstuhl Seminar in 2005 on semantic interoperability, so he might just be interested.

 

Mike

 

---

From: Schoening, James R C-E LCMC CIO/G6 [mailto:James.Schoening@xxxxxxxxxxx]
Sent: Monday, February 27, 2006 2:12 PM
To: 'Upper Ontology Summit convention'
Subject: [uos-convene] Technical feasibility of Interrelating upper ontologies

All,

        Are we going to discuss the technical feasibility of interrelating multiple upper ontologies?    To issue a communique, we'll need a good handle on whether we believe this is technically feasible and will enable semantic interoperability. 

James R. Schoening             
C-E LCMC CIO/G6 Office 
Voice: DSN 992-5812 or (732) 532-5812  
Fax: DSN 992-7551 or (732) 532-7551    
Email: James.Schoening@xxxxxxxxxxx