Title :
A Formal Framework for Description of Semantic Web Services
Author :
Zhixiong, Jiang ; Leqiu, Qian ; Xin, Pen
Author_Institution :
Fudan Univ., Shanghai
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;
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
DOI :
10.1109/CIT.2007.24
