See: Sequence Ontology Bioinformatics Analysis, SmartWeb Ontology-Based Annotation, Secrecy-preserving Observable Ballot-level Audit.