An Improved Set-based Reasoner for the Description Logic 𝒟ℒD4, ×