www-ws@w3.org from September 2003 by subject

[ANN] sw-announce mailing list

[bparsia@isr.umd.edu: Re: Process instantiation puzzle]

[Fwd: Re: Model of Concurrency in DAML-S -Reposted]

[OWL-S] arguments for PAI and PAC

[OWL-S]: simple process coordination

[SWSL] Richard Hull talk

A question of Composite Web Service Verification

Binding to use for an activity

Bottom up approach to web services

CALL FOR PAPERS: Semantic Web Services - 2004 AAAI Spring Symposium Series

Conditional in DAML-S

Congo Example, Preconditions and refersTo

DAML-S formal semantics

DAML-S ws composition: Is the cycle complete?

Fwd: Re: DAML-S ws composition: Is the cycle complete?

Fwd: Re: Process instantiation puzzle

Grounding puzzle

Guilty? You Decide!

Incomplete descriptions (was Re: Multiple inputs and multiple outputs)

Legally relevant events

Model of Concurrency in DAML-S

Model of Concurrency in DAML-S -Reposted

Multiple inputs and multiple outputs

pdf version of DAML-S surface syntax/formal semantics

PowerSet in DAML-S 0.9

Preconditions /effects vs Preconditions/Postconditions

ProcesModel hasProcess ProcessPowerSet

Process control Ontology

Process instantiation puzzle

RDF Forms

Revised DAML-S-PAI syntax & semantics

Semantics of Preconditions and Effects

Some comments on DAML-S 0.9

what is the "semantic core" of DAML-S?

why can't describe the semantic of DAML-S by Description Logic

Your details

{SPAM ?} Re: FW: Semantics of Preconditions and Effects

答复: why can't describe the semantic of DAML-S by Description Logic

Last message date: Tuesday, 30 September 2003 23:05:43 UTC