Relation Execution-Of-Activity-Spec

• Defined in ontology: Enterprise-v0.1

Notes for Execution-Of-Activity-Spec:

• This is a one-to-many Relationship because an Activity-Spec may in general be executed many times.
• An Activity-Spec has been Executed when all its Activities have been performed as specified; if the Activity-Spec is a Plan, then execution should result in the Achievement of the Plan's Purpose.
• Todo: consider whether every activity has a corresponding activity-spec or vice versa. this is relevant to the definition of planning.

Slots on relation Execution-Of-Activity-Spec:

Arity: 2

Documentation:

A Relationship between an Activity-Spec and an Activity whereby the Activity is the result of [one] execution of the Activity-Spec.

Domain: Activity-Spec

Instance-Of: Binary-Relation, Relation, Set

Range: Activity

Other Related Implication Axioms for Execution-Of-Activity-Spec:

(=> (Strategic-Planning ?Sgc-Planning)
    (Exists (?Strategy ?Aspec)
            (And (Strategy ?Strategy)
                 (Activity-Spec ?Aspec)
                 (Execution-Of-Activity-Spec ?Aspec ?Sgc-Planning)
                 (Intended-Purpose ?Aspec
                                   '(Actual-Output ?Sgc-Planning
                                                   ?Strategy)))))

(=> (Planning ?Planning)
    (Exists (?Plan ?Aspec)
            (And (Plan ?Plan)
                 (Activity-Spec ?Aspec)
                 (Execution-Of-Activity-Spec ?Aspec ?Planning)
                 (Intended-Purpose ?Aspec
                                   '(Actual-Output ?Planning ?Plan)))))