Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic

Abstract : Temporal description logic ALC-LTL not only has considerable expressive power, but also extends the description capability of description logic from the static domain to the dynamic domain. In this paper, ALC-LTL is applied for the composition of semantic Web services. We take the view that atomic process and composite process in the OWL-S ontology can be considered as atomic service and composited service respectively. Inputs, outputs, local variables, preconditions and results of atomic processes can all be described with ALC-LTL. Based on the models of services, the executability problem and the projection problem of Web services can be reasoned about effectively.
Type de document :
Communication dans un congrès
Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.286-294, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_36〉
Liste complète des métadonnées

Littérature citée [7 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01524950
Contributeur : Hal Ifip <>
Soumis le : vendredi 19 mai 2017 - 10:43:12
Dernière modification le : vendredi 19 mai 2017 - 10:45:57

Fichier

978-3-642-32891-6_36_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Juan Wang, Liang Chang, Chuangying Zhu, Rongsheng Dong. Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic. Zhongzhi Shi; David Leake; Sunil Vadera. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. Springer, IFIP Advances in Information and Communication Technology, AICT-385, pp.286-294, 2012, Intelligent Information Processing VI. 〈10.1007/978-3-642-32891-6_36〉. 〈hal-01524950〉

Partager

Métriques

Consultations de la notice

26

Téléchargements de fichiers

28