1st International ICST Conference on Communications and Networking in China

Research Article

The Semantic Representation of WSPL in OWL-DL

  • @INPROCEEDINGS{10.1109/CHINACOM.2006.344896,
        author={Bai  Dong-wei and Peng  Yong and Yao  Zhao and Chen  Jun-liang},
        title={The Semantic Representation of WSPL in OWL-DL},
        proceedings={1st International ICST Conference on Communications and Networking in China},
        publisher={IEEE},
        proceedings_a={CHINACOM},
        year={2007},
        month={4},
        keywords={},
        doi={10.1109/CHINACOM.2006.344896}
    }
    
  • Bai Dong-wei
    Peng Yong
    Yao Zhao
    Chen Jun-liang
    Year: 2007
    The Semantic Representation of WSPL in OWL-DL
    CHINACOM
    IEEE
    DOI: 10.1109/CHINACOM.2006.344896
Bai Dong-wei1,2, Peng Yong1, Yao Zhao1, Chen Jun-liang1
  • 1: State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing 100876 ,China
  • 2: Air Force Engineering University, Xi’an 710077, China

Abstract

With the wide application of Web services, people now pay more attention to the non-functional properties of Web services such as quality of service (QoS), security, etc. in discovery and selection. As a Web services policy language, Web Services Policy Language (WSPL) is widely used for expressing non-functional properties of Web services. However, this proposed language is based on XML schema, which is relatively inexpressive and suffers from a lack of formal semantics. In this paper, we provide a semantic representation of WSPL in the description logic fragment species of the Web Ontology Language (OWL-DL). OWL-DL will provide the semantic support for the policy description of WSPL, and enhance the expressivity and computability of the policy language. By representing WSPL policies as OWL-DL complex classes that are built up through OWL-DL class expressions, the most standard OWL-DL reasoners can be used to check policy conformance and perform an array of policy analysis tasks through TBox reasoning.