descriptive information content entity

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

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

Definition

information content entity that characterizes (gives a description of) an entity

Semi-Formal Definition:

every instance of ‘descriptive information content entity ‘ is defined as exactly an instance of ‘information content entity’ that ‘describes’ 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.

Examples

• a description of a product in a product catalogue, the wheelbase of this car is 3m, digital copy of a Mona Lisa drawing

Adapted From

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

Formal Axioms

First-Order Logic Definition

DescriptiveInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ describes(x,e))

Description Logic

constr:DescriptiveInformationContentEntity ≡ constr:InformationContentEntity ⊓ ∃ constr:describes .bfo:entity

constr:DescriptiveInformationContentEntity ⊑ constr:InformationContentEntity

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

SubClassOf: constr:InformationContentEntity