Specification of SETU with WSMO.

Wout Hofman Menno Holtkamp Michael van Bekkum

Published in: I-ESA (2010)

Keyphrases

service discovery
high level
semantic web services
web services
data mining
formal verification
specification language
distributed systems
formal specification
reactive systems
neural network
state machine
description language
natural language
knowledge base
computer vision
real world