Explicitly assert rdfs:Resource sub class?

[tpluscode]

Describe the requirement

The RDF Schema states that everything is an instance of rdfs:Resource in section 2.1

All things described by RDF are called resources, and are instances of the class rdfs:Resource. This is the class of everything. All other classes are subclasses of this class. rdfs:Resource is an instance of rdfs:Class.

However, I found that allegrograph's inferencing does not recognise this factor instances of classes which are explicitly rdfs:subClassOf rdfs:Resource

Proposed solutions

I was thinking whether we could add hydra:Resource rdfs:subClassOf rdfs:Resource to allow more accurate inferencing.

On the other hand, we would then have to add a whole lot more explicit and redundant statements like that and similar for rdf:Property which should not be necessary