1. Reasoning With Web Services
University of Innsbruck and Electronic Web Service GmbH

2. [Semantic Web Service Execution Engine]
Factsheet
Partners: University of Innsbruck, DERI
Electronic Web Service GmbH
Duration: 01/2005 – 06/2007
Funding: ,11 EUR (Austrian Government within the FIT-IT Program)
Discovery
Requestor (Agent)
Provider (Agent)
WSMO Studio
Goal Description (Request)  
Matching Web Services
WSMO Reasoner
Web Service Description
Invocation
Provides Semantic Descriptions
[Semantic Web Service Execution Engine]
Reasoningsupport for the Semantic Web: DL, Logic Programming and FOL
Discovery Engine
Toolsupport: integrate editing, reasoning and discovery