La primera herramienta que estudiaremos será Infrawebs Designer, es una herramienta de desarrollo y diseño de servicios web semánticos y goals basados en WSMO.Se caracteriza por una interfaz agradable basada en la plataforma de aplicaciones de Eclipse, y es muy útil sobre todo en la creación de reglas(axiomas), precondiciones y poscondiciones de una manera gráfica.Por último también destaca por la búsqueda(descubrimiento) de otros servicios mediante una interfaz de búsqueda muy completa.Para más información os dejo un manual con ejemplos de funcionamiento: Infrawebs Designer Manual