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