Automatic Composition of Semantic Web Services - A Theorem Proof Approach.

Li Ye Junliang Chen

Published in: ASWC (2006)

Keyphrases

semantic web services
interactive theorem proving
web services
service discovery
semantic web technologies
intelligent agents
life cycle
semantic descriptions
semantic annotation
service oriented architecture
information technology
semantic matching
service oriented
web databases