From Algebraic Specification to Ontological Description of Service Semantics | IEEE Conference Publication | IEEE Xplore