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 › 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
-
Physical location is a synonym for BFO:Site and hence the usage of BFO:Site within the axioms should be interpreted as physical location
-
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.
-
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
EquivalentTo: constr:Identifier and constr:designates some bfo:site
SubClassOf: constr:Identifier