4sr is an extension of 4store where we are implementing backward chained reasoning. Currently a subset of RDFS is supported. This set includes: rdfs:subClassOf, rdfs:subPropertyOf, rdfs:domain and rdfs:range.