The technique of using Description Logics in the process of constructing a composite service at the functional level

O.V. Zakharova


Automated composition is one of the most difficult web-services tasks. It has two purposes: first is to satisfy complex client’s requirements, second is to reduce a complexity of developing web-service to satisfy complex application system. Created theoretical apparatus is the basis for developing the algorithms of automated solving a semantical web-services composition task. Proposed approaches are based on using description logics. It is effective and powerful tool due to its mechanisms of judgments and the possibilities of logical inference and giving semantic meaning to descriptions.

Problems in programming 2018; 1: 77-91


semantic Web-service; description logic; composition task; service ontology; composition ontology; IOPE-model


Zakharova O. Defining and resolving Web-services discovery problems using descrip-tion logics formalism. Problems in programming. 2017. N 4. P. 66–78.

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,

Baader F., Ku¨sters R., and Molitor R. Computing Least Common Subsumer in Description Logics with Existential Restrictions. In T. Dean, editor, Proc. of the 16th Int. Joint Conf. on AI. P. 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.

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

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

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

Teege G. Making the difference: A subtraction operation for description log- ics. In J. Doyle, E. Sandewall, and P. Torasso, editors, KR'94, San Francisco, CA, 1994. Morgan Kaufmann.

AND/OR Graph and Search Algorithm for Discovering Composite Web Services. Qianhui Althea Lang, Singapore Management University, Stanley Y.W. Su, University of Florida, USA/

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}

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

Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta. Generalized Semantics-based Service Composition. /

Paolucci M. et al., Semantic Matching of Web Services Capabilities, In First International Semantic Web Conference, Sardinia, Italy. 2002. P. 333–347. CrossRef

Cormen T.H. et al. Introduction to Algorithms, MIT Press, 1990.



  • There are currently no refbacks.