WWW2008 Posters - WWW 2008: Posters
Skip to main content.

Posters


Track: Posters

Paper Title:
A Logical Framework for Modeling and Reasoning about Semantic Web Services Contract

Authors:

  • Hai Liu(University of Science and Technology of China and City University of Hong Kong)
  • Qing Li(City University of Hong Kong)
  • Naijie Gu(University of Science and Technology of China and City University of Hong Kong)
  • An Liu(University of Science and Technology of China)

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.

PDF version












Inquiries can be sent to: Email contact: program-chairs at www2008.org

Valid XHTML 1.0 Transitional