geospatial location
IRI: https://spec.industrialontologies.org/ontology/construct/GeospatialLocation
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: geospatial site
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:immaterial entity › bfo:site › geospatial site › geospatial location
Definition
geospatial site that is the location of some material entity at some time or the site of some process
Semi-Formal Definition:
every istance of ‘geospatial location’ is defined as exactly an instance of ‘geospatial site’ that ‘has role’ some ‘location role’
Explanatory Notes
candidate IOF Core construct
Examples
- the location of Toyota’s plant in San Antonio, the location of a shipping dock in warehouse facility, the site of a mixing process, the current location of a moving truck, the site of a truck loading process
Formal Axioms
First-Order Logic Definition
GeospatialSite(x) ↔ GeospatialSite(x) ∧ ∃r(LocationRole(r) ∧ hasRole(x,r))
Description Logic
EquivalentTo: constr:GeospatialSite and constr:hasRole some constr:LocationRole
SubClassOf: constr:GeospatialSite