Modeling and reasoning about semantic Web services contract using description logic

Hai Liu, Qing Li, Naijie Gu, An Liu

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

3 Citations (Scopus)

Abstract

Currently, the natural expectation of contracting a set of Web services by virtue of their semantics is becoming more and more feasible and popular. Meanwhile, it is generally accepted that a formalism with a well-defined model-theoretic semantics (i.e. some sort of logics) should be considered as the underpinning of Semantic Web Services [1]. In this paper, concrete domain and action theory are incorporated into a very expressive DL, called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. At the same time, the original nature and advantages of classical DLs, particularly the ability to describe "static" aspects of Web services, are also preserved to the extent possible.

Original languageEnglish
Title of host publicationProceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008
Pages179-186
Number of pages8
DOIs
Publication statusPublished - 22 Sep 2008
Externally publishedYes
Event9th International Conference on Web-Age Information Management, WAIM 2008 - Zhangjiajie, China
Duration: 20 Jul 200822 Jul 2008

Publication series

NameProceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008

Conference

Conference9th International Conference on Web-Age Information Management, WAIM 2008
Country/TerritoryChina
CityZhangjiajie
Period20/07/0822/07/08

ASJC Scopus subject areas

  • Computer Networks and Communications
  • Information Systems and Management

Cite this