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