Permanent link to this class
IOF Supply Chain Reference Ontology
loading...| Preferred Name |
algorithm |
| Definitions |
information content entity that prescribes procedural or declarative steps which can be translated to computer interpretable instructions |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Algorithm |
| adapted from | |
| counter example |
executable code, source code |
| definition |
information content entity that prescribes procedural or declarative steps which can be translated to computer interpretable instructions |
| example |
pseudo code for sorting data, flowchart for automatic control of a process |
| explanatory note |
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 |
| first-order logic axiom |
InformationContentEntity(x) ∧ ∃y(EncodedAlgorithm(y) ∧ prescribes(x,y)) → Algorithm(x) |
| is defined by | |
| is primitive |
true |
| label |
algorithm |
| natural language definition |
information content entity that prescribes procedural or declarative steps which can be translated to computer interpretable instructions |
| note |
See the general discussion and rationale provided under information content entity. information content entity that prescribes procedural or declarative steps which can be translated to computer interpretable instructions If x is an 'information content entity' that 'prescribes' some 'encoded algorithm' then x is an instance of 'algorithm' InformationContentEntity(x) ∧ ∃y(EncodedAlgorithm(y) ∧ prescribes(x,y)) → Algorithm(x) 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 pseudo code for sorting data, flowchart for automatic control of a process executable code, source code |
| preferred label |
algorithm |
| prefixIRI |
iof-core:Algorithm |
| prefLabel |
algorithm |
| primitive rationale |
See the general discussion and rationale provided under information content entity. |
| semi-formal natural language axiom |
If x is an 'information content entity' that 'prescribes' some 'encoded algorithm' then x is an instance of 'algorithm' |
| source | |
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/InformationContentEntity |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |