ЯЗО. Языки записи онтологий

[Alex Shkotin]

Предлагаю в этом посте создать список языков записи онтологий. таг для других постов - ЯЗО.

А то в wikipedia(en) с этим туго. Скорее всего списки уже есть! Тогда и их сюда!

Суть в том что записывая знания на КРЯ (или другом CNL) следует посмотреть и сравнить их запись (равно как и саму возможность) на различных ЯЗО. Получится и соревнование и сравнение... 

Обязательно нужна ссылка на сайт поддержки, разработки...

- Rulelog, http://ruleml.org/rif/rulelog/spec/Rulelog.html

- OWL,

- CL (Common Logic)

- Hilog

...