DL Overview Second Pass Ming Fang 06/19/2009. Outlines Description Languages Knowledge Representation in DL Logical Inference in DL.