Local Closed World Reasoning with Description Logics under the Well-Founded Semantics