WOOGLE meets Semantic Web Fred

Uwe Keller, Michael Stollberg, Dieter Fensel
2004 WSMO Implementation Workshop  
A major merit of the Web Service Modeling Ontology WSMO is the wellstructured and unambiguous definition of the description elements for its components. This allows developing concise, generic inference mechanisms for basic Semantic Web Service technologies like Web Service Discovery as the detection of suitable Wed Services for solving a Goal. This paper introduces WOOGLE, a basic but powerful and generic WSMO-enabled Web Service discovery mechanism that is developed in the course of the
more » ... ic Web Fred project. We outline the underlying conceptual model for Web Service Discovery in WSMO, discuss the WOOGLE functionality in the context of Semantic Web Fred, and explain its realization on top of a First-order Logic theorem prover.
dblp:conf/wiw/KellerSF04 fatcat:dvpifvxgqvbijpjk6bmbu7lxve