1. A method for objects identification and inference comprising: utilizing a three level object presentation consisting of instance, denotatum and denotatum class; applying application dependent inference rules to determine a match between instances and objects.