charge variant classifier
IRI: https://spec.industrialontologies.org/ontology/construct/ChargeVariantClassifier
Defined In: https://spec.industrialontologies.org/ontology/biopharma/MolecularEntity/
SubClass Of: classifier
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › denoter › classifier › charge variant classifier
Direct subclasses:
Definition
classifier that classifies a population of material entities according to charge-related analytical properties relative to a reference material entity
Explanatory Notes
A charge variant classifier is a broad parent for classifiers that group material entities by charge-related analytical properties. It is intended to support different material domains, including molecular products and particle-based products. More specific subclasses should be used when the charge-related terminology, analytical methods, or reference comparisons are domain-specific, such as protein charge variants, molecular charge variants, or lipid nanoparticle surface-charge variants. The reference material entity is the material entity prescribed by the relevant design specification as the basis for comparison.
Examples
- classifier that classifies a group of monoclonal antibody molecules detected as an acidic peak in cation-exchange chromatography as a charge variant relative to a reference monoclonal antibody molecule; a classifier that classifies a group of recombinant protein molecules detected as a basic peak by imaged capillary isoelectric focusing as a charge variant relative to a reference recombinant protein molecule; a classifier that classifies a group of antibody-drug conjugate molecules according to charge-related analytical properties under a product-specific charge variant method; a classifier that classifies a group of lipid nanoparticles according to surface-charge-related analytical properties relative to a reference lipid nanoparticle
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to create necessary and sufficient conditions.
Formal Axioms
First-Order Logic Axioms
ChargeVariantClassifier(x) → Classifier(x) ∧ ∃s (DesignSpecification(s) ∧ isAbout(x, s) ∧ ∃r (MaterialEntity(r) ∧ prescribes(s, r))) ∧ ∃g (ObjectAggregate(g) ∧ classifies(x, g))
Semi-Formal Natural Language Axioms
if x is a ‘charge variant classifier’ then x is a ‘classifier’ that ‘is about’ some ‘design specification’ that ‘prescribes’ some ‘material entity’, and x ‘classifies’ some ‘object aggregate’
Description Logic
constr:ChargeVariantClassifier ⊑ constr:Classifier
constr:ChargeVariantClassifier ⊑ ∃ constr:classifies .bfo:object_aggregate
constr:ChargeVariantClassifier ⊑ ∃ constr:isAbout .(constr:DesignSpecification ⊓ ∃ constr:prescribes .bfo:material_entity)
SubClassOf: constr:Classifier
SubClassOf: constr:classifies some bfo:object_aggregate
SubClassOf: constr:isAbout some (constr:DesignSpecification and constr:prescribes some bfo:material_entity)