Условные обозначения

Язык AIGL описан как в словесной форме, так и с помощью БНФ (формулы Бекуса-Наура). В БНФ формула состоит из двух частей: первая содержит имя определяемого понятия, заключённое в скобки-метасимволы < >, затем следует метасимвол ::=, а затем идёт вторая часть, содержащая описание понятия. В описании могут использоваться следующие метасимволы:

| - означает 'или';
( ) - скобки группируют конструкции;
{ } - содержимое таких скобок может повторяться ноль или более раз;
[ ] - содержимое этих скобок является необязательным.
/* */ - между парами этих символов размещаются комментарии.
О - одиночный элемент.
М - множество.
D: - домен (зона возможных значений).
P: - свойство.
= - подстановка.
/ - вариант.

Cимволы языка заключаются в одинарные кавычки для того, чтобы их можно было отличить от метасимволов БНФ. Символы могут быть записаны в шестнадцатиричном виде 0xКод_символа.

Имя идентификатора должно начинатся с буквы или знака подчёркивания, следующими символами могут быть буквы, цифры и знак подчёркивания, имя идентификатора может состоять из одного символа.

Все, что рассматривается в данном словаре - абстракции, некоторым из которых есть соответствие в реальном мире. Структура сети - онтология в виде таксонометрической иерархии. Значения свойств по умолчанию.

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