In DL we have Classes, and Individuals which are instances of the classes.

I assume that instances are declared pretty much like traditional programming languages such as Java. So, the class an instance belongs to is determined at the time of deceleration.

If that is the case, then what is the need for 'instance checking', which asserts if a particular instance is a member of a given class.