production order
IRI: https://spec.industrialontologies.org/ontology/construct/ProductionOrder
Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/
SubClass Of: objective specification
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › objective specification › production order
Definition
objective specification stating the product and quantity to be produced and any applicable release, completion, or delivery requirements
Examples
- order to produce 100 brackets
Formal Axioms
First-Order Logic Axioms
LA1: ProductionOrder(o) → (ObjectiveSpecification(o) ∧ ∃m(MaterialProductSpecification(m) ∧ hasContinuantPartAtAllTimes(o,m)))
LA2: ObjectiveSpecification(o) ∧ ∃p(PlannedProcess(p) ∧ isAchievedByAtSomeTime(o,p) ∧ ∃q(ProductProductionProcess(q) ∧ hasOccurrentPart(p,q))) → ProductionOrder(o)
Semi-Formal Natural Language Axioms
LA1: if an entity is an instance of ‘production order’, then it is an instance of ‘objective specification’ and ‘has continuant part at all times’ some instance of ‘material product specification’
LA2: if an instance of ‘objective specification’ ‘is achieved by at some time’ some instance of ‘planned process’ that ‘has occurrent part’ some instance of ‘product production process’, then it is an instance of ‘production order’
Description Logic
constr:ProductionOrder ⊑ constr:ObjectiveSpecification
constr:ProductionOrder ⊑ constr:ObjectiveSpecification ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:MaterialProductSpecification
constr:ObjectiveSpecification ⊓ ∃ constr:isAchievedByAtSomeTime .(constr:PlannedProcess ⊓ ∃ bfo:has_occurrent_part .constr:ProductProductionProcess) ⊑ constr:ProductionOrder
SubClassOf: constr:ObjectiveSpecification
SubClassOf: constr:ObjectiveSpecification and bfo:has_continuant_part_at_all_times some constr:MaterialProductSpecification
constr:ObjectiveSpecification and constr:isAchievedByAtSomeTime some (constr:PlannedProcess and bfo:has_occurrent_part some constr:ProductProductionProcess) SubClassOf: constr:ProductionOrder