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. © 2012 IFIP International Federation for Information Processing.
CITATION STYLE
Wang, J., Chang, L., Zhu, C., & Dong, R. (2012). Reasoning about semantic web services with an approach based on temporal description logic. In IFIP Advances in Information and Communication Technology (Vol. 385 AICT, pp. 286–294). https://doi.org/10.1007/978-3-642-32891-6_36
Mendeley helps you to discover research relevant for your work.