TY - GEN
T1 - Modeling and reasoning about semantic Web services contract using description logic
AU - Liu, Hai
AU - Li, Qing
AU - Gu, Naijie
AU - Liu, An
PY - 2008/9/22
Y1 - 2008/9/22
N2 - Currently, the natural expectation of contracting a set of Web services by virtue of their semantics is becoming more and more feasible and popular. Meanwhile, it is generally accepted that a formalism with a well-defined model-theoretic semantics (i.e. some sort of logics) should be considered as the underpinning of Semantic Web Services [1]. In this paper, concrete domain and action theory are incorporated into a very expressive DL, called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. At the same time, the original nature and advantages of classical DLs, particularly the ability to describe "static" aspects of Web services, are also preserved to the extent possible.
AB - Currently, the natural expectation of contracting a set of Web services by virtue of their semantics is becoming more and more feasible and popular. Meanwhile, it is generally accepted that a formalism with a well-defined model-theoretic semantics (i.e. some sort of logics) should be considered as the underpinning of Semantic Web Services [1]. In this paper, concrete domain and action theory are incorporated into a very expressive DL, called ALCQO. Notably, this extension can significantly augment the expressive power for modeling and reasoning about dynamic aspects of services contracting. At the same time, the original nature and advantages of classical DLs, particularly the ability to describe "static" aspects of Web services, are also preserved to the extent possible.
UR - http://www.scopus.com/inward/record.url?scp=51849139535&partnerID=8YFLogxK
U2 - 10.1109/WAIM.2008.57
DO - 10.1109/WAIM.2008.57
M3 - Conference article published in proceeding or book
AN - SCOPUS:51849139535
SN - 9780769531854
T3 - Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008
SP - 179
EP - 186
BT - Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008
T2 - 9th International Conference on Web-Age Information Management, WAIM 2008
Y2 - 20 July 2008 through 22 July 2008
ER -