El primer sistema basado en DL fue KL-ONE (por Brachman and Schmolze, 1985).