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

Authors:
Hai Liu;Qing Li;Naijie Gu;An Liu
Affiliations:
University of Science and Technology of China, Hefei, China;City University of Hong Kong, Hong Kong;University of Science and Technology of China, Hefei, China;University of Science and Technology of China, Hefei, China
Venue:
Proceedings of the 17th international conference on World Wide Web
Year:
2008

Citing 3
Cited 1

Combining interval-based temporal reasoning with general TBoxes

Artificial Intelligence
CTR-S: a logic for specifying contracts in semantic web services

Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
Integrating description logics and action formalisms: first results

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2

Non-Monotonic Modeling for Personalized Services Retrieval and Selection

International Journal of Systems and Service-Oriented Engineering

Quantified Score

Hi-index	0.00

Visualization

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.