Local closed world reasoning with description logics under the well-founded semantics