Specification of the Service Ontology