classifier

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

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

SubClass Of: denoter

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › denoter › classifier

Direct subclasses:

• CAS registry number
• catalog number

Definition

denoter that classifies some entity

Semi-Formal Definition:

every instance of ‘classifier’ is defined exactly as an ‘information content entity’ that ‘classifies’ some entity

Examples

• UNSPSC code 26101507 classifies turboshaft engine, pBR322 classifies a plasmid

Counter-Examples

• serial number of a product, lot number of a lot

Formal Axioms

First-Order Logic Definition

Classifier(x) ↔ Denoter(x) ∧ ∃e(classifies(x, e))

Description Logic

constr:Classifier ≡ constr:Denoter ⊓ ∃ constr:classifies .bfo:entity

constr:Classifier ⊑ ⊤

EquivalentTo: constr:Denoter and constr:classifies some bfo:entity

SubClassOf: owl:Thing