Reasoning With Web Services University of Innsbruck and Electronic Web Service GmbH
[Semantic Web Service Execution Engine] Factsheet Partners: University of Innsbruck, DERI Electronic Web Service GmbH Duration: 01/2005 – 06/2007 Funding: 423.714,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