Building Application Ontologies from Descriptions of Semantic Web Services