Process.owl
type: Ontology
version info: $Id: Process.owl,v 1.75 2004/05/13 05:34:43 martin Exp $
comment: Upper-level OWL ontology for Processes. Part of the DAML-S/OWL-S effort; see http://www.daml.org/services/.
imports: time-entry.owl
imports: Service.owl
imports: ObjectList.owl

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

inCondition
type: ObjectProperty
domain: Result
range: Condition

hasEffect
type: ObjectProperty
domain: Result
range: Expression

withOutput
type: ObjectProperty
domain: Result
range: OutputBinding

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

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/d87d0f421c2fd58b59abee91a353d24a#6
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/d87d0f421c2fd58b59abee91a353d24a#9
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#10
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#11
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#12
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#13

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#5
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

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#8
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.
domain: CompositeProcess
range: Thing

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#9
type: Restriction
on property: invocable
cardinality: 1

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#10
type: Restriction
on property: computedInput
cardinality: 1

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#11
type: Restriction
on property: computedOutput
cardinality: 1

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#12
type: Restriction
on property: computedEffect
cardinality: 1

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#13
type: Restriction
on property: computedPrecondition
cardinality: 1

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
comment: A ProcessComponent is either a Process or a ControlConstruct.
union of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#14
comment: A ProcessComponent can have at most one of each of the restricted properties.
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#36

ControlConstructBag
type: Class
comment: A multiset of control constructs
subclass of: List
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#16
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#17

ControlConstructList
type: Class
comment: A list of control constructs
subclass of: List
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#18
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#19

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#20
type: Restriction
on property: theParam
cardinality: 1

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#21
type: Restriction
on property: valueForm
cardinality: 1

valueForm
type: ObjectProperty
domain: Binding
range: XMLLiteral

ValueOf
type: Class
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#22
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#23

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

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

OutputBinding
type: Class
subclass of: Binding
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#25

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#26
type: Restriction
on property: process
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

Repeat-Until
type: Class
comment: The repeat until process
subclass of: ControlConstruct

ProcessModel
type: Class
comment: A ServiceModel describes how a Service works, and a ProcessModel is a type of ServiceModel (the only type being defined for OWL-S). See also the introductory comments to Service.daml.
subclass of: ServiceModel
comment: A ProcessModel can have at most one Process and one ProcessControlModel.
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#34
subclass of: http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#35

hasProcess
type: ObjectProperty
comment: In the case of a composite process, indicates the top-level process class.
domain: ProcessModel
range: Process

ProcessControlModel
type: Class
comment: A ProcessControlModel is used to monitor and control execution of a Process. This is just a "stub" for now; will be developed further in future releases of OWL-S.

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#34
type: Restriction
on property: hasProcess
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/d87d0f421c2fd58b59abee91a353d24a#35
type: Restriction
on property: hasControlModel
max 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: ProcessComponent
range: IntervalThing

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