A tableau calculus for a nonmonotonic extension of the Description Logic DL-Litecore