Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications