[SCL] Dagstuhl semantic integration paper

[Chris Menzel]

Folks,

I've written a short paper outlining a (relatively) simple model of
semantic integration that builds a bit on SCL:

  http://philebus.tamu.edu/cmenzel/Papers/SemanticMapping.pdf

This paper was inspired by some thoughts that came out of a breakout
session on formal theories of integration at the Dagstuhl Seminar on
Semantic Interoperability and Integration that was held this past
September (http://www.dagstuhl.de/04391 -- thanks to Yiannis Kalfoglou,
Marco Schorlemmer, and Mike Uschold for a terrific job).  The paper is
really just a sketch of a germ of an idea, and was rather hastily
written under a deadline, but the basic thrust is to work toward an
account of integration that avoids category theory, channel theory and
other high-falutin' mathematical frameworks (which nonetheless are
certainly important and have their place -- keep up the good work Robert
K! :-) and draws instead solely upon good ol' classical first-order
logic and model theory -- enriched, importantly, with SCL's abstract
syntax, which enables us to "see through" surface syntax to common
underlying syntactic structures.

Comments/suggestions/criticisms/execrations all welcome.

-chris

ps: Sorry to post to both CL and SCL mailing lists, but there appears to
be only about a 60% overlap between them.  Now that work is hotting up
again, we should probably think of consolidating them in some reasonable
way.