rify
v0.7.1
Published
RDF reasoner that operates on RIF-like conjunctive rules. Outputs a machine readable proof of some claim which can be cheaply verified.
Downloads
1,412
Readme
Changelog
0.6.0
Breaking change! Changed public methods to accept and return quads instead of triples.