B.A. Shchukin1

1 Federal State Budgetary Educational Institution of Higher Vocational Education National Research Nuclear University MEPhI (Moscow, Russia)
 

In accordance with the recommendations of the international consortium W3C as a description of the semantic service is used OWL-S specification, and the preconditions and effects of the service are set in the form of SWRL rules. It is assumed that the semantic description simplify the problem of the composition and search services. Use of the information contained in the semantic description of the service, for the purpose of finding leads to the necessity of automatic proof of theorems in the predicate calculus.

Shchukin B.A. Semantic Web-services. Information-measuring and Control Systems. 2023. V. 21. № 2. P. 45–50. DOI: https://doi. org/10.18127/j20700814-202302-06 (in Russian)

1. Klimov V.V. Kompoziciya semanticheskih Web-servisov / N.G. Volchenkov, V.V. Klimov, B.A. SHCHukin i dr. Informacionno-izmeritel'nye i upravlyayushchie sistemy. Intellektual'nye sistemy i tekhnologii. 2011. № 6, T. 9. S. 35 – 42 (in Russian).
2. OWL-S: Semantic Markup for Web Services [Elektronnyj resurs]. W3C Member Submission 22 November 2004. http://www. w3.org/Submission/OWL-S/.
3. Semantic Web Rule Language. http://www.w3.org/Submission/SWRL
4. Jacek Kopecky DX.YvZZ RDFXSLT: XSLT-based Data Grounding for RDF. WSMO Working Draft 12 April 2007. http://www.wsmo.org/TR/d24/d24.2/v0.1/20070412/rdfxslt.html
5. SPASS: An Automated Theorem Prover for First-Order Logic with Equality. Мax Planck Institut Informatik. http://www.spass-prover.org