supply chain plan specification
IRI: https://spec.industrialontologies.org/ontology/construct/SupplyChainPlanSpecification
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: plan specification
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › plan specification › supply chain plan specification
Definition
plan specification that has one or more supply chain objective specifications as parts and that prescribes a supply chain process
Examples
- plan that describes the production volume and schedule for the supply chain created for production of Dell desktop computers
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to create necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
LA1:SupplyChainPlanSpecification(x) → PlanSpecification(x) ∧ ∃o(SupplyChainObjectiveSpecification(o) ∧ hasContinuantPartAtAllTimes(x,o))
LA2:PlanSpecification(x) ∧ ∃c(SupplyChainProcess(p) ∧ prescribes(x,p)) → SupplyChainPlanSpecification(x)
Semi-Formal Natural Language Axioms
LA1:if x is ‘supply chain plan specification’ then x is a ‘plan specification’ that ‘has continuant part at all times’ some ‘supply chain objective specification’ o
LA2:x if x is a ‘plan specification’ and x ‘prescribes’ some ‘supply chain process’ then x is a ‘supply chain plan specification’
Description Logic
constr:SupplyChainPlanSpecification ⊑ constr:PlanSpecification
constr:SupplyChainPlanSpecification ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:SupplyChainObjectiveSpecification
constr:PlanSpecification ⊓ ∃ constr:prescribes .constr:SupplyChainProcess ⊑ constr:SupplyChainPlanSpecification
SubClassOf: constr:PlanSpecification
SubClassOf: bfo:has_continuant_part_at_all_times some constr:SupplyChainObjectiveSpecification
constr:PlanSpecification and constr:prescribes some constr:SupplyChainProcess SubClassOf: constr:SupplyChainPlanSpecification