In RIF-RDF combinations, we have that RIF ## statements imply rdfs:subClassOf statements. So, ex:a[rdfs:subClassOf -> ex:b] follows from ex:a ## ex:b. However, ## is not reflexive, and so ex:a[rdfs:subClassOf -> ex:a] is not implied. Notice that the simple profile is used.