O optimalnosti izračuna semantičnih pravil po strategiji od-zgoraj-navzdol