1 / 1

A Framework for Describing Information Providing Web Services

x 1. z 1. y 1. x 2. Inputs. Outputs. y n. x m. z r. z 2. A Framework for Describing Information Providing Web Services. Evgeny Zolin, School of Computer Science, University of Manchester, UK, ezolin@cs.man.ak.uk

remedios-dudley
Download Presentation

A Framework for Describing Information Providing Web Services

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. x1 z1 y1 x2 Inputs Outputs yn xm zr z2 A Framework for Describing Information Providing Web Services Evgeny Zolin, School of Computer Science, University of Manchester, UK, ezolin@cs.man.ak.uk Andrey Bovykin, Department of Computer Science, University of Liverpool, UK, andrey@csc.liv.ac.uk Abstract Service matching Examples of services and matches • We present a formalism for describing Semantic Web Services • Main features of the approach: • Concerns with information providing (stateless) services • Enables for service discovery of high precision / recall • Service descriptions use a background ontology • The problem of matching web services is decidable • Compatible with standard approaches (OWL-S, WSMO) In our framework, the service Sdoes not match Q1, but in “standard” approaches it (mistakenly) does. This time, the service S matches the request Q2. However in “standard” approaches it (mistakenly) does not, since outputs of S (Wines) are broader than the user desires (FrenchWines). To match S to Q2, we need an information from the background ontology: a concept inclusion axiom: or a more general complex role inclusion axiom: Request 1: a user is looking for a service that returns wines that are sold in a certain region: Describing Services Request 2: a user is looking for a service that returns french wines from a given french region: Service description: Theorem. The service matching problem is reducible to subsumption of conjunctive queries. Hence it is decidable for many Description Logics. Project and funding information Example: a service returns a list of wines that are produced in a certain geographical region: Remark: The desciption of a composition of several services has again the form displayed above. The work is supported by the EPSRC grants GR/63182/01, GR/S63168/01 as part of the DynamO project. The authors would like to thank Dr. Ulrike Sattler, Prof. Frank Wolter, and Prof. Ian Horrocks for their help during the research. Further information: http://dynamo.man.ac.uk/ Corollary. The matching problem for composite services is not harder than that for atomic services.

More Related