Introduction to Description Logic and Ontology Languages Jidi (Judy) Zhao May 23, 2015 CS6999 Presentation.