The tool allows users to inspect for errors the semantic annotations of web services of their choice using two adequacy criteria.

I was wondering why this was announced to the SemWeb lifesciences group, but the homepage has an explanation:

Semantic annotations have been proposed as a means of providing richer information about the behaviour of Web services to potential users. Ontologies of terms used in a particular application domain, or by a particular community, can be associated with Web service components (e.g. as task descriptions for specific operations, or as richer typing information for specific input or output messages). Users familiar with that ontology can then use the annotations to search for suitable service implementations, or to determine whether the outputs of one service are suitable for use as inputs to another. For example, in the biological domain, a user might wish to convert a protein sequence into its equivalent gene sequence, and might therefore ask a service discovery engine for information on services which take protein sequences as input and return gene sequences as output.

See their site for more details and publications. The related ISPIDER project has more publications in this area.

Nearby in the Web: online video of an ISWC 2006 talk on related work.