]> RDFS reasoner: subproperty test rdfs/tbox1.rdf rdfs/data2.rdf rdfs/query18.nt rdfs/result18-simple.rdf