TY - RPRT TI - Extensible Knowledge Representation: the Case of Description Reasoners AU - A. Borgida PY - 2011 DO - 10.1613/jair.584 UR - https://arxiv.org/abs/1105.5463 ID - 1105.5463 ER -