traceable resource unit role

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

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › traceable resource unit role

Direct subclasses:

• load role
• logistic unit role
• lot role
• shipment role
• sublot role

Definition

role held by a number of uniquely identified material entities when they participate in some supply chain processes or production processes while some agent observes them and collects information about them for future retrieval

Examples

• role of a shipment of corn when it is tracked by its producer

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

The required constructs for creation of a formal definition are not available in this release.

Formal Axioms

First-Order Logic Axioms

TraceableResouceUnitRole(x) → Role(x) ∧ ∃m∃p1∃p2∃d(MaterialEntity(m) ∧ (ProductProductionProcess(p1) ∨ SupplyChainProcess(p1)) ∧ ObservingProcess(p2) ∧ Identifier(d) ∧ participatesInAtSomeTime(m,p1) ∧ participatesInAtSomeTime(m,p2) ∧ designatedBy(x,d) ∧ roleOf(x,m))

Semi-Formal Natural Language Axioms

if x is a ‘traceable resource unit role’ then x is a ‘role’ that is a ‘role of’ some ‘material entity’ that is ‘designated by’ some ‘identifier’ and ‘participates in at some time’ some ‘supply chain process’ or ‘product production process’ and ‘observing process’

Description Logic

constr:TraceableResourceUnitRole ⊑ bfo:role

constr:TraceableResourceUnitRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ (∃ bfo:participates_in_at_some_time .(constr:ProductProductionProcess ⊔ constr:SupplyChainProcess) ⊓ ∃ constr:designatedBy .constr:Identifier))

SubClassOf: bfo:role

SubClassOf: constr:roleOf some (bfo:material_entity and (bfo:participates_in_at_some_time some (constr:ProductProductionProcess or constr:SupplyChainProcess) and constr:designatedBy some constr:Identifier))