Data, Schema, Ontology and Logic Integration
Initial Algebra Semantics and Continuous Algebras