Город: Санкт-Петербург Новосибирск Казань Язык: Русский English
Что: Лекция
Когда: Воскресенье, 26 сентября 2010, 15:35–17:10
Где: ПОМИ РАН
Слайды: ontology_lecture_260910.pdf

Описание

Свойства алгоритма проверки реализуемости \( \mathcal{ALC} \)-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической \( \mathcal{ALC} \)-терминологией. Алгоритм классификации \( \mathcal{ALC} \)-теорий. Расширения логики \( \mathcal{ALC} \).

Материалы