Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

(1) , (1) , (1) , (1)
1

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.
Fichier principal
Vignette du fichier
978-3-642-32891-6_36_Chapter.pdf (323.92 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01524950 , version 1 (19-05-2017)

Licence

Attribution - CC BY 4.0

Identifiers

Cite

Juan Wang, Liang Chang, Chuangying Zhu, Rongsheng Dong. Reasoning about Semantic Web Services with an Approach Based on Temporal Description Logic. 7th International Conference on Intelligent Information Processing (IIP), Oct 2012, Guilin, China. pp.286-294, ⟨10.1007/978-3-642-32891-6_36⟩. ⟨hal-01524950⟩
23 View
65 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More