Using Answer Set Programming for Commonsense Reasoning in the Winograd Schema Challenge