Error correction ontology