Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску

В областях информатики, инженерии знаний и онтологии , среда инженерии знаний Sigma представляет собой компьютерную программу с открытым исходным кодом для разработки формальных онтологий . Он разработан для использования с предложенной верхней объединенной онтологией . Первоначально он включал в себя только средство доказательства теорем вампиров в качестве основного механизма дедуктивного вывода, но теперь позволяет использовать многие другие средства доказательства, которые участвовали в соревнованиях CASC / CADE .

Ссылки [ править ]

  • Пиз, Адам; Шульц, Стефан (2014). Демри, Стефан; Капур, Дипак; Weidenbach, Christoph (ред.). «Разработка знаний для больших онтологий с помощью Sigma KEE 3.0». Proc. 7-го IJCAR, Вена . LNAI. 8562 : 519–525.

Внешние ссылки [ править ]