Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.core

Interface QueryCoreProcessor

All Known Implementing Classes:

NoCoreProcessor, QueryCoreProcessorImpl

public interface 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).

Author:

Florent Tornil, Guillaume Pérution-Kihli

Method Summary

Modifier and Type	Method	Description
FOQuery	computeCore(FOQuery query)	Compute the core of a query by removing all the redundant atoms in it, in considering the answer variables as constants, these variables must belong to the core.

Method Details

computeCore

FOQuery computeCore(FOQuery query)

Compute the core of a query by removing all the redundant atoms in it, in considering the answer variables as constants, these variables must belong to the core.

Parameters:

query - a FOQuery we want to compute the core

Returns:

a query representing the core of the given query