Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.core

Class QueryCoreProcessorImpl

java.lang.Object

fr.boreal.backward_chaining.core.QueryCoreProcessorImpl

All Implemented Interfaces:

QueryCoreProcessor

public class QueryCoreProcessorImpl
extends Object
implements QueryCoreProcessor

Author:

Florent Tornil, Guillaume Pérution-Kihli Core computing for small sets of atoms, used mostly for queries This is based on an implementation by Guillaume Pérution-Kihli

Constructor Summary

Constructors

Constructor	Description
QueryCoreProcessorImpl()	Default constructor using generic homomorphism
QueryCoreProcessorImpl(CoreProcessor coreProcessor)	Constructor using a specific core processor
QueryCoreProcessorImpl(RuleCompilation compilation)	Constructor using a homomorphism with compilation test
QueryCoreProcessorImpl(RuleCompilation compilation, CoreProcessor coreProcessor)	Constructor using a homomorphism with compilation test and a specific core processor

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

QueryCoreProcessorImpl

public QueryCoreProcessorImpl()

Default constructor using generic homomorphism

QueryCoreProcessorImpl

public QueryCoreProcessorImpl(CoreProcessor coreProcessor)

Constructor using a specific core processor

Parameters:

coreProcessor - the core processor

QueryCoreProcessorImpl

public QueryCoreProcessorImpl(RuleCompilation compilation)

Constructor using a homomorphism with compilation test

Parameters:

compilation - the compilation of the rules to use

QueryCoreProcessorImpl

public QueryCoreProcessorImpl(RuleCompilation compilation,
 CoreProcessor coreProcessor)

Constructor using a homomorphism with compilation test and a specific core processor

Parameters:

compilation - the compilation of the rules to use

coreProcessor - the core processor

Method Details

computeCore

public FOQuery computeCore(FOQuery query)

Description copied from interface: QueryCoreProcessor

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.

Specified by:

computeCore in interface QueryCoreProcessor

Parameters:

query - a FOQuery we want to compute the core

Returns:

a query representing the core of the given query