update message upon consistency checking in protege