الاستدلال الآلي, الذكاء الاصطناعي, الويب الدلالي, تمثيل المعرفة, علماء الحاسوبتيموثي فينين (Tim Finin)