In F-OWL, unnamed classes are treated the same as any named classes when infering their subclass relationships. In other words, to determine if an individual belongs to any unnamed classes, the same Flora-2 subclass query applies.

In our example ontology, the following subclass query will return all classes that an individual animals_John belongs to:

animals_John : C.

To find only unamed classes (that are type of owl:Restriction class), the following query can be used:

animals_John : C, C: owl_Restriction.