Среда разработки знаний Sigma - Sigma knowledge engineering environment

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

Рекомендации

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

внешняя ссылка