Knowledge representation and reasoning meets digital forensics: The COST action DigForASP