WSMO-PA: Formal Specification of Public Administration Service Model on Semantic Web Service Ontology

Abstract

In this paper we define a formal model for a Public Ad- ministration service on the basis of the Web Service Modeling Ontology (WSMO). For this purpose we employ the generic public service object model of the Governance Enterprise Architecture (GEA) providing a PA domain specific semantics. We investigate conceptual mappings between PA entities and WSMO elements, and on the real-world use case present the detailed formal PA service model based on the WSMO service model.