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. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Kolovski, V., Parsia, B., Katz, Y., & Hendler, J. (2005). Representing web service policies in OWL-DL. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3729 LNCS, pp. 461–475). https://doi.org/10.1007/11574620_34
Mendeley helps you to discover research relevant for your work.