Ontological glue

Programs can only link if they have a common ontology