Advanced course, doctoral programme in Computer Science, Gran Sasso Science Institute, L'Aquila; 27-30 June, 2022.
Engineering of ontologies with Description Logic. Description Logics are formal languages for knowledge representations used to define ontologies. The Web Ontology Language (OWL) and its profiles are based on Description Logics. We present the syntax and the semantics of the main Description Logics, and their computational complexity of reasoning. We also present selected topics that occupy researchers and practitioners in the field, e.g.: ontology-based data access, concept learning, ontology repair, etc. We use Protégé and Ontop for a hands-on session.