timgutberlet / Which-Rules-Entail-This-Fact

This research project is focused on creating an efficient solution for identifying rules which entail certain target facts given a set of rules and a knowledge graph using relational database technologies.