A Set-Based Reasoner for the Description Logic DL4, xD