Abstract
Description logic is used as the formal theoretical foundation of semantic web services, the paper analyzed description language of Semantic Web Services OWL-S, WSDL-S, WSML and SWSL. Give a formal definition of description about semantic web services, further Web services is interpreted with the semantic of description logic. The satisfiability and subsumption in description logic can be applied to inferring semantic web services. For further research semantic annotation of web services, relation between web services and services, reasoning problems for semantic web services, our work was important and fundamental.
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
McIlraith Sheila, A., Cao, S.T., Honglei, Z.: Semantic Web Services. IEEE Intelligent Systems. Special Issue on the Semantic Web 16(2), 46–53 (2001)
王杰生, 李舟军, 李梦君. 用描述逻辑进行语义 Web 服务组合. 19(4), 967–980 (2008)
Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: A description logic based approach to reasoning about Web services. In: Vasiliu, L. (ed.) Proc. of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration, pp. 636–647. ACM Press, Chiba (2005)
Sirin, E., Parsia, B., Wu, D., Hendler, J.A.: HTN Planning for Web Service Composition Using SHOP2. Journal of Web Semantics 1(4), 377–396 (2004)
The, OWL Services Coalition. OWL-S: Semantic Markup for Web Services, OWL-S 1.0 Release (2003)
Akkiraju, R., Farell, J., Miller, J., Nagarajan, M., Sheth, A., Verma, K.: Web Service Semantics-WSDL-S Version1.0 (2005), http://www.w3.org/Submission/WSDL-S/
Fensel, D., Kifer, M., de Bruijn., J., et al.: D16.1 v1.0 WSML Language Reference, http://www.wsmo.org/TR/d16/d16.1/v1.0
Battle, S., Bernstein, A., Boley, H., Grosof, B., Gruninger, M., Hull, R., et al.: Semantic Web Service LanguageVersion1.0, http://www.w3.org/Submission/SWSF-SWSL/
Schmidt-Schauβ, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence 48, 1–26 (1991)
Baader, F., Nutt, W.: Handbook of Description logic, ch.2. Cambridge University Press, Cambridge (2003)
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
Yuexing, D. (2011). The Formal Definitions of Semantic Web Services and Reasoning. In: Zhiguo, G., Luo, X., Chen, J., Wang, F.L., Lei, J. (eds) Emerging Research in Web Information Systems and Mining. WISM 2011. Communications in Computer and Information Science, vol 238. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24273-1_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-24273-1_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24272-4
Online ISBN: 978-3-642-24273-1
eBook Packages: Computer ScienceComputer Science (R0)