Fwd: Semantics and choreography
Semantics and choreography
DAML-S v1.0 - syntax, semantics and corectness
IPsmarx Technologies Inc. Canada
Introduction - Dave Lewis
Introduction - Ion Constantinescu
UDDI and semantics
- Re: UDDI and semantics
- RE: UDDI and semantics
- RE: UDDI and semantics
- Re: UDDI and semantics
- RE: UDDI and semantics
- RE: UDDI and semantics
- Re: UDDI and semantics: CMU OWL-S/UDDI Mapping
BPEL2DAMLS available online
Re: Question on grounding!
Introduction
Introduction - Mark Baker
Expressing equivalence
Re: Attempt to use Owl rule language to express preconditions in Congo
Introduction - Drew McDermott
Re: Attempt to use Owl rule language to express preconditions in Congo
- Re: Attempt to use Owl rule language to express preconditions in Congo
Introduction - Luca Tarrini
Introduction - Mario Jeckle
Introduction - Jong-Hong Jeon
Introduction - Ian Horrocks
RE: the precondition property in OWL-S 1.0
- Re: the precondition property in OWL-S 1.0