A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge