Онтология и представление знаний. Лекция 5
Лекция ХитПредмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
26.09.10
Код для блога:
Свойства алгоритма проверки реализуемости ALC-концептов: остановка, корректность, полнота, вычислительная сложность. Реализуемость концепций совместно с ациклической ALC-терминологией. Алгоритм классификации ALC-теорий. Расширения логики ALC.
Страница лекции на сайте Computer Science клуба
Дополнительные материалы:

Другие лекции курса
8