An experimental modular description logic reasoner based on Chainsaw.