Categorical semiotics: Foundations for Knowledge Integration