Inferencing support for the semantic web
Download
1 / 8

Inferencing support for the Semantic Web - PowerPoint PPT Presentation


  • 78 Views
  • Uploaded on

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

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'Inferencing support for the Semantic Web' - tracey


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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
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
Agenda

  • Motivation

  • What do we want to achieve?

  • Activities

  • Current status

  • People

Uwe Keller

uwe.keller@deri.ie


Motivation
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


What do we want to achieve
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


How do we do that
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


Current status
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


People
People

Ruben

Lara

Uwe

Keller

Holger

Lausen

Axel

Pollers

Are you interested to solve challenging problems?

Uwe Keller

uwe.keller@deri.ie