Towards Novel Techniques for Reasoning in Expressive Description Logics based on Binary Decision Diagrams