Design, development and implementation of a tool for construction of declarative functional descriptions of semantic web services based on WSMO methodology