location identification scheme

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

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

SubClass Of: information content entity

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › location identification scheme

Definition

identification scheme that prescribes how unique identifiers of physical locations are formulated

Examples

• GS1 specifications related to creating global location numbers (GLN) for physical and digital locations

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

See the general discussion and rationale provided for informational entities under ‘information content entity’.

Formal Axioms

First-Order Logic Axioms

InformationcontEntentity(x) ∧ ∃i(Identifier(i) ∧ prescribes(x,i)) ∧ ∃g(GeospatialLocation (i) ∧ designates(i,g)) → LocationIdentificationScheme(x)

Semi-Formal Natural Language Axioms

if x is an ‘information content entity’ that ‘prescribes’ some ‘identifier’ that designates some ‘geospatial location’ then x is a ‘location identification scheme’

Description Logic

constr:LocationIdentificationScheme ⊑ constr:InformationContentEntity

constr:InformationContentEntity ⊓ ∃ constr:prescribes .(constr:Identifier ⊓ ∃ constr:designates .constr:GeospatialLocation) ⊑ constr:LocationIdentificationScheme

SubClassOf: constr:InformationContentEntity

constr:InformationContentEntity and constr:prescribes some (constr:Identifier and constr:designates some constr:GeospatialLocation) SubClassOf: constr:LocationIdentificationScheme