Descriptive logic using in Web-service problems

O.V. Zakharova

Abstract


Currently, Web services allow us to solve specific business problems that implement business processes in various fields of human activity. But in order to get an executable Web service, we have to be able to efficiently solve many Web services’ problems at all stages of their life cycle. Descriptive logics, due to their reasoning mechanisms and capabilities of logical inference and semantic descriptions, are an effective and powerful tool for solving Web services problems. The purpose of this work is to establish a chain of Web services’ tasks at the functional level and define approaches to their solution using the mechanisms of descriptive logics.

Keywords


Web services; descriptive logics

References


http://www.w3.org/2002/ws/

Staab S., Studer R. Handbook on Ontologies. Second edition.

Baader Franz, Lutz Carsten, Miliˇ ci´ c Maja, Sattler Ulrike, Wolter Frank. A Description Logic Based Approach to Reasoning about

Web Services. IN PROCEEDINGS OF THE WWW 2005 WORKSHOP ON WEB SERVICE SEMANTICS (WSS2005).

Lifschitz V. Frames in the space of situations. AIJ, 46:365–376, 1990.

Sandewall E. Features and Fluents. Oxford University Press, 1994.

Winslett M. Reasoning about action using a possible models approach. In Proc. of AAAI-88, pages 89–93, Saint Paul, MN, 1988.

Reiter R. Knowledge in Action. MIT Press, 2001.

Ruben Lara. Definition of semantics for web service discovery and composi tion. In Knowledge Web Deliverable D2.4.2, 2004.

D2.4.6 A Theoretical Integration of Web Service Discovery and Composition. Roberti Pierluigi (ITC-IRST) Marco Pistore (University of Trento) with contributions from: Walter Binder (EPFL), Ion Constantinescu (EPFL) Axel Polleres (UIBK), Holger Lausen (UIBK), Paolo Traverso (ITCIRST), Michal Zaremba (NUIG). 2005. KWEB/2005/D2.4.6A/v1.0

Semantic Matching of Web Service Capabilities. Massimo Paolucci, Takahiro Kawamora, Terry R. Payne, Katya Sycara.

Semantic Web Services Composition Using AI planning of Description Logics. Lirong Qiu*" Fen Lin*" Changlin Wan*" Zhongzhi Shi* *Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, 100080, Beijing, China "Graduate School of the Chinese Academy of Sciences, 100039, Beijing, China {qiulr, linf, wancl, shizz}@ics.ict.ac.cn

Kutluhan Erol, James Hendler, and Nau Dana S. Htn planning: complexity and expressivity. In Proceedings of the twelfth national conference on Artificial intelligence (vol. 2), pages 1123–1128. American Association for Artificial Intelligence, 1994.

Combining Description Logic Reasoning with AI Planning for Composition of WEB Services. Evren Sirin, Doctor of Philosophy, 2006.

http://www.dh.cs.fau.de/IMMD8/Lectures/KRR/08a-DL_KB-4.pdf

https://www.ics.forth.gr/techreports/2010/2010.TR409_Automated_Web_Service_Composition.pdf

https://ru.wikipedia.org

Web Service composition: Semantic Links based approach. Freddy L´ecu´, Doctor of Philosophy, 2008.

A Conceptual and Formal Framework for Semantic Web Services (v1). Holger Lausen, Francisco Martin-Recuerda, Jos de-Bruijn, and Michael Stollberg (University of Innsbruck)

A Proposal for Describing Services with DLs. Carsten Lutz and Ulrike Sattler {lutz, sattler}@cs.rwth-aachen.de

Semantic Web Service Composition Based on a Closed World Assumption. Freddy L´ecu´ e, Alain L´eger, France Telecom R&D, France 4 rue du clos courtel, F-35512 Cesson S´evign´ e {(freddy.lecue, alain.leger)@orange-ft.com}, ´Ecole Nationale Sup´erieure des Mines de St-Etienne, France 158, cours Fauriel, F-42023 Saint-´Etienne, http://ieeexplore.ieee.org, 2006

http://life-prog.ru/view_zam2.php?id= 204&cat=5&page=13

Integrating Description Logics and Action Formalisms for Reasoning about Web-services. Franz Baader, Carsten Lutz, Maja Milieie, Ulrike Sattler, Frank Wolter. LTCS-Report 05-02

http://www.roseindia.net/webservices/Web-Services-technology.shtml

http://www.informit.com/articles/article.aspx?p=336265

Formal Description of Web Services for Expressive Matchmaking. Dipl.-Inform. Sudhir Agarwal, 2007 Karlsruhe


Refbacks

  • There are currently no refbacks.