directive information content entity

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

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

Definition

information content entity that prescribes a set of rules or guidelines for a process or a model of something man-made

Semi-Formal Definition:

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

• blueprint of a building, process plan, software functional requirement

Adapted From

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

Formal Axioms

First-Order Logic Definition

DirectiveInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃e(Entity(e) ∧ prescribes(x,e))

Description Logic

constr:DirectiveInformationContentEntity ≡ constr:InformationContentEntity ⊓ ∃ constr:prescribes .bfo:entity

constr:DirectiveInformationContentEntity ⊑ constr:InformationContentEntity

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

SubClassOf: constr:InformationContentEntity