Module fr.boreal.backward_chaining

Package fr.boreal.backward_chaining.unfolding

Class UCQUnfolder

java.lang.Object

fr.boreal.backward_chaining.unfolding.UCQUnfolder

public class UCQUnfolder
extends Object

Author:

Florent Tornil Unfold an pivotal-UCQ into a classical UCQ

Constructor Summary

Constructors

Constructor	Description
UCQUnfolder(CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation)	Creates a new UCQUnfolder using the given parameters
UCQUnfolder(RuleCompilation compilation)	Creates a new UCQUnfolder using the given parameters

Method Summary

Modifier and Type	Method	Description
Set<FOQuery>	unfold(Collection<FOQuery> pivotalQueries)	Each query of the UCQ will be a core Computes a cover of the unfolding before returning it

Methods inherited from class java.lang.Object

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

Constructor Details

UCQUnfolder

public UCQUnfolder(RuleCompilation compilation)

Creates a new UCQUnfolder using the given parameters

Parameters:

compilation - the rule compilation to use

UCQUnfolder

public UCQUnfolder(CoverFunction coverFct,
 QueryCoreProcessor core,
 RuleCompilation compilation)

Creates a new UCQUnfolder using the given parameters

Parameters:

coverFct - the cover function to use

core - the core function to use

compilation - the rule compilation to use

Method Details

unfold

public Set<FOQuery> unfold(Collection<FOQuery> pivotalQueries)

Each query of the UCQ will be a core Computes a cover of the unfolding before returning it

Parameters:

pivotalQueries - a pivotal query

Returns:

the unfolding of the pivotal query by the compilation