How answer set programming can help in digital forensic investigation