Representing web service policies in OWL-DL

Authors:
Vladimir Kolovski;Bijan Parsia;Yarden Katz;James Hendler
Affiliations:
Maryland Information and Network Dynamics Laboratory Lab, University of Maryland, College Park, MD;Dept. of Computer Science, University of Maryland, College Park, MD;Dept. of Computer Science, University of Maryland, College Park, MD;Dept. of Computer Science, University of Maryland, College Park, MD
Venue:
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Year:
2005

Citing 5
Cited 13

Description logics of minimal knowledge and negation as failure

ACM Transactions on Computational Logic (TOCL)
A Policy Language for a Pervasive Computing Environment

POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
An Introduction to the Web Services Policy Language (WSPL)

POLICY '04 Proceedings of the Fifth IEEE International Workshop on Policies for Distributed Systems and Networks
Debugging OWL ontologies

WWW '05 Proceedings of the 14th international conference on World Wide Web
A formal semantics for P3P

SWS '04 Proceedings of the 2004 workshop on Secure web service

Semantics-enriched QoS policies for web service interactions

WebMedia '06 Proceedings of the 12th Brazilian Symposium on Multimedia and the web
SESA: Emerging Technology for Service-Centric Environments

IEEE Software
Web service security management using semantic web techniques

Proceedings of the 2008 ACM symposium on Applied computing
Trust on the world wide web: a survey

Foundations and Trends in Web Science
Making Web services tradable

Web Semantics: Science, Services and Agents on the World Wide Web
A meta-control architecture for orchestrating policy enforcement across heterogeneous information sources

Web Semantics: Science, Services and Agents on the World Wide Web
Optimizing Web Service Composition While Enforcing Regulations

ISWC '09 Proceedings of the 8th International Semantic Web Conference
Deploying semantic web services-based applications in the e-government domain

Journal on data semantics X
WSTO: a classification-based ontology for managing trust in semantic web services

ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
An ontology-based approach for managing and maintaining privacy in information systems

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Semantic matching of WS-SecurityPolicy assertions

ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Rule-Based Security Capabilities Matching for Web Services

Wireless Personal Communications: An International Journal
A Metamodel for the Web Services Standards

Journal of Grid Computing

Quantified Score

Hi-index	0.00

Visualization

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.