A C++ Description Logic Reasoner and API