ADDED: Iterative fixpoint calculation of rexive-transitive closure of rdfs:subPropertyOf.