logistics service

IRI: https://spec.industrialontologies.org/ontology/construct/LogisticsService

Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/

SubClass Of: commercial service

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › business process › commercial service › logistics service

Direct subclasses:

Definition

commercial service that consists of at least one transport process, packaging process, freight forwarding, or storage process

Explanatory Notes

The services related to planning, implementing, and controlling procedures for the efficient and effective transportation and storage of goods including services, and related information from the point of origin to the point of consumption for the purpose of conforming to customer requirements.

Examples

  • the shipping service provided by a trucking company, the freight forwarding service provided by Logistix Co

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

There are several other types of logistics services that are not included in the current release.

Formal Axioms

First-Order Logic Axioms 

LogisticsService(x) → CommercialService(x) ∧ ∃p((TransportationProcess(p) ∨ FreightForwardingProcess(p) ∨ PackagingProcess(p) ∨ StorageProcess(p)) ∧ hasOccurentPart(x,p))

Semi-Formal Natural Language Axioms

if x is a ‘logistics service’ then x is a ‘commercial service’ that ‘has occurrent part’ some ‘transport process’, ‘packaging process’, ‘freight forwarding process’, or ‘storage process’

Description Logic

constr:LogisticsService ⊑ constr:CommercialService

constr:LogisticsService ⊑ ∃ bfo:has_occurrent_part .(constr:FreightForwardingProcess ⊔ constr:PackagingProcess ⊔ constr:TransportProcess)

SubClassOf: constr:CommercialService

SubClassOf: bfo:has_occurrent_part some (constr:FreightForwardingProcess or constr:PackagingProcess or constr:TransportProcess)