designative information content entity

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

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 › designative information content entity

Definition

information content entity that uniquely identifies an entity

Semi-Formal Definition:

every instance of ‘designative information content entity’ is defined as exactly an instance of ‘information content entity’ that ‘designates’ some ‘entity’

Explanatory Notes

  1. This class is intended to be a defined class used for axiomatization and assertion convenience. It is not expected nor recommended that entities will be asserted as a subclass of this class.

  2. Since the relation ‘designates’ is defined as a functional property, uniqueness is enforced in the term’s formalization.

Examples

  • uri of a website, social security number of a person, lot number of a batch of products, a serial number on a machine, a credit card number, a combination of data in a database table uniquely identify each record in the table

Adapted From

  • http://www.ontologyrepository.com/CommonCoreOntologies/Mid/InformationEntityOntology

Formal Axioms

First-Order Logic Definition 

DesignativeInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ designates(x,e))

Description Logic

constr:DesignativeInformationContentEntity ≡ constr:InformationContentEntity ⊓ ∃ constr:designates .bfo:entity

constr:DesignativeInformationContentEntity ⊑ constr:InformationContentEntity

EquivalentTo: constr:InformationContentEntity and constr:designates some bfo:entity

SubClassOf: constr:InformationContentEntity