loading...| Preferred Name | Algorithm | |
| Synonyms |
|
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/Algorithm |
|
| adapted from | ||
| counter example |
executable code, source code |
|
| 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 |
|
| prefixIRI |
iof-core:Algorithm iof: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' |
|
| subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/InformationContentEntity |