An ontology modeling method in semantic composition of Web services | IEEE Conference Publication | IEEE Xplore