Description Logics, OWL, Protege, OntoClean, верхнеуровневые онтологии (SUMO, DOLCE, BFO), SNOMED/ICD, LLM как экстрактор онтологий. Наследие: Фоминых.
AL, ALC, SHOIN, SROIQ — от AL к OWL 2. T-Box, A-Box, вывод, tableaux
МЭИ/МГТУ, онтологии, инженерия знаний, нечёткая логика
Классы, экземпляры, атрибуты, отношения (такономические, мерономические), кардинальность, модальность
Итеративная схема, онтологические паттерны, OntoClean, автоматическое построение из текстов
RDF-триплеты, OWL-конструкции (allValuesFrom, cardinality, transitive), SPARQL-запросы, Protégé
РуТез, Рубашкин/Лахути, Хорошевский, Ермаков, Левшин/Марков — русский вклад в онтологии
Тезаурус Роже, WordNet, РуТез — эволюция к онтологиям. Виды онтологий: глоссарий, таксономия, партономия