denoter
IRI: https://spec.industrialontologies.org/ontology/construct/Denoter
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: information content entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › denoter
Direct subclasses:
Definition
information content entity that denotes some entity
Semi-Formal Definition:
every instance of ‘denoter’ is defined as exactly an instance of ‘information content entity’ that ‘denotes’ some ‘entity’
Explanatory Notes
A denoter is an information content entity used to distinguish an entity in a particular context. The relation denotes does not require uniqueness at either the individual level or the type level. More specific subclasses, such as identifier and classifier, should be used where stronger forms of distinction are needed. Identifier is used for individual-level uniqueness. Classifier is used for type-level uniqueness.
Examples
- ‘vehicle identification number’ denotes a vehicle; ‘ethanol’ is a name given by IUPAC which denotes molecules with the structure CH3-CH2-OH; 50-99-7 is a CAS registry number that denotes glucose; the lot identifier assigned to a batch of rivets just received from China by the Airbus final assembly plant in Toulouse, FR; URI of a website
Formal Axioms
First-Order Logic Definition
Denoter(x) ↔ InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ denotes(x,e))
Description Logic
constr:Denoter ≡ constr:InformationContentEntity ⊓ ∃ constr:denotes .bfo:entity
EquivalentTo: constr:InformationContentEntity and constr:denotes some bfo:entity
SubClassOf: constr:InformationContentEntity