Semantic Integration in the Information Flow Framework