Class Activity-Owner

• Defined in ontology: Enterprise-v0.1

Notes for Activity-Owner:

• The Actor type restriction identifies the superclass. OL is not clever enough to infer this from the type restrictions of other Relationships.

Slots on class Activity-Owner:

Arity: 1

Documentation: The Owner in an instance of the Activity-Ownership class.

Instance-Of: Class, Relation, Set

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

---

Slots on instances of Activity-Owner:

Implication Axioms for Activity-Owner:

(=> (Activity-Owner ?Actor)
    (Exists (?Activity-Ownership)
            (And (Activity-Ownership ?Activity-Ownership)
                 (Owning-Actor ?Activity-Ownership ?Actor))))

Equivalence Axioms for Activity-Owner:

(<=> (Activity-Owner ?Actor)
     (And (Actor ?Actor)
          (Exists (?Activity-Ownership)
                  (And (Activity-Ownership ?Activity-Ownership)
                       (Owning-Actor ?Activity-Ownership ?Actor)))))