supply chain objective specification
IRI: https://spec.industrialontologies.org/ontology/construct/SupplyChainObjectiveSpecification
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: objective specification
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › objective specification › supply chain objective specification
Definition
objective specification that prescribes what the outcome of a supply chain process should be
Examples
- an objective of a supply chain for manufacturing water pumps is to manufacture and deliver a batch of 100 water pumps per day in a given timeframe
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
See the general discussion and rationale provided for informational entities under ‘information content entity’.
Formal Axioms
First-Order Logic Axioms
InformationContentEntity(x) ∧ ∃c∃p(Continuant(c) ∧ SupplyChainProcess(p) ∧ isOutputOf(c,p) ∧ prescribes(x,c)) → SupplyChainObjectiveSpecification(x)
Semi-Formal Natural Language Axioms
if x is an ‘objective specification’ that ‘is about’ some ‘supply chain process’ p and that ‘prescribes’ some ‘process characteristic’ which is a ‘process characteristic of’ p or ‘capability’ that is ‘realized in’ p or ‘continuant’ c that is ‘output of’ p then x is an ‘supply chain objective specification’
Description Logic
constr:SupplyChainObjectiveSpecification ⊑ constr:ObjectiveSpecification
constr:ObjectiveSpecification ⊓ ∃ constr:isAbout .constr:SupplyChainProcess ⊓ ∃ constr:prescribes .(constr:Capability ⊔ constr:ProcessCharacteristic ⊔ (bfo:continuant ⊓ ∃ constr:isOutputOf .bfo:process)) ⊑ constr:SupplyChainObjectiveSpecification
SubClassOf: constr:ObjectiveSpecification
constr:ObjectiveSpecification and constr:isAbout some constr:SupplyChainProcess and constr:prescribes some (constr:Capability or constr:ProcessCharacteristic or (bfo:continuant and constr:isOutputOf some bfo:process)) SubClassOf: constr:SupplyChainObjectiveSpecification