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<? extends FOFormula>
    computeCore(FOQuery<? extends FOFormula> 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<? extends FOFormula> computeCore(FOQuery<? extends FOFormula> 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