1 / 8

Inferencing support for the Semantic Web

Inferencing support for the Semantic Web. 1st F2F meeting SDK cluster working group on Semantic Web Services Wiesbaden, Germany, 15-03-2004 Uwe Keller, (Rubén Lara, Holger Lausen, Axel Polleres) Digital Enterprise Research Institute Innsbruck uwe.keller@deri.ie. Agenda. Motivation

tracey
Download Presentation

Inferencing support for the Semantic Web

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. Inferencing support for the Semantic Web 1st F2F meeting SDK cluster working group on Semantic Web Services Wiesbaden, Germany, 15-03-2004 Uwe Keller, (Rubén Lara, Holger Lausen, Axel Polleres) Digital Enterprise Research Institute Innsbruck uwe.keller@deri.ie

  2. Agenda • Motivation • What do we want to achieve? • Activities • Current status • People Uwe Keller uwe.keller@deri.ie

  3. Motivation • WSMO • Mission: development of a language for describing various aspects of semantic web services • Starting point: Web Service Modeling Framework (WSMF) • Semantic annotation + web service = semantic web service • How to make use of semantic annotations? • Full potential can only be reached by automated processing of semantic annotations • This naturally leads to reasoning and inferencing over web service descriptions in WSMO • What is needed? • Formal semantics description in of WSMO ►deliverable D8 “Language evaluation & comparison” Uwe Keller uwe.keller@deri.ie

  4. What do we want to achieve? Use … all information present in WSMO service descriptions … to support the automation of • Service Discovery • Service Invocation • Service Mediation (Data, Protocol, Process) • Service Orchestration • Service Execution Uwe Keller uwe.keller@deri.ie

  5. How do we do that? • Identify proof obligation in all these areas • What do we want to prove informally? • Formally define the statement in an adequat logic • Implementation of tools for proving the proof obligations formally • Evaluate the approaches during case studies Uwe Keller uwe.keller@deri.ie

  6. Current status • Focus on service discovery aspect • Exact matching between goals & capabilities • Defined proof obligation • Started to implement a corresponding reasoner based on F-Logic • Just started: Matching in the context of mediators Uwe Keller uwe.keller@deri.ie

  7. People Ruben Lara Uwe Keller Holger Lausen Axel Pollers Are you interested to solve challenging problems? Uwe Keller uwe.keller@deri.ie

  8. Questions ?

More Related