In this lecture, we cover Description Logics. Description Logics provide the foundation of the Web Ontology Language. Understanding Description Logics, some of the assumptions, and the Tableau Algorithm will allow us to better understand the Web Ontology Language in the next lecture.
