product inspection process
IRI: https://spec.industrialontologies.org/ontology/construct/ProductInspectionProcess
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
SubClass Of: business process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › product inspection process
Definition
Product inspection is a systematic process of evaluating goods during and after production to ensure they meet specified quality standards.
Semi-Formal Definition:
if x is an instance of ‘plan specification’ that ‘prescribes’ some ‘product inspection process’, then x is an instance of ‘inspection plan’
Examples
- inspection of a bore of the engine block, final inspection of the truck at the end of assembly line, inspection of the PCB at the end of the fab line, inspection of the quality of glass bottle, visual inspection of defects on car body paint
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
So far the only way to define inspection process is assuming the presence of a corresponding plan, which will be too demanding. That’s why the condition of anything prescribed by an inspection plan is a product inspection process is sufficient. In future inspection process needs to be defined based on its exact characteristics but for the vastness of example of inspection process the task of generalization is challenging.
Formal Axioms
First-Order Logic Axioms
LA1: ∀x (PlanSpecification(x) ∧ ∃y (ProductInspectionProcess(y) ∧ prescribes(x, y)) → InspectionPlan(x))