Process.owl
type: Ontology
version info: $Id: Process.owl,v 1.1 2004/11/09 11:20:20 martin Exp $
comment: Upper-level OWL ontology for Processes. Part of the DAML-S/OWL-S effort; see http://www.daml.org/services/owl-s/.
imports: Expression.owl
imports: Service.owl
imports: ObjectList.owl

Parameter
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#1
comment: This is the simplest way to relate parameters to SWRL (and DRS) variables.
subclass of: Variable

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#1
type: Restriction
on property: parameterType
min cardinality: 1

parameterValue
type: DatatypeProperty
comment: If an Input parameter has a constant value, or (as in the case of Output) is a description in terms of of some other process parameters, then supply it here. Note that it must be interpreted after reading it as an XMLLiteral. In future, the interpretation of this literal may be extended to allow more flexibility, such as functional expressions.
domain: Parameter
range: XMLLiteral

Local
type: Class
comment: A Local parameter is a variable other than an input that is bound in a precondition of an Atomic Process for use in a result condition or effect expression (or output expression) THEY CANNOT BE USED IN COMPOSITE PROCESSES AT ALL. This avoids problems associated with state sharing among asynchronously related sub processes.
subclass of: Parameter

Result
type: Class

hasResultVar
type: ObjectProperty
domain: Result
range: ResultVar

inCondition
type: ObjectProperty
domain: Result
range: Condition

hasEffect
type: ObjectProperty
domain: Result
range: Expression

withOutput
type: ObjectProperty
domain: Result
range: OutputBinding

ConditionalEffect
type: Class
comment: Deprecated as of version 1.1

ConditionalOutput
type: Class
comment: Deprecated as of version 1.1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#2
type: Restriction
on property: toParam
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#3
type: Restriction
on property: valueSource
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#4
type: Restriction
on property: valueSpecifier
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#5
type: Restriction
on property: valueData
max cardinality: 1

valueSpecifier
type: DatatypeProperty
domain: Binding

valueForm
type: DatatypeProperty
comment: valueForm is to be used to specify an pseudo-OWL description that is legal OWL except that variables (including process parameters) and ValueOf forms can appear as the object of properties where those things violate the range of the property. The intent is that this be interpreted as a pattern indicating the actual value of the binding after the variables have been substituted for. A similar notation is used with valueFunction to indicate the application of a locally (to the client) available function to convert data (specified by variables or ValueOf) to a correct form.
sub property of: valueSpecifier
domain: Binding
range: XMLLiteral

valueFunction
type: DatatypeProperty
sub property of: valueSpecifier
domain: Binding
range: XMLLiteral

valueSource
type: ObjectProperty
comment: This is the simplest kind of data flow
domain: Binding
range: ValueOf

valueData
type: DatatypeProperty
comment: valueData is for specifying constant (XML) data to be bound to a parameter. Ideally, the valueData property would also be a subproperty of valueSpecifier so that it would be one of the three possible properties used to specify a value for a Binding. But as we cannot do that, we treat it separately, but note that if it is used, the others should not be. For now, its range is any XML datatype.
domain: Binding

