physical location identifier

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

SubClass Of: identifier

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › denoter › identifier › physical location identifier

Definition

identifier that identifies a physical location (site)

Semi-Formal Definition:

every instance of ‘physical location identifier’ is defined as exactly an instance of ‘identifier’ that ‘designates’ a ‘site’

Explanatory Notes

  1. Physical location is a synonym for BFO:Site and hence the usage of BFO:Site within the axioms should be interpreted as physical location

  2. As introduced here, the IOF ontology is only dealing with physical locations. Identifiers for other kinds of location designators (e.g., virtual locations) will be considered in a future version.

  3. More classes need to be introduced to represent coordinates in 3D space. For this, the OGC specification may be utilized: http://docs.opengeospatial.org/is/18-010r7/18-010r7.html#106

Examples

  • postal address, GPS coordinate, GS1 global location number (GLN) for physical and digital location, 42.8864° N, 78.8784° W, London, the factory floor

Synonyms

  • site identifier, site designator

Formal Axioms

First-Order Logic Definition 

PhysicalLocationIdentifier(x) ↔ Identifier(x) ∧ ∃l(Site(l) ∧ designates(x,l))

Description Logic

constr:PhysicalLocationIdentifier ≡ constr:Identifier ⊓ ∃ constr:designates .bfo:site

constr:PhysicalLocationIdentifier ⊑ constr:Identifier

EquivalentTo: constr:Identifier and constr:designates some bfo:site

SubClassOf: constr:Identifier