rdfs statement for reasoner