SUO: Re: Enhancing Data Interoperability with Ontologies...

["John F. Sowa" <sowa@bestweb.net>]

 > Do you mean that we may introduce some kind
 > of logic to perform data interoperability
 > as a middle-data?

I was trying to make the following points:

  1. If it is possible to define a transformation
     from one format to another (datatype, database,
     language, or whatever), then that definition
     can be specified in logic (which may have to
     be more expressive than just OWL).

  2. And it is possible to define a subset of
     any natural language that maps to and from
     that version of logic.

For examples of controlled English and its mapping
to logic, see my paper on CLCE:

    http://www.jfsowa.com/clce/specs.htm
    Common Logic Controlled English

A similar kind of controlled subset can be
defined for any natural language.  Then the
underlying logic can be used as the common
semantic definition for the executable form.

John sowa