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
-
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.
-
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