TY - GEN
T1 - A logical framework for modeling and reasoning about semantic web services contract
AU - Hai, Liu
AU - Qing, Li
AU - Naijie, Gu
AU - Liu, An
PY - 2008/12/15
Y1 - 2008/12/15
N2 - 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.
AB - 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.
KW - DLs
KW - Semantic Web Services
KW - Services Contract
UR - http://www.scopus.com/inward/record.url?scp=57349086011&partnerID=8YFLogxK
U2 - 10.1145/1367497.1367654
DO - 10.1145/1367497.1367654
M3 - Conference article published in proceeding or book
AN - SCOPUS:57349086011
SN - 9781605580852
T3 - Proceeding of the 17th International Conference on World Wide Web 2008, WWW'08
SP - 1057
EP - 1058
BT - Proceeding of the 17th International Conference on World Wide Web 2008, WWW'08
T2 - 17th International Conference on World Wide Web 2008, WWW'08
Y2 - 21 April 2008 through 25 April 2008
ER -