Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming