]> RDFS reasoner: example of rule 12a rdfs/dataRDFS12.rdf rdfs/queryRDFS12.nt rdfs/resultRDFS12.rdf