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