Sciweavers

Share
WWW
2008
ACM

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

9 years 5 months ago
A logical framework for modeling and reasoning about semantic web services contract
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. Categories and Subject Descriptors: I.2.4 [Knowledge Representation Formalisms and Methods]: Representation languages General Terms: Languages, Theory
Hai Liu, Qing Li, Naijie Gu, An Liu
Added 21 Nov 2009
Updated 21 Nov 2009
Type Conference
Year 2008
Where WWW
Authors Hai Liu, Qing Li, Naijie Gu, An Liu
Comments (0)
books