storage service
IRI: https://spec.industrialontologies.org/ontology/construct/StorageService
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: logistics service
Class Hierarchy
owl:Thing βΊ bfo:entity βΊ bfo:occurrent βΊ bfo:process βΊ planned process βΊ business process βΊ commercial service βΊ logistics service βΊ storage service
Definition
logistics service that consists of at least one storage process
Semi-Formal Definition:
every instance of βstorage serviceβ is defined as exactly an instance of βlogistics serviceβ that βhas occurrent partβ some βstorage processβ
Explanatory Notes
logistics service in which an agent keeps a number of material artifacts in a specified location to meet the storage needs of another agent.
Examples
- 72 hour free storage service provided by Maersk for cargo before being transferred to trailers for onward distribution
Formal Axioms
First-Order Logic Definition
StorageService(x) β LogisticsService(x) β§ βp(StorageProcess(p) β§ hasOccurentPart(x,p))
Description Logic
constr:StorageService β‘ constr:LogisticsService β β bfo:has_occurrent_part .constr:StorageProcess
constr:StorageService β β€
EquivalentTo: constr:LogisticsService and bfo:has_occurrent_part some constr:StorageProcess
SubClassOf: owl:Thing