rdfs tests