transportation service

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

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 › transportation service

Definition

logistics service that consists of at least one transport process

Semi-Formal Definition:

every instance of ‘transportation service’ is defined as exactly an instance of ‘logistic service’ that ‘has occurrent part’ some ‘transport process’

Explanatory Notes

logistics service in which an agent changes the location of some material entities to satisfy the transportation needs of another agent

Examples

• rail freight shipping service; fluid handling and hauling services for water, polluted water, or oil

Formal Axioms

First-Order Logic Definition

TransportationService(x) ↔ LogisticsService(x) ∧ ∃p (TransportProcess(p) ∧ hasOccurentPart(x,p))

Description Logic

constr:TransportationService ≡ constr:LogisticsService ⊓ ∃ bfo:has_occurrent_part .constr:TransportProcess

constr:TransportationService ⊑ ⊤

EquivalentTo: constr:LogisticsService and bfo:has_occurrent_part some constr:TransportProcess

SubClassOf: owl:Thing