Ontologies for Semantically Interoperable Systems