Новосибирский государственный университет

Факультет информационных технологий

ICT SBRAS

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

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

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

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


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

|А.М.Федотов| |Преподавание| |Современные проблемы информатики| |Информатика| |Ключевые термины| |Персоны|

Федотова Ольга Анатольевна
[SBRAS]
НГУ
ФИТ НГУ
ИВТ СО РАН
© 2007-2024, Новосибирский государственный университет, Новосибирск
© 1998-2024, Институт вычислительных технологий СО РАН, Новосибирск
© 1998-2024, Федотов А.М.
    Дата последней модификации: 04.04.2013