Assure mathematically complete computability of ontology comments