Process.owl
type: Ontology
version info: $Id: Process.owl,v 1.1 2004/08/18 13:30:35 balzer Exp $
comment: Upper-level OWL ontology for Processes modified for the travelagent scenario TraP. Part of the DAML-S/OWL-S effort; see http://www.daml.org/services/.
imports: time-entry.owl
imports: Condition.owl
imports: Base.owl
imports: Service.owl

Effect
type: Class
subclass of: Condition
comment: This is a "place-holder" for now, which awaits further work from the DAML/OWL community. An instance of Effect is a logical formula that evaluates to true or false. Eventually we expect this to be defined elsewhere, as part of a OWL extension allowing for logical expressions.

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

parameterType
type: ObjectProperty
domain: Parameter
comment: Range is left unspecified currently, to allow for both OWL classes and XSD datatypes. (However, this is subject to revision in the next release.)

coCondition
type: ObjectProperty
comment: The condition of a conditional output
domain: ConditionalOutput
range: Condition

UnConditionalOutput
type: Class
comment: An UnConditionalOutput has no condition.
intersection of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#2

http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#4
type: Restriction
on property: coCondition
cardinality: 0

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/c17852d2a78f307738641553644ce915#5
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#6

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/c17852d2a78f307738641553644ce915#5
type: Restriction
on property: hasProcess
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#6
type: Restriction
on property: hasControlModel
max cardinality: 1

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

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/c17852d2a78f307738641553644ce915#11
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/c17852d2a78f307738641553644ce915#14
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#15
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#16
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#17
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#18

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

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/c17852d2a78f307738641553644ce915#13
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/c17852d2a78f307738641553644ce915#14
type: Restriction
on property: invocable
max cardinality: 1

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

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

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

http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#18
type: Restriction
on property: computedPrecondition
max 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/c17852d2a78f307738641553644ce915#19
comment: A ProcessComponent can have at most one of each of the restricted properties.
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#32
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#33
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#34
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#35

ProcessComponentBag
type: Class
comment: A multiset of ProcessComponents
subclass of: List
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#21
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#22

ProcessComponentList
type: Class
comment: A list of ProcessComponents
subclass of: List
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#23
subclass of: http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#24

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

sameValues
type: ObjectProperty
domain: ProcessComponent
comment: The range is to be a list of ValueOf.
range: List

http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#32
type: Restriction
on property: begins
max cardinality: 1

http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#33
type: Restriction
on property: ends
max cardinality: 1

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

http://lodlaundromat.org/.well-known/genid/c17852d2a78f307738641553644ce915#35
type: Restriction
on property: timeoutAbsolute
max cardinality: 1