Ontological correspondences