Lecture 1: Basic Description Logics