ActivityThing

Added for organizational purposes, to identify all classes defined in the Activity pattern.

IRI: https://w3id.org/citydata/part1/v1/ActivityThing

Diagram

SVG (interactive)PNG

Specializations of ActivityThing

Class	Description
Activity	An Activity describes something that occurs in the domain.
An Activity may be further defined by (decomposed into) Subactivities.
An Activity may have precondition and/or effect State.
An Activity may be enabled by or cause some State. An enabling of causing state is a generalization of a precondition/effect; an Activity is enabled by or causes some State if it has a subactivity with a precondition or effect (respectively) of that State.
In other words, the state may not be required directly before, or cause directly after the activity, but by some more specialized sub-activity.
An Activity occurs at some point in time and space.
An Activity takes place during some interval, and so has some duration.
An Activity may have some Manifestations that participate in it.
Activity Status	The status of the Activity.
Conjunctive State	A type of NonTerminalState that is defined by the conjunction of its child States.
Consume State	Identifies a Resource and Quantity it consumes. The Quantity is removed from the Resource.
Disjunctive State	A type of NonTerminalState that is defined by the disjunction of its child States. A State cannot be both conjunctive and disjunctive.
Manifestation State	A specialization of TerminalState, the ManifestationState specifies a Manifestation class that an individual must satisfy in order for the ManifestationState to be true.
Non Terminal State	A NonTerminalState has child States (a.k.a., sub-states) that are either conjuctive or disjunctive. Each child may be a TerminalState or NonTerminalState; eventually a TerminalState is reached. A State cannot be both non-terminal and terminal.
Produce State	Identifies a Resource and Quantity it produces.
Release State	Identifies a Resource and Quantity it releases (after using).
State	A State describes some situation in the world which may or may not be satisfied (true) at a given point in time. A State refers to a class of manifestations. It may be a precondition or effect of some Activity, or more generally it may be enabled or be caused by some Activity. If a state is complex, it may refer to some combination of classes of manifestations.
Example: A shopping activity, Activity-Shop, can require both the VehicleW30LGas state, but also some state wherein the mall is open, OpenMall. Each state is defined separately. The combined state is then defined as the conjunction of the two states. Thus, we could say that the preconditions for Activity-Shop are: precondition(VehicleW30LGas,Activity-Shop) AND precondition(OpenMall,Activity-Shop). Alternatively, if the preconditions were required disjunctively, we could state: precondition(VehicleW30LGas,Activity-Shop) OR precondition(OpenMall,Activity-Shop).
In large and complex domains, there can be cases in which the above approach is undesirable. In particular, due to the complexity of the description that results as the state being described becomes more detailed. In many cases it will be more natural and convenient to be able to refer to a single, aggregate state. We therefore extend the representation of States to capture aggregation, as approached in the concept of state trees introduced by TOVE as a construct for the activity cluster.
A State may be either non-terminal or terminal. A terminal state has no child states, and therefore refers directly to a class of manifestations, whereas a non-terminal state has child states, which may define some classes of manifestations, or further define some other complex states.
NonTerminalState(x) v TerminalState(x) = State(x)
A state cannot be both non-terminal and terminal.
TerminalState disjointWith NonTerminalState
State Status
Terminal Resource State
Terminal State	A terminal state type has no substates (cannot be decomposed). It corresponds to a particular class of manifestations. A terminal state is achieved at some time if and only if there exists a manifestation within its defined classification, that exists at that time.
Use State	Identifies a Resource and Quantity it uses (without consuming).

Formalization for ActivityThing

Property	Constraint
subClassOf	FoundationalCdmThing