lot role

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

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

SubClass Of: traceable resource unit role

Class Hierarchy

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

Definition

traceable resource unit role held by material entities that have a shared production or transformation history

Examples

• role held by a number of aluminum shafts machined by certain operator on a certain CNC machine during a work shift

Synonyms

• Batch Role

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

LotRole(x) → TraceableResouceUnitRole(x) ∧ ∃m∃p(MaterialEntity(m) ∧ ManufacturingProcess(p) ∧ participatesInAtSomeTime(m,p) ∧ ∃i(LotNumber(i) ∧ designates(i,m)) ∧ roleOf(x,m))

Semi-Formal Natural Language Axioms

if x is a ‘lot role’ then x is a ‘traceable resource unit role’ that is the ‘role of’ some ‘material entity’ m that ‘participates in at some time’ some ‘manufacturing process’ and m is ‘designated by’ some ‘lot number’

Description Logic

constr:LotRole ⊑ constr:TraceableResourceUnitRole

constr:LotRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ bfo:participates_in .constr:ManufacturingProcess ⊓ ∃ constr:designatedBy .constr:LotIdentifier)

SubClassOf: constr:TraceableResourceUnitRole

SubClassOf: constr:roleOf some (bfo:material_entity and bfo:participates_in some constr:ManufacturingProcess and constr:designatedBy some constr:LotIdentifier)