Modeling and reasoning about semantic Web services contract using description logic

Hai Liu; Qing Li; Naijie Gu; An Liu

doi:10.1109/WAIM.2008.57

Modeling and reasoning about semantic Web services contract using description logic

Hai Liu, Qing Li, Naijie Gu, An Liu

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

3 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008
Pages	179-186
Number of pages	8
DOIs	https://doi.org/10.1109/WAIM.2008.57
Publication status	Published - 22 Sep 2008
Externally published	Yes
Event	9th International Conference on Web-Age Information Management, WAIM 2008 - Zhangjiajie, China Duration: 20 Jul 2008 → 22 Jul 2008

Publication series

Name	Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008

Conference

Conference	9th International Conference on Web-Age Information Management, WAIM 2008
Country/Territory	China
City	Zhangjiajie
Period	20/07/08 → 22/07/08

ASJC Scopus subject areas

Computer Networks and Communications
Information Systems and Management

More information

10.1109/WAIM.2008.57

Cite this

Liu, H., Li, Q., Gu, N., & Liu, A. (2008). Modeling and reasoning about semantic Web services contract using description logic. In Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008 (pp. 179-186). [4597012] (Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008). https://doi.org/10.1109/WAIM.2008.57

@inproceedings{e3ee163824b3445cbaddda7ce684f6f7,

title = "Modeling and reasoning about semantic Web services contract using description logic",

abstract = "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.",

author = "Hai Liu and Qing Li and Naijie Gu and An Liu",

year = "2008",

month = sep,

day = "22",

doi = "10.1109/WAIM.2008.57",

language = "English",

isbn = "9780769531854",

series = "Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008",

pages = "179--186",

booktitle = "Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008",

note = "9th International Conference on Web-Age Information Management, WAIM 2008 ; Conference date: 20-07-2008 Through 22-07-2008",

}

Liu, H, Li, Q, Gu, N & Liu, A 2008, Modeling and reasoning about semantic Web services contract using description logic. in Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008., 4597012, Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008, pp. 179-186, 9th International Conference on Web-Age Information Management, WAIM 2008, Zhangjiajie, China, 20/07/08. https://doi.org/10.1109/WAIM.2008.57

Modeling and reasoning about semantic Web services contract using description logic. / Liu, Hai; Li, Qing; Gu, Naijie; Liu, An.

Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008. 2008. p. 179-186 4597012 (Proceedings - The 9th International Conference on Web-Age Information Management, WAIM 2008).

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

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 -

Modeling and reasoning about semantic Web services contract using description logic

Abstract

Publication series

Conference

ASJC Scopus subject areas

More information

Other files and links

Cite this