WWW: WSMO, WSML, and WSMX in a nutshell

This paper presents, in a nutshell, a unifying framework for conceptually modeling, formally representing, and executing Semantic Web services. We first introduce a conceptual model for representing Semantic Web services and its design principles, then we present a language based on different logical formalisms used to express Semantic Web services that are compliant with our conceptual model. Finally, a high level overview of an execution environment, and its relations to the conceptual model and the language introduced in this paper, are presented