Felső ontológia vizsgálata