Re: SUO: a silly question about the new modular architecture
Chris,
----- Original Message -----
From: "Chris Partridge" <chris_partridge@csi.com>
To: "'Thompson, John A'" <john.a.thompson@Boeing.com>; "SUO"
<standard-upper-ontology@ieee.org>
Sent: Sunday, September 09, 2001 8:12 AM
Subject: RE: SUO: a silly question about the new modular architecture
>
> John,
>
> Unlike John I think there will be some work.
> I suspect what will be needed is a translation rule for the theories.
There
> may be some theories that will require no translation, but all (or almost
> all) about the material world that deal with time or change will need
> translating. This seems to me to be one of the attractions of the IFF
> approach - I (assume) that it can handle this.
Yes, the IFF approach will encompass both specialization/generalization in
the lattice of theories for any 1st-order language, and also theory
translations between 1st-order languages outside a lattice of theories, but
internalizable within a lattice of theories via a colimiting construction.
Robert E. Kent
rekent@ontologos.org