Knowledge Representation and Reasoning meets Digital Forensics: The COST Action DigForASP (short paper)