Descriptive logic using in Web-service problems

O.V. Zakharova


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.


Web services; descriptive logics


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


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}

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.

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}

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)}, ´Ecole Nationale Sup´erieure des Mines de St-Etienne, France 158, cours Fauriel, F-42023 Saint-´Etienne,, 2006 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

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


  • There are currently no refbacks.