Defining and resolving Web-services discovery problems using description logics formalism

O.V. Zakharova


Now Web-services allow to solve the business-problems that realize business-processes in different areas of human activities. But it is necessary to solve a lot of problems of Web-services on all stages of their life cycle to obtain executed Web-service. Description logics formalism is the effective and powerful tool to solve problems of Web–services due to its reasoners and abilities of logical inference and giving semantics to descriptions. Goal of this research is to define Web-services tasks chain on functional level and to find approaches for their resolving with description logics formalisms.

Problems in programming 2017; 4: 066-078


semantic Web-service; description logics; discovery task; web-service search; web-services composition; semantic description; domain ontology; service ontology


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

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

M. Ortiz, D. Calvanese, and T. Eiter. Cha-rac¬te¬rizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics./AAAI, 2006.

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

Zakharova O. General Principes for building the ontological graph – oriented description of application area. /Problems of programming. - №4, 2010. pp.51-59.(Ukrainian).

Ruben Lara. Definition of semantics for web service discovery and composi tion. In Knowledge Web Deliverable D2.42, 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 (ITC-IRST), Michal Zaremba (NUIG). 2005. KWEB/2005/D2.4.6A/v1.0.

Hai Wang, Zengzhi Li. A Semantic Matchmaking Method of Web Services Based On SHOIN+(D). /Institute of Computer System Structure and Networks School of Electronics & Information Engineering, Xi’an Jiaotong University, Xi’an Shaanxi 710049, PR China,

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.

R. Akkiraju, et al. (2005, December 6). Web Service Semantics. WSDL-S. Available:

F. Baader and W. Nutt; In F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Patel-Schneider. Basic Description Logics./ The Description Logic Handbook, pages 43–95. Cambridge University Press, 2003.

F. Baader, R. Ku¨sters, and R. Molitor. Computing Least Common Subsumer in Description Logics with Existential Restrictions. In T. Dean, editor, Proc. of the 16th Int. Joint Conf. on AI, pages 96–101. M.K, 1999.

Franz Baader, Ralf Kiisters, and Ralf Molitor LuFg Theoretische Informatik, RWTH Aachen. Computing Least Common Subsumers in Description Logics with Existential.

C. Beeri, A.Y. Levy, and M-C. Rousset. Rewriting Queries Using Views in Description Logics. In L. Yuan, editor, Proc. of the ACM PODS , New York, USA, pages 99-108, Apr. 1997. CrossRef

Alon Y. Halevy. Answering queries using views: A survey. VLDB Journal, 10(4):270- 294, 2001. CrossRef

Franz Baader, Ralf Ku¨sters, and Ralf Molitor. Rewriting Concepts Using Terminologies. In Proc. of the Int. Conf.KRColorado, USA, pages 297–308, Apr. 2000.



  • There are currently no refbacks.