Web Services Subsumption with a Specific PDL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Web Services Subsumption with a Specific PDL

Laure Bourgois
  • Fonction : Auteur
  • PersonId : 835237
Alexandre Delteil
  • Fonction : Auteur
François Lévy

Résumé

In this paper, we elaborate a notion of semanticWeb subsumption for processes, i.e. composed Web services. It can be used for the task of cleaning OWL-S processes libraries and to organize collections of plans into hierarchies. To that end, different types of Web services are compared. Then, we give a representation formalism and a subsumption notion for the composition of some Web services, seen as atomic actions, with preconditions and effects. A particular propositional dynamic logic is selected to formalize actions preconditions and effects. A reasoning method, for deciding processes subsumption is presented. At last, we give a customizable implementation of the reasoning method.
Fichier non déposé

Dates et versions

hal-00097754 , version 1 (22-09-2006)

Identifiants

  • HAL Id : hal-00097754 , version 1

Citer

Laure Bourgois, Alexandre Delteil, François Lévy. Web Services Subsumption with a Specific PDL. 2006, pp.158. ⟨hal-00097754⟩
63 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More