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

O.V. Zakharova

Abstract


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


Keywords


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

References


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 hwang@mailst.xjtu.edu.cn, lzz@mail.xjtu.edu.cn

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/ http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.131.1053

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

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

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

Srividya Kona, Ajay Bansal, M. Brian Blake, Gopal Gupta. Generalized Semantics-based Service Composition. / http://ieeexplore.ieee.org/abstract/document/4670179

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

https://vo.homelinux.org/wiki/code/FloydWarshall.

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




DOI: https://doi.org/10.15407/pp2018.01.077

Refbacks

  • There are currently no refbacks.