In the Classes section, has super-classes block, display also restrictions.

[larswik]

Is your feature request related to a problem? Please describe.
In many cases, properties are not unique to a single class, i.e. no rdfs:domain is specified. There might however be a necessary condition ( rdfs:subClassOf [ rdf:type owl:Restriction...]), e.g. myProperty min 1 which would be nice to see in the auto generated documentation. Since these are not listed, I feel that important parts of the ontology are left out.

Describe the solution you'd like
If there are rdfs:subClassOf statements that refers to nodes that are owl:Restriction, these statements could be listed in the has super-classes block in the Classes documentation. Best/clearest would be to use Manchester syntax, e.g. myProperty min 1.

Describe alternatives you've considered
Maybe list rdfs:subClassOf [ rdf:type owl:Restriction...] in a separate block?

Additional context
Example from Protege where only "Feature" currently will be listed under has super-classes.
Protege:

WIDOCO: