Class Stakeholder

• Defined in ontology: Enterprise-v0.1

Notes for Stakeholder:

• The Actor type restriction identifies the superclass. OL is not clever enough to infer this from the type restrictions of other Relationships.
• This is a special Role-Class.

Slots on class Stakeholder:

Arity: 1

Documentation: An Actor that Holds-Stake-In some Organisational-Unit

Instance-Of: Class, Relation, Set

Subclass-Of: Actor, Eo-Entity, Individual-Thing, Potential-Actor, Qua-Entity ...

---

Slots on instances of Stakeholder:

Implication Axioms for Stakeholder:

(=> (Stakeholder ?Stakeholder)
    (Exists (?Organisational-Unit)
            (And (Organisational-Unit ?Organisational-Unit)
                 (Holds-Stake-In ?Stakeholder ?Organisational-Unit))))

(=> (Stakeholder ?Stakeholder)
    (Or (Legal-Entity ?Stakeholder)
        (Organisational-Unit ?Stakeholder)))

Equivalence Axioms for Stakeholder:

(<=> (Stakeholder ?Stakeholder)
     (And (Actor ?Stakeholder)
          (Or (Legal-Entity ?Stakeholder)
              (Organisational-Unit ?Stakeholder))
          (Exists (?Organisational-Unit)
                  (And (Organisational-Unit ?Organisational-Unit)
                       (Holds-Stake-In ?Stakeholder
                                       ?Organisational-Unit)))))