java.lang.Object
fr.boreal.backward_chaining.unfolding.UCQUnfolder
- Author:
- Florent Tornil Unfold an pivotal-UCQ into a classical UCQ
-
Constructor Summary
ConstructorsConstructorDescriptionUCQUnfolder(CoverFunction coverFct, QueryCoreProcessor core, RuleCompilation compilation) Creates a new UCQUnfolder using the given parametersUCQUnfolder(RuleCompilation compilation) Creates a new UCQUnfolder using the given parameters -
Method Summary
Modifier and TypeMethodDescriptionunfold(Collection<FOQuery> pivotalQueries) Each query of the UCQ will be a core Computes a cover of the unfolding before returning it
-
Constructor Details
-
UCQUnfolder
Creates a new UCQUnfolder using the given parameters- Parameters:
compilation- the rule compilation to use
-
UCQUnfolder
Creates a new UCQUnfolder using the given parameters- Parameters:
coverFct- the cover function to usecore- the core function to usecompilation- the rule compilation to use
-
-
Method Details
-
unfold
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
-