RDFS.rb is a forward-chaining inference engine that implements the RDF Schema (RDFS) entailment rules.