group of agents

IRI: https://spec.industrialontologies.org/ontology/construct/GroupOfAgents

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: bfo:object aggregate

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of agents

Direct subclasses:

• industry
• organized group of agents

Definition

group (object aggregate) that has one or more agents as members

Semi-Formal Definition:

every instance of ‘group of agents is defined as exactly an instance of ‘object aggregate’ that only has ‘agent’ as ‘member parts’ and that always has at least one ‘agent as its ‘member part’

Explanatory Notes

1. Group of agents being a BFO:Object Aggregate allows for a point in time where only one ‘agent’ is present.

2. As the name suggests, a group of agents is a grouping of agents based on some criteria. As such, it can only have agents as members.

3. The members of the group of agents can be any combination of persons, organizations, or engineered systems (classes that can be ‘agent’). They are typically grouped based on the fact that they are working collectively in a particular type of process on behalf of someone.

Examples

• organization; an automated manufacturing cell; division; protesters

Adapted From

• http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology

Formal Axioms

First-Order Logic Definition

GroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃y(Agent(y) ∧ hasMemberPartAtSomeTime(x, y)) ∧ ∀z (hasMemberPartAtSomeTime(x, z) → Agent(z))

Description Logic

constr:GroupOfAgents ≡ bfo:object_aggregate ⊓ ∃ bfo:has_member_part_at_some_time .constr:Agent ⊓ ∀ bfo:has_member_part_at_some_time .constr:Agent

constr:GroupOfAgents ⊑ bfo:object_aggregate

EquivalentTo: bfo:object_aggregate and bfo:has_member_part_at_some_time some constr:Agent and bfo:has_member_part_at_some_time only constr:Agent

SubClassOf: bfo:object_aggregate