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.
The work is funded by the European Commission under the projects ASG, DIP, enIRaF, InfraWebs, Knowledge Web, Musing, Salero,
SEKT, Seemp, SemanticGOV, Super, SWING and TripCom; by Science Foundation Ireland under the DERI-Lion Grant No.SFI/02/CE1/I13;
by the FFG under the projects Grisino, RW
2
, SemNetMan, SeNSE, TSC, OnTourism.