> -- Валерий Лаптев писал(а):
> Онтологией называется эксплицитная ... спецификация концептуализации. Формально онтология состоит из терминов, организованных в таксономию .., определений и атрибутов терминов, а также связанных с ними аксиом и правил вывода.

Едут в одном купе профессор и просто работяга. Профессор, чтобы хоть как-то разговор начать, обращается к работяге :
- В наш сугубо меркантильный век гуманных и эрсанных идей не каждый локальный индивидуум в силу своей сиконцепции и косификации, а так же капиталинистических сфер демократического интеллекта способен игнорировать тенденции парадоксальных настроений ...
Работяга обалдел, но ответил:
- Оно конечно действительно, что касательно - то относительно, но никогда не было так, чтобы что-нибудь и было, а случись оно что - так вот тебе и пожалуйста!

Теперь по существу. А нужно ли вообще точное определение оператора? Есть "оператор цикла", "условный оператор", "оператор присваивания", "оператор ввода/вывода" и т.д. Для каждого из них есть определение. Все вместе они образуют множество "операторов". "Операторы", в свою очередь, входят в множество конструкций языка, куда также входят выражения, функции и т.д. От других языковых конструкций операторы отличаются тем, что встречались уже в первых императивных языках программирования, и исполнение оператора приводило к необратимому изменению состояния вычислительного процесса. Конструкции, пришедшие из других парадигм программирования, не называются операторами. Их влияние на состояние вычислительного процесса гораздо менее однозначное и безусловное. Вряд ли имеет смысл как-то особо выделять "операторы" среди других языковых конструкций, давать им какое-то обобщающее определение. Они и так достаточно просты для понимания.

"Касательно" онтологии. Это ведь в конечном счете просто формализованное описание языка? Какой смысл загонять его в рамки семантической сети? Мне кажется, что хорошо комментированного и снабженного гиперссылками и примерами сообщения о языке вполне достаточно. Можно, конечно, даже гражданский кодекс изложить в виде семантической сети, только ведь это чрезмерное и ненужное упрощение. Все пользуются "Гарантом" и "Консультантом+" и счастливы.