Изменения

Онтологии обычно кодируются с помощью языков онтологий — формальных языков<ref>специализированных [https://runeerc.wikipediaifmo.orgru/wiki/%index.php?title=Основные_определения,_связанные_со_строками#.D0%.A4%.D0%.BE%.D1%.80%.D0%.BC%.D0%.B0%.D0%.BB%.D1%.8C%.D0%.BD%.D1%.8B%.D0%B9_%.B5_.D1%.8F%.D0%.B7%.D1%.8B%.D0%.BA Википедия {{---}} Формальный язык]</ref>, основанных на [[:Исчисление_предикатов|исчислении предикатов]] (не путать с [[:Формальные_грамматики|формальными грамматиками].D0.B8 формальных языков]).