receiving process

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

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

SubClass Of: business process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › receiving process

Direct subclasses:

logistics receiving process

Definition

business process in which an agent bearing a recipient role receives some material entity from another agent

Explanatory Notes

The function of taking physical receipt of material and performing initial inspection of the incoming shipment for damage and validation with respect to purchase order quantity. Typically includes some initial data recording, but not quality assurance or stocking [CSCMP].
The function encompassing the physical receipt of material, the inspection of the shipment for conformance with the purchase order (quantity and damage), the identification and delivery to destination, and the preparation of receiving reports [APICS].
Receiving is distinct from arrival: an arrival process is the material location change by which delivered entities reach their destination; a receiving process is the business act of receiving them, and presupposes their arrival.
The received entities need not have been purchased; internal transfers and returns are received.
The change of custody that receiving effects is not modeled in this release.

Examples

a warehouse receiving a pallet delivery at its dock; a production line receiving components transferred from internal stores; a household accepting a parcel from a courier

Synonyms

Receipt Process

Primitive Class

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

Primitive Rationale

Receiving involves a change of custody for which no construct is available in this release; necessary conditions are given.

Formal Axioms

First-Order Logic Axioms

ReceivingProcess(p) → BusinessProcess(p) ∧ ∃m (MaterialEntity(m) ∧ participatesInAtSomeTime(m,p)) ∧ ∃r (RecipientRole(r) ∧ realizes(p,r))

Semi-Formal Natural Language Axioms

if x is a ‘receiving process’ then x is a ‘business process’ that ‘has participant at some time’ some ‘material entity’ and ‘realizes’ some ‘recipient role’

Description Logic

constr:ReceivingProcess ⊑ constr:BusinessProcess

constr:ReceivingProcess ⊑ ∃ bfo:realizes .constr:RecipientRole

constr:ReceivingProcess ⊑ ∃ bfo:has_participant_at_some_time .bfo:material_entity

constr:ReceivingProcess ⊓ constr:ArrivalProcess ⊑ ⊥

SubClassOf: constr:BusinessProcess

SubClassOf: bfo:realizes some constr:RecipientRole

SubClassOf: bfo:has_participant_at_some_time some bfo:material_entity

constr:ReceivingProcess DisjointWith: constr:ArrivalProcess