Verification of a Sub-ontology Update Mechanism for the Semantic Grid | IEEE Conference Publication | IEEE Xplore