Remove redundant inference rule descriptions

[anatoly-scherbakov]

For example: since rdfs:subClassOf is now treated as an owl:TransitiveProperty, there is no need to separately describe its transitivity in the inference rules.

Also, the need for Rule Groups is probably being removed.