information system specific code

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

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

SubClass Of: denoter

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › denoter › information system specific code

Direct subclasses:

• enterprise resource planning code

Definition

denoter that designates or classifies an entity or entity type within some information system that is internal to a particular organization

Examples

• ERP code is an identifier within an ERP system

Primitive Class

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

Primitive Rationale

There are insufficient constructs (such as ‘Information system’) in the ontology to provide necessary and sufficient conditions.

Formal Axioms

First-Order Logic Axioms

InformationSystemSpecificCode(x) → InformationContentEntity(x) ∧ ∃y( Entity(y)  ∧ designates(x,y) ∨ classifies(x,y))

Semi-Formal Natural Language Axioms

if x is an ‘information system specific code’, then x is an ‘denoter’ that ‘classifies’ or ‘denotes’ some ‘entity’

Description Logic

constr:InformationSystemSpecificCode ⊑ constr:Denoter

constr:InformationSystemSpecificCode ⊑ ∃ constr:classifies .bfo:entity ⊔ ∃ constr:designates .bfo:entity

SubClassOf: constr:Denoter

SubClassOf: constr:classifies some bfo:entity or constr:designates some bfo:entity