org.mindswap.query
Class ABoxQuery

java.lang.Object
  org.mindswap.query.ABoxQuery

public class ABoxQuery
extends java.lang.Object

Author:

Evren Sirin

Constructor Summary

ABoxQuery(AtomList body)

ABoxQuery(AtomList body, java.util.Collection resultVars)

Method Summary

void	addResultVar(Variable var)
void	addResultVars(java.util.Collection vars)
ABoxQuery	apply(ValueMap binding)
AtomList	getBody()
java.util.List	getResultVars()
java.util.List	getVars()
java.util.List	run(OWLKnowledgeBase kb)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

ABoxQuery

public ABoxQuery(AtomList body)

ABoxQuery

public ABoxQuery(AtomList body,
                 java.util.Collection resultVars)

Method Detail

addResultVar

public void addResultVar(Variable var)

addResultVars

public void addResultVars(java.util.Collection vars)

getBody

public AtomList getBody()

getResultVars

public java.util.List getResultVars()

getVars

public java.util.List getVars()

run

public java.util.List run(OWLKnowledgeBase kb)

apply

public ABoxQuery apply(ValueMap binding)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object