Extensible Knowledge Representation: the Case of Description Reasoners