ValueOf
type: Class
comment: Within a value form, or when using valueSource, references to parameters of other processes require a tuple of (perform-ref, param-ref, which we represent with ValueOf
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#6
comment: We allow for the possibility that another parameter of the same process is referenced, in which case this property is optional (hence maxCard)
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#7

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#6
type: Restriction
on property: theVar
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#7
type: Restriction
on property: fromProcess
max cardinality: 1

Process
type: Class
comment: The most general class of processes
subclass of: ServiceModel
union of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#10
comment: A Process can have at most one name, but names need not be unique.
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#13

CompositeProcess
type: Class
subclass of: Process
disjoint with: AtomicProcess
disjoint with: SimpleProcess
comment: A CompositeProcess must have exactly 1 composedOf property.
intersection of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#17
comment: A CompositeProcess can have at most one invocable property. Similarly for computedInput, computedOutput, computedEffect, and computedPrecondition.
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#20
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#21
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#22
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#23
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#24

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#13
type: Restriction
on property: name
max cardinality: 1

hasResult
type: ObjectProperty
domain: Process
range: Result

expand
type: ObjectProperty
comment: This is a deprecated usage; expandsTo is preferred.
equivalent property: expandsTo

collapse
type: ObjectProperty
comment: This is a deprecated usage; collapsesTo is preferred.
equivalent property: collapsesTo

Perform
type: Class
comment: The PERFORM construct is how one references a process in a composite process. This is analogous to a function call in a program body. The inputs to the PERFORM are described using the hasDataFrom property. This property has as range a Binding object, which may either indicate constants or values that are derived from the parameters (typically outputs) of other performs in the SAME COMPOSITE PROCESS.
subclass of: ControlConstruct
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#16

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#16
type: Restriction
on property: process
cardinality: 1

TheParentPerform
type: Perform
comment: A special-purpose object, used to refer, at runtime, to the execution instance of the enclosing composite process definition.

ThisPerform
type: Perform
comment: A special-purpose object, used to refer, at runtime, to the execution instance of the enclosing atomic process definition.

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#19
type: Restriction
on property: composedOf
cardinality: 1

invocable
type: DatatypeProperty
comment: Invocable is a flag that tells whether the CompositeProcess bottoms out in atomic processes. (If so, it is "invocable".)
domain: CompositeProcess
range: boolean

computedInput
type: ObjectProperty
comment: A computed input is a single expression that characterizes the inputs required by a composite process, and the conditions under which they are required. This expression may, if needed, tie together 2 or more inputs; for example, "either a credit card number, or a bank account number must be given", or "if product id starts with 'M', no shipping method need be given". Additionally, this expression may refer to things other than inputs; for example; "if user's credit rating is 'excellent' or better, Social Security number is not required", or "if product weight is less than 1 lb., no shipping myth did need be given". A "computed" input is so named because it is meant to be computed automatically by some tool, by inspecting the makeup of the composite process. The language used to represent a computed input is not specified here, and will be the subject of future work; hence, the use of Thing as range. It will require expressiveness greater than that of OWL.
domain: CompositeProcess
range: Thing

computedOutput
type: ObjectProperty
comment: A computed output is a single expression that characterizes the outputs required by a composite process, and the conditions under which they are required. See comment for computedInput.
domain: CompositeProcess
range: Thing

computedPrecondition
type: ObjectProperty
comment: A computed precondition is a single expression that characterizes the preconditions of a composite process, based on the preconditions of its sub processes.
domain: CompositeProcess
range: Thing

computedEffect
type: ObjectProperty
comment: A computed effect is a single expression that characterizes the effects of a composite process, based on the effects of its sub processes. This is not well defined for conditional effects at present.
domain: CompositeProcess
range: Thing

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#20
type: Restriction
on property: invocable
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#21
type: Restriction
on property: computedInput
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#22
type: Restriction
on property: computedOutput
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#23
type: Restriction
on property: computedEffect
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#24
type: Restriction
on property: computedPrecondition
max cardinality: 1

ControlConstruct
type: Class
comment: A ControlConstruct can have at most one instance of timeout.
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#45

components
type: ObjectProperty
comment: The components propery of a control construct holds a specific arrangement of subprocesses or control constructs. The range is declared at each subclass of ControlConstruct.
domain: ControlConstruct

ProcessComponent
type: Class
equivalent class: ControlConstruct
comment: Deprecated as of v. 1.1. Note: the old concept ProcessComponent is no longer needed. ControlConstruct which includes Perform as a subclass should be used anywhere that ProcessComponent might have been used (which in the OWL-S 1.0 ontology was only in describing the relationship to temporal aspects)

ControlConstructBag
type: Class
comment: A multiset of control constructs
subclass of: List
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#25
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#26

ControlConstructList
type: Class
comment: A list of control constructs
subclass of: List
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#27
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#28

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#34
type: Restriction
on property: chooseFrom
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#35
type: Restriction
on property: chosen
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#37
type: Restriction
on property: ifCondition
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#38
type: Restriction
on property: then
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#39
type: Restriction
on property: else
max cardinality: 1

ifCondition
type: ObjectProperty
comment: The if condition of an if-then-else
domain: If-Then-Else
range: Condition

Repeat-While
type: Class
comment: The repeat while construct
subclass of: ControlConstruct
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#41
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#42

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#41
type: Restriction
on property: whileCondition
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#42
type: Restriction
on property: whileProcess
cardinality: 1

Repeat-Until
type: Class
comment: The repeat until process
subclass of: ControlConstruct
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#43
subclass of: http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#44

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#43
type: Restriction
on property: untilCondition
cardinality: 1

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#44
type: Restriction
on property: untilProcess
cardinality: 1

timeout
type: ObjectProperty
comment: Interval of time allowed for completion of the process component (relative to the start of process component execution).
domain: ControlConstruct
range: IntervalThing

http://lodlaundromat.org/.well-known/genid/e24cbcfdc24017bcbc00c980b55b8729#45
type: Restriction
max cardinality: 1
on property: timeout