Aggiungere puntamento a violazioni di OWL 2 DL

[valeriosantarelli]

A valle del check semantico sull'aderenza alla OWL 2 DL dell'ontologia, permettere di mostrare sul diagramma la violazione (con un meccanismo simile a quella che li fa vedere dopo il check sintattico sui vari profili, quindi un pulsante "Show").