Semantic Integration in the Information Flow Framework
knowledge representation : logical , philosophical , and computational foundations .