Class: process:Existential
http://www.daml.org/services/owl-s/1.2/Process.owl#Existential
Annotations (1)
-
rdfs:comment "
An Existential is a variable that can occur in a precondition and
a Result. We presuppose that there is (just) one binding of
all the existentials that, combined with the bindings of input
parameters, makes the precondition true. If there is such a binding,
then the Process is feasible. The values of the existentials
so obtained can appear in the effects of Results, and, if the Process
is composite, can be referred to in its body.
" ()
Superclasses (1)
Disjoints (4)
Usage (3)