organized group of agents
IRI: https://spec.industrialontologies.org/ontology/construct/OrganizedGroupOfAgents
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: group of agents
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of agents › organized group of agents
Direct subclasses:
Definition
group of agents that is pursuing a common set of plans and objectives
Semi-Formal Definition:
every instance of ‘organized group of agents’ is defined as exactly an instance of ‘group of agents’ that is the ‘bearer of’ some ‘function’ which is ‘prescribed by’ some ‘directive information content entity’
Examples
- goverment, division, an automated manufacturing cell
Adapted From
- http://www.ontologyrepository.com/CommonCoreOntologies/Mid/AgentOntology
Formal Axioms
First-Order Logic Definition
OrganizedGroupOfAgents(x) ↔ ObjectAggregate(x) ∧ ∃i∃f(DirectiveInformationContentEntity(i) ∧ Function(f) ∧ bearerOf(x, f) ∧ prescribes(i, f))
Description Logic
constr:OrganizedGroupOfAgents ≡ constr:GroupOfAgents ⊓ ∃ bfo:bearer_of .(bfo:function ⊓ ∃ constr:prescribedBy .constr:DirectiveInformationContentEntity)
EquivalentTo: constr:GroupOfAgents and bfo:bearer_of some (bfo:function and constr:prescribedBy some constr:DirectiveInformationContentEntity)
SubClassOf: constr:GroupOfAgents