From Typed-Functional Semantic Web Services to Proofs.

Published in: ISWC (2006)

Keyphrases

semantic web services
web services
service discovery
intelligent agents

life cycle
semantic annotation
semantic web technologies
semantic matching

service oriented architecture
database systems
service oriented
semantic descriptions

artificial intelligence
user interface
intelligent systems
context awareness