A logical framework for modeling and reasoning about semantic web services contract

Liu Hai, Li Qing, Gu Naijie, An Liu

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

1 Citation (Scopus)

Abstract

In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. Meanwhile, the original nature and advantages of classical DLs are also preserved to the extent possible.

Original languageEnglish
Title of host publicationProceeding of the 17th International Conference on World Wide Web 2008, WWW'08
Pages1057-1058
Number of pages2
DOIs
Publication statusPublished - 15 Dec 2008
Externally publishedYes
Event17th International Conference on World Wide Web 2008, WWW'08 - Beijing, China
Duration: 21 Apr 200825 Apr 2008

Publication series

NameProceeding of the 17th International Conference on World Wide Web 2008, WWW'08

Conference

Conference17th International Conference on World Wide Web 2008, WWW'08
CountryChina
CityBeijing
Period21/04/0825/04/08

Keywords

  • DLs
  • Semantic Web Services
  • Services Contract

ASJC Scopus subject areas

  • Computer Networks and Communications

Cite this