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

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