Abstract
Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WS-Policy and WSPL leading the way. The proposed languages, although relatively inexpressive, suffer from a lack of formal semantics. In this paper, we provide a mapping of WS-Policy to the description logic fragment species of the Web Ontology Language (OWL-DL), and describe how standard OWL-DL reasoners can be used to check policy conformance and perform an array of policy analysis tasks. OWL-DL is much more expressive than WS-Policy and thus provides a framework for exploring richer policy languages.
Chapter PDF
Similar content being viewed by others
References
Anderson, A.H.: An introduction to the web services policy language. In: Fifth IEEE International Workshop on Policies for Distributed Systems and Networks, POLICY 2004 (2004)
Dean, M., Schreiber, G.: Owl web ontology language reference w3c recommendation (February 2004)
Donini, F.M., Nardi, D., Rosati, R.: Description logics of minimal knowledge and negation as failure. ACM Transactions on Computational Logic, 1529–3785 (2001)
Peer, J., Olmedilla, D., et al.: Wsdl annotation proposal, http://lists.oasis-open.org/archives/wsrm/200403/msg00082.html
Godik, S., Moses, T.: Oasis extensible access control markup language (xacml) version 1.1. oasis committee specification (July 2003)
Haarslev, V., Möller, R.: Racer: A core inference engine for the semantic web. In: Proceedings of the 2nd International Workshop on Evaluation of Ontology-based Tools (2003)
Hogben, G.: Describing the p3p base data schema using owl. In: A WWW 2005 Workshop on Policy Management for the Web (2005)
Horrocks, I.: The fact system, http://www.cs.man.ac.uk/~horrocks/FaCT/
Kagal, L., et al.: A policy language for a pervasive computing environment. In: IEEE 4th International Workshop on Policies for Distributed Systems and Networks (June 2003)
Kalyanpur, A., Parsia, B., Hendler, J.: A tool for working with web ontologies. Proceedings of the International Journal on Semantic Web and Information Systems 1(1) (January- March 2005)
Lassila, O., Swick, R.: Resource description framework (rdf) model and syntax specification (February 1999)
P3P. Platform for Privacy Preferences Project, http://www.w3.org/P3P/
Pan, J.Z., Horrocks, I.: Owl-e: Extending owl with expressive datatype expressions. Technical report, Victoria University of Manchester (2004)
Parsia, B., Sirin, E., Kalyanpur, A.: Debugging owl ontologies. In: The 14th International World Wide Web Conference (WWW 2005), Chiba, Japan (May 2005)
Pellet. Pellet - owl dl reasoner (2003), http://www.mindswap.org/2003/pellet
Uszokand, A., Bradshaw, J.: Kaos policies for web services. In: W3C Workshop on Constraints and Capabilities for Web Servies (October 2004)
WS-Policy. Web services policy framework (ws-policy), http://www-106.ibm.com/developerworks/library/specification/ws-polfram/
Yu, T., Li, N., Anton, A.L.: A formal semantics for p3p. In: ACM Workshop on Secure Web Services (October 2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kolovski, V., Parsia, B., Katz, Y., Hendler, J. (2005). Representing Web Service Policies in OWL-DL. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds) The Semantic Web – ISWC 2005. ISWC 2005. Lecture Notes in Computer Science, vol 3729. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11574620_34
Download citation
DOI: https://doi.org/10.1007/11574620_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29754-3
Online ISBN: 978-3-540-32082-1
eBook Packages: Computer ScienceComputer Science (R0)