A Compositional Operational Semantics for OWL-S.
Barry NortonSimon FosterAndrew HughesPublished in: EPEW/WS-FM (2005)
Keyphrases
- operational semantics
- formal semantics
- web services
- model theoretic
- denotational semantics
- modeling language
- web service composition
- first order logic
- service composition
- speech acts
- service discovery
- semantic web services
- theorem prover
- data model
- automatic discovery
- semantic description
- case study
- semantic modeling
- mental states
- expert systems
- database