include RBox

[cmungall]

Can we include the transitive closure of rdfs:subPropertyOf?

there is also an argument for treating domain/range as edges too and including inferred rbox axioms like this

See also:

• Visualize ubergraph property hierarchy ubergraph#120