pub fn role_subsumes(sub_role: u64, super_role: u64, rbox: &[NQuin]) -> boolExpand description
Role hierarchy: is sub_role subsumed by super_role (transitively) in the RBox of
rdfs:subPropertyOf quins? (Same transitive-closure search as class subsumption.)