Interoperability

Fix problem over ontology and add some instances