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