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


Back to top

Copyright © 2024–2026 Open Applications Group / Industrial Ontology Foundry. Distributed under an MIT license.