means of transport role

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

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

SubClass Of: equipment role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › equipment role › means of transport role

Definition

equipment role held by a material artifact or engineered system whose material transport function is realized in the transport process in which the role is realized

Semi-Formal Definition:

every instance of ‘means of transport role’ is defined as exactly an instance of ‘equipment role’ that ‘has realization’ some ‘transport process’ p and is ‘role of’ some ‘material artifact’ or ‘engineered system’ that ‘has function’ some ‘material transport function’ that ‘has realization’ that same process p

Explanatory Notes

“Equipment” is used in the IOF Core sense: an artifact whose function is realized in the process and which is not consumed by it. The bearer of a means of transport role is the artifact that does the moving; it is distinguished from the bearer of a transport equipment role, which holds, protects, secures or supports cargo. One artifact may bear both roles, as a tanker does.
The definition requires actual realization: an artifact designated in a plan as the means of transport for a future transport process does not thereby bear the role. This is narrower than the “planned to be involved in” wording of equipment role in IOF Core. The OWL axioms give necessary conditions only, because OWL cannot express that the role and the bearer’s function are realized in the same process; the first-order logic definition is the authoritative one.
The term follows UN/CEFACT and WCO usage, where a means of transport is distinguished from transport equipment.

Examples

role of a semi-tractor pulling a loaded trailer; role of a locomotive pulling freight wagons; role of a container ship carrying containers; role of a cargo aircraft; role of a pipeline conveying crude oil; role of a bicycle used to deliver goods

Counter-Examples

role of a trailer pulled by a tractor (transport equipment role); role of a truck undergoing maintenance (maintainable material item role); role of a forklift moving pallets within a site (equipment role in a material handling process)

Formal Axioms

First-Order Logic Definition

MeansOfTransportRole(r) ↔ EquipmentRole(r) ∧ ∃x∃p∃f ( (MaterialArtifact(x) ∨ EngineeredSystem(x)) ∧ roleOf(r,x) ∧ TransportProcess(p) ∧ hasRealization(r,p) ∧ MaterialTransportFunction(f) ∧ functionOf(f,x) ∧ hasRealization(f,p) )

Description Logic

constr:MeansOfTransportRole ⊑ constr:EquipmentRole

constr:MeansOfTransportRole ⊑ ∃ bfo:has_realization .constr:TransportProcess

constr:MeansOfTransportRole ⊑ ∃ constr:roleOf .((constr:EngineeredSystem ⊔ constr:MaterialArtifact) ⊓ ∃ bfo:participates_in_at_some_time .constr:TransportProcess ⊓ ∃ constr:hasFunction .(constr:MaterialTransportFunction ⊓ ∃ bfo:has_realization .constr:TransportProcess))

constr:MeansOfTransportRole ⊓ constr:TransportEquipmentRole ⊑ ⊥

SubClassOf: constr:EquipmentRole

SubClassOf: bfo:has_realization some constr:TransportProcess

SubClassOf: constr:roleOf some ((constr:EngineeredSystem or constr:MaterialArtifact) and bfo:participates_in_at_some_time some constr:TransportProcess and constr:hasFunction some (constr:MaterialTransportFunction and bfo:has_realization some constr:TransportProcess))

constr:MeansOfTransportRole DisjointWith: constr:TransportEquipmentRole