location role

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

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

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › location role

Direct subclasses:

• ship from location role
• ship to location role
• supply chain node role

Definition

role held by a geospatial site when it is the location of some material entity at some time or the site of some process

Semi-Formal Definition:

every instance of ‘location role’ is defined as exactly an instance of ‘role’ that is the ‘role of’ some ‘geospatial site’ that is ‘location of at some time’ some ‘material entity’ or ‘is site of’ some ‘process’

Explanatory Notes

candidate IOF Core construct

Examples

• role held by the site of a piece of land when it is the landing location for a SpaceX rocket; role of the site of a parking lot when it is used as a drop off location during a receiving process

Formal Axioms

First-Order Logic Definition

LocationRolel(x) ↔ Role(x) ∧ ∃g(GeospatialSite(g) ∧ roleOf(x,g)) ∧ ∃m∃p(Process(p) ∧ MaterialEntity(m) ∧ locationOfAtSometime(g,m) ∨ isSiteOf(g,p))

Description Logic

constr:LocationRole ≡ bfo:role ⊓ ∃ constr:roleOf .(constr:GeospatialSite ⊓ (∃ bfo:location_of_at_some_time .bfo:material_entity ⊔ ∃ constr:isSiteOf .bfo:process))

constr:LocationRole ⊑ bfo:role

EquivalentTo: bfo:role and constr:roleOf some (constr:GeospatialSite and (bfo:location_of_at_some_time some bfo:material_entity or constr:isSiteOf some bfo:process))

SubClassOf: bfo:role