supply chain node role
IRI: https://spec.industrialontologies.org/ontology/construct/SupplyChainNodeRole
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: location role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › location role › supply chain node role
Definition
location role held by a geospatial site when it is the site some supply chain process
Semi-Formal Definition:
every instance of ‘supply chain node role’ is defined as exactly an instance of ‘location role’ that is ‘role of’ some ‘geospatial site’ when ‘is site of’ some ‘supply chain process’
Examples
- role of the site of a factory operated by a supplier of Tesla, role of the site of a storage facility where airbag packages are stored before being shipped to a Ford assembly plant
Formal Axioms
First-Order Logic Definition
SupplyChainNodeRolel(x) ↔ LocatinRole(x) ∧ ∃g∃p(GeospatialSite(g) ∧ SupplyChainProcess(p) ∧ isSiteOf(g,p) ∧ roleOf(x,g))
Description Logic
constr:SupplyChainNodeRole ≡ constr:LocationRole ⊓ ∃ constr:roleOf .(constr:GeospatialSite ⊓ ∃ constr:isSiteOf .constr:SupplyChainProcess)
EquivalentTo: constr:LocationRole and constr:roleOf some (constr:GeospatialSite and constr:isSiteOf some constr:SupplyChainProcess)
SubClassOf: owl:Thing