Abstract
OWL-S provides Web Service providers with a core ontological framework and guidelines for describing the properties and capabilities of their Web Services in unambiguous and, computer -interpretable form. To support effective verification tools of OWL-S, a formal semantics of the language is highly desirable. In this paper we propose a declarative methodology based on F-logic for modeling OWL-S ontologies, present a formal F-logic semantics of OWL-S and specify their global properties and frame as F-logic formulas. This methodology allows us to bring to bear a body of work for using first order logic based model checking to verify certain global properties of OWL-S constructed service systems.
This is a preview of subscription content, log in via an institution to check access.
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
Brogi, A., Corfini, S., Iardella, S.: From OWL-S descriptions to Petri nets. In: Proceedings of Third international workshop on engineering service-oriented applications: analysis, design and composition (WESOA 2007). Wien, Austria, September 17 (2007); Service-Oriented Computing - ICSOC 2007 Workshops, pp. 427–438. Springer, Heidelberg (2007)
Thomas, J.P., Thomas, M., Ghinea, G.: Modeling of Web Services Flow. In: Proceedings of the IEEE International Conference on ECommerce (CEC 2003), p. 391 (2003)
Yun-Chen, J., Zhong-zhi, S.: The Formal Semantics of OWL-S. Computer Science 32(2), 5–7 (2005)
Kifer, M., Lausen, G., Wu, J.: Logical Foundations of Object-Oriented and Frame-Based Languages. JACM 42(4), 741–843 (1995)
Zou, Y., Finin, T., Chen, H.: F-OWL: an inference engine for the semantic web. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol. 3228, pp. 238–248. Springer, Heidelberg (2004)
Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference. W3C Recommendation, February 10 (2004)
Kattenstroth, H., May, W., Schenk, F.: Combining OWL with F-Logic Rules and Defaults. In: International Workshop on Applications of Logic Programming to the Web, Semantic Web and Semantic Web Services (ALPSWS 2007), September 13, vol. 287, pp. 60–75 (2007)
OWL-S Coalition. OWL-S: Semantic markup for Web services. Release 1.2 (December 2004), http://www.daml.org/services/owl-s/1.2/overview/
Davidson, S., Boulakia, S., Eyal, A., Ludäscher, B., McPhillips, T., Bowers, S., Anand, M., Freire, J.: Provenance in Scientific Workflow Systems. IEEE Data Eng. Bull. 30(4), 44–50 (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Miao, H., He, T., Li, L. (2009). Formal Semantics of OWL-S with F-Logic. In: Lee, R., Hu, G., Miao, H. (eds) Computer and Information Science 2009. Studies in Computational Intelligence, vol 208. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01209-9_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-01209-9_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01208-2
Online ISBN: 978-3-642-01209-9
eBook Packages: EngineeringEngineering (R0)