Transcript Semantic Information Integration

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
What do we want to achieve?
Activities
Current status
People
15-03-2004
Uwe Keller
[email protected]
2
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”
15-03-2004
Uwe Keller
[email protected]
3
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
15-03-2004
Uwe Keller
[email protected]
4
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
15-03-2004
Uwe Keller
[email protected]
5
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
15-03-2004
Uwe Keller
[email protected]
6
People
Uwe
Keller
Ruben
Lara
Holger
Lausen
Axel
Pollers
Are you interested to solve challenging problems?
15-03-2004
Uwe Keller
[email protected]
7
Questions ?