inferencing support for the semantic web
Download
Skip this Video
Download Presentation
Inferencing support for the Semantic Web

Loading in 2 Seconds...

play fullscreen
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 [email protected] 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

[email protected]

agenda
Agenda
  • Motivation
  • What do we want to achieve?
  • Activities
  • Current status
  • People

Uwe Keller

[email protected]

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

[email protected]

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

[email protected]

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

[email protected]

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

[email protected]

people
People

Ruben

Lara

Uwe

Keller

Holger

Lausen

Axel

Pollers

Are you interested to solve challenging problems?

Uwe Keller

[email protected]

ad