org.semanticweb.HermiT.datalog

Class ConjunctiveQuery

java.lang.Object

org.semanticweb.HermiT.datalog.ConjunctiveQuery

public class ConjunctiveQuery
extends Object

Conjunctinve query.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	ConjunctiveQuery.QueryAnswerCallback

Constructor Summary

Constructors

Constructor and Description
ConjunctiveQuery(DatalogEngine datalogEngine, Atom[] queryAtoms, Term[] answerTerms)

Method Summary

Modifier and Type	Method and Description
void	evaluate(QueryResultCollector queryResultCollector)
DatalogEngine	getDatalogEngine()
int	getNumberOfAnswerTerms()
int	getNumberOfQUeryAtoms()

Methods inherited from class java.lang.Object

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

Constructor Detail

ConjunctiveQuery

public ConjunctiveQuery(DatalogEngine datalogEngine,
                        Atom[] queryAtoms,
                        Term[] answerTerms)

Parameters:

datalogEngine - datalog engine

queryAtoms - query atoms

answerTerms - answer terms

Method Detail

getDatalogEngine

public DatalogEngine getDatalogEngine()

Returns:

datalog engine

getNumberOfQUeryAtoms

public int getNumberOfQUeryAtoms()

Returns:

number of query atoms

getNumberOfAnswerTerms

public int getNumberOfAnswerTerms()

Returns:

number of anser terms

evaluate

public void evaluate(QueryResultCollector queryResultCollector)

Parameters:

queryResultCollector - queryResultCollector