Инженерия интенсиональных онтологий в дедуктивных и информационных системах