fix a bug for loop in roles, types (TIntHasSet); remove owl:Thing from output