carrier
IRI: https://spec.industrialontologies.org/ontology/construct/Carrier
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: supplier
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › supplier › carrier
Definition
person or business organization who provides transportation services
Semi-Formal Definition:
every instance of ‘carrier’ is defined as exactly an instance of ‘person’ or ‘business organization’ that ‘has role’ some ‘transportation service provider role’
Explanatory Notes
A company that provides air, sea, or land transportation services [APICS].
The party that provides freight transportation services or a physical or electronic mechanism that carries business information [GS1].
A firm which transports goods or people via land, sea or air [CSCMP].
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- Trucking Companies, Airlines
Synonyms
- Transportation Service Provider
Formal Axioms
First-Order Logic Definition
Carrier(x) ↔ (BusinessOrganization(x) ∨ Person(x)) ∧ ∃r(TransportationServiceProviderRole (r) ∧ hasRole (x,r))
Description Logic
constr:Carrier ≡ (constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:hasRole .constr:TransportationServiceProviderRole
EquivalentTo: (constr:BusinessOrganization or constr:Person) and constr:hasRole some constr:TransportationServiceProviderRole
SubClassOf: constr:Supplier