convenience form of rdf:type