B.A. Shchukin

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.

 

1. Klimov V.V.Kompozicija semanticheskikh Web-servisov / N.G. Volchenkov, V.V. Klimov, B.A. SHHukin i dr. // Informacionno-izmeritelnye i upravljajushhie sistemy. Intellektualnye sistemy i tekhnologii. 2011. № 6, T. 9. S. 35 - 42
2. OWL-S: Semantic Markup for Web Services [EHlektronnyjjresurs] // 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 KopeckyDX.YvZZ RDFXSLT: XSLT-based Data Grounding for RDF. WSMOWorkingDraft 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. Max Planck Institut Informatik. http://www.spass-prover.org