Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.core

package fr.boreal.backward_chaining.core

Class	Description
NoCoreProcessor
QueryCoreProcessor	Compute the core of a FOQuery seen as a set of atoms The computed core is a FOQuery without redundant atoms; 'core' corresponds to the notion of graph theory (the set of atoms being viewed as a bipartite (predicate/term) graph).
QueryCoreProcessorImpl