Logic-based Ontology Engineering The lecture website is available at https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/22933635072.