Current and Future Challenges in Knowledge Representation and Reasoning