storage service provider role
IRI: https://spec.industrialontologies.org/ontology/construct/StorageServiceProviderRole
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: logistics service provider role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › supplier role › service provider role › logistics service provider role › storage service provider role
Definition
logistics service provider role that is held by a person or business organization when it provides a storage service
Semi-Formal Definition:
if x is a Storage Service Provider Role then x is a Service Provider Role that is the ‘role of’ a Business Organization or Person y when it is ‘agent in’ some Storage Service p
Examples
- DHL has a storage service provider role when it provides industrial warehousing and inventory management services to manufacturers
Formal Axioms
First-Order Logic Definition
StorageServiceProviderRole(x) ↔ LogisticsServiceProviderRole(x) ∧ ∃y∃p((BusinessOrganization(y) ∨ Person(y)) ∧ StorageService(p) ∧ agentIn(y,p) ∧ roleOf(x,y))
Description Logic
constr:StorageServiceProviderRole ≡ constr:LogisticsServiceProviderRole ⊓ ∃ constr:roleOf .((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:agentIn .constr:StorageService)
EquivalentTo: constr:LogisticsServiceProviderRole and constr:roleOf some ((constr:BusinessOrganization or constr:Person) and constr:agentIn some constr:StorageService)
SubClassOf: owl:Thing