Онтологический язык OWL DL соответствует логике:
Онтологический язык OWL Lite соответствует логике:
Онтологический язык OWL Full соответствует логике:
Онтологический язык для семантических утверждений, разработанный как расширение RDF и RDF-S:
Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
Укажите бестиповой язык программирования:
Укажите язык программирования с нестрогой типизацией:
Укажите язык программирования со строгой типизацией:
Укажите предикат языка Prolog, который используется для фильтрации списка:
Укажите предикат языка Prolog, который используется для отображения списка:
