База ответов ИНТУИТ

Логическое программирование

<<- Назад к вопросам

Description-logic - это ...

(Отметьте один правильный вариант ответа.)

Варианты ответа
онтологический язык, который базируется на логиках первого порядка, однако классы и свойства в нем представлены как термины, а не как предикаты
стандартный язык разметки документов в интернет
семейство языков представления знаний, позволяющих описывать понятия предметной области в формализованном виде(Верный ответ)
Похожие вопросы
F-logic - это ...
Отрицание в Description logics обозначается:
Конъюнкция в Description logics обозначается:
Дизъюнкция в Description logics обозначается: