Abstract
Description logic (DL) ALCI R + is a very expressive knowledge representation and reasoning language formed by adding transitive roles and inverse roles to the basic DL ALC. Transitive roles in ALCI R + are appropriate for describing accessibility relationship between services, while the relationship is encoded as a ServiceProcess in DAML-S as an external understanding. The transitive closure of the special transitive role which represents accessibility relationship between the first and final services can be used to find an execution sequence of the composite service. We have presented a procedure for computing it. Existing standards DAML-S and convenient transformation from ServiceProcess in DAML-S to transitive roles in ALCI R + helps to make our method simple and viable.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F., Calvanese, D., McGuinness, D., et al.: The Description Logics Handbook: Theory, Implementations, and Applications. Cambridge University Press, Cambridge (2003)
Baader, F., Horrocks, I.: A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation 9(3), 385–410 (1999)
Lee, T.B., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), 28–37 (2001)
Cardoso, J., Sheth, A.P.: Semantic Web Processes: Semantics Enabled Annotation, Discovery, Composition and Orchestration of Web Scale Processes. In: 4th International Conference on Web Information Systems Engineering (WISE 2003), Roma, Italy, pp. 375–391 (2003)
The DAML Services Coalition: DAML-S: Semantic Markup for Web Services (December 2001)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: A Description Logic Based Approach to Reasoning about Web Services. In: Proceedings of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration, pp. 199–210 (2005)
Houstma, M.A.W., Apers, P.M.G., Ceri, S.: Distributed Transitive Closure Computation: The Disconnection Set Approach. In: 16th International Conference on Very Large Data Bases, Brisbane, pp. 335–346 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Qian, J., Gao, R., Cai, G. (2011). ALCIR + Reasoning for Semantic Web Services Composition. In: Yu, Y., Yu, Z., Zhao, J. (eds) Computer Science for Environmental Engineering and EcoInformatics. CSEEE 2011. Communications in Computer and Information Science, vol 159. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22691-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-22691-5_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22690-8
Online ISBN: 978-3-642-22691-5
eBook Packages: Computer ScienceComputer Science (R0)