CAS registry number

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

Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterialProcurementAndStorage/

SubClass Of: classifier

Class Hierarchy

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

Definition

classifier that is a sequence of digits defined within the chemical abstracts service (CAS) registry, which classifies a type of chemical substance

Explanatory Notes

1) Governmental agencies rely on CAS Registry Numbers for substance identification in regulatory applications because they are unique, easy validated, and internationally recognized. 2) A CAS Registry Number is assigned by the Chemical Abstracts Service to uniquely identify a chemical substance within its curated registry. Each CAS number corresponds to a single substance entry, supporting consistent reference across scientific, regulatory, and industrial domains. The number follows a standard format of three digit groups separated by hyphens (e.g., 7732-18-5 for water).

Usage Notes

Since CAS Registry Numbers provide unique identification at the type level, the property denotes should be used as it is not constrained to be functional. The property designates must not be used in this context, as it is functional and implies reference to a single individual, which would incorrectly constrain the CAS Registry Number to denote only one instance rather than a chemical type.

Examples

  • 64-19-7 classifies acetic acid.; 50-00-0 classifies formaldehyde

Synonyms

  • CAS number

Adapted From

  • https://www.cas.org/cas-data/cas-registry

Primitive Class

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

Primitive Rationale

There are insufficient ontological constructs available to define the necessary and sufficient conditions for this class. Specifically, constructs for expressing unique identification at the type level, chemical entities and the structured scheme by which CAS Registry Numbers are created are missing.

Formal Axioms

First-Order Logic Axioms 

CASRegistryNumber(x) → Classifier(x)

Semi-Formal Natural Language Axioms

if x is a ‘CAS registry number’ then x is a ‘classifier’

Description Logic

constr:CASRegistryNumber ⊑ constr:Classifier

SubClassOf: constr:Classifier