This is an ontology for computable string functions. It is implemented, for example, in CWM and Euler.
No examples yet, add one.