code generated with protege.