Generate a schema restricted to RDFS language features.
The idea is to define an order when each axiom type has to be investigated. For RDFS this is given by the analysis
of the RDFS reasoning rules, especially those that contain the corresponding predicates listed below.
RDFS reasoning rule ordering:
Transitive Rules(rdfs5, rdfs11)
SubProperty Inheritance Rule(rdfs7)
Domain/Range Rules(rdfs2, rdfs3)
SubClass Inheritance Rules(rdfs9)
Order of axiom types: