Interface ConjunctiveQueryFactory

All Known Implementing Classes:
DefaultConjunctiveQueryFactory
public interface ConjunctiveQueryFactory
Factory for building conjunctive queries from atoms, atom sets, and answer-variable lists.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Details

    • create

      ConjunctiveQuery create()
      Create an empty query
      Returns:
      a new ConjunctiveQuery.

    • create

      ConjunctiveQuery create(InMemoryAtomSet atomSet)
      Create a query from the specified atom set. All variables appearing in the atom set will be considered as answer variables.
      Parameters:
      atomSet - the atom set forming the query body
      Returns:
      a new ConjunctiveQuery.

    • create

      ConjunctiveQuery create(InMemoryAtomSet atomSet, List<Term> ans)
      Create a query from the specified atom set and the specified answer variables.
      Parameters:
      atomSet - the atom set forming the query body
      ans - the answer variables
      Returns:
      a new ConjunctiveQuery.

    • create

      ConjunctiveQuery create(Atom atom)
      Create a query from the specified atom set. All variables appearing in the atom set will be considered as answer variables.
      Parameters:
      atom - the single atom forming the query body
      Returns:
      a new ConjunctiveQuery.

    • create

      ConjunctiveQuery create(Atom atom, List<Term> ans)
      Create a query from the specified atom and the specified answer variables.
      Parameters:
      atom - the single atom forming the query body
      ans - the answer variables
      Returns:
      a new ConjunctiveQuery.

    • create

      ConjunctiveQuery create(CloseableIteratorWithoutException<Atom> atomSet, CloseableIteratorWithoutException<Term> answerVariables)
      Create a query from the specified atom set and the specified answer variables.
      Parameters:
      atomSet - the atom-set iterator forming the query body
      answerVariables - the answer-variable iterator
      Returns:
      a new ConjunctiveQuery.

    • create

      ConjunctiveQuery create(String label, InMemoryAtomSet atomSet, List<Term> ans)
      Create a query from the specified atom set, answer variables and label.
      Parameters:
      label - the name of this query
      atomSet - the conjunction of atoms representing the query
      ans - the list of answer variables
      Returns:
      a new ConjunctiveQuery

    • create

      ConjunctiveQuery create(ConjunctiveQuery query)
      Copy
      Parameters:
      query - the query to copy
      Returns:
      a new ConjunctiveQuery.