dagstuhl workshop on semantic integration
SUO folk,
A fruitful and interesting Dagstuhl workshop [http://www.dagstuhl.de/04391/]
took place last month, which was concerned with the "semantic integration"
of ontologies. The SUO IFF approach to semantic integration was summarized
in a powerpoint presentation and a pdf paper
[http://www.dagstuhl.de/04391/Materials/#Kent, Robert E.]. The IFF approach
is based upon the metatheory of institutions
[http://www.cs.ucsd.edu/users/goguen/projs/inst.html]. The metatheory of
institutions, which abstracts and generalizes Tarski's "semantic definition
of truth" by parameterizing the basic judgment of satisfaction, allows
semantic integration over arbitrary logics. The discussion in the
presentation and paper includes both the meta-architecture of the IFF and
the fusion process for aligned systems of ontologies via the "context of
theories" and "lattice of theories" constructions in institutions.
As always, all constructive comments are encouraged.
Robert E. Kent
rekent@ontologos.org