assembly process
IRI: https://spec.industrialontologies.org/ontology/construct/AssemblyProcess
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: manufacturing process
Class Hierarchy
owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › manufacturing process › assembly process
Definition
manufacturing process in which a number of material components are physically connected to each other to form an assembly
Examples
- Driving a lug nut to hold the wheel of a car in place; welding two metal parts into a single object; automated drilling and riveting of a skin panel operation during fuselage assembly;
Counter-Examples
- 3D printing on an existing part (existing part + a pool of printing material -> new part) – Note that the pool of material is an object before the process but becomes liquid (there is physical state change) during the “assembly” process.
Adapted From
- http://www.ontologyrepository.com/CommonCoreOntologies/Mid/EventOntology
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
More conditions (differentia) need to be agreed upon by the domain experts as processes like 3D printing can also produce an assembly.
Formal Axioms
First-Order Logic Axioms
AssemblyProcess(x) → ManufacturingProcess(x) ∧ ∃a∃c (Assembly(a) ∧ MaterialComponent(c) ∧ isInputOf(c,x) ∧ hasComponentPartAtAllTimes(a,c) ∧ hasSpecifiedOutput(x,a))
Semi-Formal Natural Language Axioms
if x is an ‘assembly process’ x then x is a ‘manufacturing process’ that ‘has specified output’ some ‘assembly’ which ‘has component part at all times’ some ‘material component’ that ‘is input of’ x
Description Logic
constr:AssemblyProcess ⊑ constr:ManufacturingProcess
constr:AssemblyProcess ⊑ ∃ constr:hasInput .constr:MaterialComponent
constr:AssemblyProcess ⊑ ∃ constr:hasSpecifiedOutput .(constr:Assembly ⊓ ∃ constr:hasComponentPartAtAllTimes .(constr:MaterialComponent ⊓ ∃ constr:isInputOf .constr:ManufacturingProcess))
SubClassOf: constr:ManufacturingProcess
SubClassOf: constr:hasInput some constr:MaterialComponent
SubClassOf: constr:hasSpecifiedOutput some (constr:Assembly and constr:hasComponentPartAtAllTimes some (constr:MaterialComponent and constr:isInputOf some constr:ManufacturingProcess))