Every complex subject domain is related with a broad range concepts, which are used by specialists in formal and informal way to document the domain knowledge. This in turn, leads to the necessity of documenting concepts. This way classifications in Biology and Chemistry have been developed, as well as special concept systems in the form of glossaries, taxonomies, and ontologies, which specify definitions of concepts and their relationships.
Technical documentation and specification of devices is typically provided with a terminology, which is included in the form of a glossary as a part thereof. Some concept systems are recognized as reference information sources at the state of higher professional level, for example, the International Classification of Diseases (ICD), etc.
Formalized concept systems are employed in information systems for data annotation, search, integration, and natural language processing. Currently, there are hundreds of mathematically formalized concept systems (ontologies) available on the Web, which are being used for solving information processing tasks in natural sciences and technical subject domains.
In this course, you will learn about logic methods for ontology engineering. We will introduce the fundamentals of Description Logics, which have been used for over 20 years as a mathematical tool for formulation and analysis of ontologies. In particular, Description Logics underpin the computer languages and standards for publishing ontologies on the Web. In the course, you will learn how to use logic tools for developing ontologies and how to employ automated reasoning for structuring, analysis, and validation of ontologies.
Senior Researcher at Ershov Institute of Informatics Systems and Senior Lecturer at the Novosibirsk State University. He has been working as a Visiting Professor and Senior Research Associate at the Department of Computer Science at Ryerson University, Toronto and the Institute of Artificial Intelligence at the University of Ulm, Germany.
Denis serves as a reviewer for the ACM Journal «Transactions on Computational Logic» and a program committee member to the top-level conferences on Artificial Intelligence, including AAAI and IJCAI, as well as the International Description Logic Workshop and related venues. His primary research interests include Knowledge Representation, Automated Reasoning, Ontology Engineering, and Reasoning About Actions.