Class Activity

• Defined in ontology: Enterprise-v0.1

Notes for Activity:

• Informally, T-Begin refers to the time point when the performance of an Activity commence; it corresponds to the Start-Time of the Actual-Time-Interval
• Informally, T-End refers to the time point when the performance of an Activity is completed; it corresponds to the End-Time of the Actual-Time-Interval
• an Activity can have happened in the past, may be happening in the present, and a hypothetical future Activity may be envisaged;
• The word `something' in the definition is deliberately general; we mean to include mental activities, for example
• We wish to allow Purpose free Activity, such as water flowing down a hill. An association between an Activity and a Purpose can be made by matching the Purpose of a Plan to the Effect(s) of Activities specified in the Plan.
• Activities may be informally classified as `strategic', `tactical' or `operational' depending on the `level' of an associated Purpose as characterised by the Help-Achieve Relationship between Purpose s.
• Todo: Say how this relates to definition in natural language version. Some things have been excluded.

Slots on class Activity:

Arity: 1

Documentation:

Something done over a particular Time-Interval. The following may pertain to an Activity: * is performed by one or more Actual-Doer s; * is decomposed into more detailed Sub-Activity s; * Can-Use-Resource s; * An Actor may Hold-Authority to perform it; * there may be an Activity-Owner; * has a measured efficiency.

Domain-Of: Activity-Status, Actual-Effect, Actual-Output, Actual-Pre-Condition, Sub-Activity ...

Instance-Of: Class, Relation, Set

Range-Of: Actually-Execute, Chosen-Activity, Execution-Of-Activity-Spec, Sub-Activity

Subclass-Of: Activity-Or-Spec, Eo-Entity, Individual, Individual-Thing, Thing ...

Superclass-Of: Delegate, Event, Manage, Planning, Resource-Allocation ...

---

Slots on instances of Activity:

Activity-Status:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Activity-State

Actual-Activity-Interval:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Time-Range

Actual-Effect:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Effect

Actual-Pre-Condition:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Pre-Condition

Other Related Equivalence Axioms for Activity:

(<=> (Activity-Or-Spec ?X)
     (And (Eo-Entity ?X) (Or (Activity ?X) (Activity-Spec ?X))))

Other Related Axioms for Activity:

(Inherited-Facet-Value Slot-Value-Type
                       Activity-Ownership
                       Owned-Entity
                       Activity)

(Inherited-Facet-Value Slot-Value-Type
                       Decision
                       Chosen-Activity
                       Activity)

(Exhaustive-Subclass-Partition Activity-Or-Spec
                               (Setof Activity Activity-Spec))