City: Saint Petersburg Novosibirsk Kazan Language: Русский English

Ontologies
Saint Petersburg / autumn 2010, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

In computer science, ontologies are used to provide a common vocabulary for a domain of interest together with descriptions of the meaning of terms built from the vocabulary and relationships between them. Ontologies in this sense are increasingly used in knowledge management systems, medical and bio-informatics are set to play a key role in the semantic web and grid. Modern ontologies may contain hundreds of thousands of term definitions and are, therefore, often represented in a machine readable form. In order to be computer-accessible, modern ontologies are formulated in a logic-based ontology language.

In this course we consider logical ontology languages, used to design and maintain ontologies, and a number of ontology reasoning problems including ontology classification, instance checking, and knowledge base querying. We also introduce design and maintenance methodologies and consider applications.

Date and time Class|Name Venue|short Materials
25 September
17:20–18:55
Лекция 1, Lecture ПОМИ РАН slides
25 September
19:05–20:40
Лекция 2, Lecture ПОМИ РАН slides
26 September
11:15–12:50
Лекция 3, Lecture ПОМИ РАН slides
26 September
13:00–14:35
Лекция 4, Lecture ПОМИ РАН slides
26 September
15:35–17:10
Лекция 5, Lecture ПОМИ РАН slides
02 October
17:20–18:55
Лекция 6, Lecture ПОМИ РАН slides
02 October
19:05–20:40
Лекция 7, Lecture ПОМИ РАН slides
03 October
11:15–12:50
Лекция 8, Lecture ПОМИ РАН slides
03 October
13:00–14:35
Лекция 9, Lecture ПОМИ РАН slides