algorithm

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

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 › algorithm

Definition

information content entity that prescribes procedural or declarative steps which can be translated to computer interpretable instructions

Explanatory Notes

  1. to translate in this context means to implement the algorithm such that it is readily executable
  2. algorithms in this context should be interpreted as implementation-independent (language-neutral) representations and are typically represented as pseudo-code or a flowchart
  3. declarative steps should be interpreted in the context of declarative programming

Examples

  • pseudo code for sorting data, flowchart for automatic control of a process

Counter-Examples

  • executable code, source code

Adapted From

  • http://purl.obolibrary.org/obo/IAO_0000064 and http://www.ontologyrepository.com/CommonCoreOntologies/Mid/InformationEntityOntology

Primitive Class

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

Primitive Rationale

See the general discussion and rationale provided under information content entity.

Formal Axioms

First-Order Logic Axioms 

InformationContentEntity(x) ∧ ∃y(EncodedAlgorithm(y) ∧ prescribes(x,y)) → Algorithm(x)

Semi-Formal Natural Language Axioms

If x is an ‘information content entity’ that ‘prescribes’ some ‘encoded algorithm’ then x is an instance of ‘algorithm’

Description Logic

constr:Algorithm ⊑ constr:InformationContentEntity

constr:InformationContentEntity ⊓ ∃ constr:prescribes .constr:EncodedAlgorithm ⊑ constr:Algorithm

SubClassOf: constr:InformationContentEntity

constr:InformationContentEntity and constr:prescribes some constr:EncodedAlgorithm SubClassOf: constr:Algorithm