A C++ reasoner for the description logic DL4;× D?