Two different ontologies may overlap while their intended models do not
(especially if the ontologies are not accurate enough)