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
EquivalentTo: constr:LogisticsService and bfo:has_occurrent_part some constr:StorageProcess
SubClassOf: owl:Thing