Invited talk: Neuro-symbolic knowledge representation