Ontology Editor: label on hover