Data Management

Data, Schema, Ontology and Logic Integration

Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 401.49 KB