Data Management

Data, Schema, Ontology and Logic Integration

Download Now Date Added: Jan 2011
Format: PDF

This paper gives a general definition of a "Kind of schema" (Often called a "Meta - model" in the literature, but here called a "Species") along with general definitions for the schemas of a species, and for the databases, constraints, and queries over a given schema of a species. This leads naturally to a general theory of data translation and integration over arbitrary schemas of arbitrary species, based on schema morphisms, and to a similar general theory of ontology translation and integration over arbitrary logics. Institutions provide a general notion of logic, and Grothendieck flattening provides a general tool for integrating heterogeneous schemas, species and logics, as well as theories, such as ontologies, over different logics.