Новосибирский государственный университет Факультет информационных технологий

А.М.Федотов

Словарь-справочник по информатике (онтология информатики)

Сильно формализованные онтологии

Сильно формализованные онтологии - это онтологии для решения инженерных уравнений. Задают формальную семантику термов (таких как количество и единица измерения) в разрешенных языком точных и непротиворечивых выражениях.

Ключевые термины (головные):  онтология;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН