uos-convene
[Top] [All Lists]

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

To: Upper Ontology Summit convention <uos-convene@xxxxxxxxxxxxxxxx>
From: Michael Gruninger <gruninger@xxxxxxxxxxxxxxx>
Date: Tue, 28 Feb 2006 11:28:46 -0500
Message-id: <44047A3E.3090203@xxxxxxxxxxxxxxx>
Michael Gruninger wrote:    (01)

> Schoening, James R C-E LCMC CIO/G6 wrote:
>
>> 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.
>>    (02)

Oops, the definition of generalization I just sent out is backwards;
it should be    (03)

- Theory T1 generalizes theory T2 iff T1 is definably interpretable in
a theory T3 and T2 is a consistent extension of T3.    (04)

The intuition is that the more general a theory, the weaker it is,
so that theories are extensions of the theories in the CSO,
with definable interpretation being used in cases where
different nonlogical lexicons are used.    (05)

- michael gruninger
 _________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/uos-convene/
To Post: mailto:uos-convene@xxxxxxxxxxxxxxxx
Community Portal: http://ontolog.cim3.net/
Shared Files: http://ontolog.cim3.net/file/work/UpperOntologySummit/uos-convene/
Community Wiki: http://ontolog.cim3.net/cgi-bin/wiki.pl?UpperOntologySummit    (06)
<Prev in Thread] Current Thread [Next in Thread>