[OBSOLETE] A forward-chaining inference engine that implements the RDFS entailment rules. - View it on GitHub