DocumentCode
2143117
Title
A Formal Framework for Description of Semantic Web Services
Author
Zhixiong, Jiang ; Leqiu, Qian ; Xin, Pen
Author_Institution
Fudan Univ., Shanghai
fYear
2007
fDate
16-19 Oct. 2007
Firstpage
1065
Lastpage
1070
Abstract
Web services may produce the effect change of the world. To describe web services faithfully, not only static information but also dynamic information such as state change should be represented. In this paper we propose service dynamic description logic (SDDL) to represent and model the dynamic aspect of web services. Three basic reasoning services are introduced in our formal framework to support the discovery and composition of web services.
Keywords
Web services; formal specification; inference mechanisms; logic programming; semantic Web; formal description framework; reasoning services; semantic Web service composition; semantic Web service discovery; service dynamic description logic; Automatic logic units; Computer science; Credit cards; Information technology; Integrated circuit modeling; Knowledge representation; Logic design; Semantic Web; Vocabulary; Web services;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer and Information Technology, 2007. CIT 2007. 7th IEEE International Conference on
Conference_Location
Aizu-Wakamatsu, Fukushima
Print_ISBN
978-0-7695-2983-7
Type
conf
DOI
10.1109/CIT.2007.24
Filename
4385226
Link To Document