Type:

Year:

Editor:

Author:

Breiner, Spencer (1); Pollard, Blake (1,2); Subrahmanian, Eswaran (1,2)

Series:

Institution:

Section:

DOI number:

ISSN:

Abstract:

In this paper we use formal tools from category theory to develop a foundation for creating and managing models in systems where knowledge is distributed across multiple representations and formats. We define a class of models which incorporate three different representations---computations, logical semantics, and data--as well as model mappings (functors) to establish relationships between them. We prove that our models support model merge operations called colimits and use these to define a methodology for model integration.

Keywords:

Semantic data processing, Systems Engineering (SE), Information management, Model management, Data integration