| java.lang.Object
 com.hp.hpl.jena.reasoner.dig.DIGQueryTranslator
com.hp.hpl.jena.reasoner.dig.DIGQueryDifferentFromTranslator
| DIGQueryDifferentFromTranslator | | public class DIGQueryDifferentFromTranslator extends DIGQueryTranslator (Code) | |
Translator for queries as to whether two ground individuals are different-from each other.
This does not have a direct translation in DIG at the moment; instead we ask if the
class expressions formed from the set of each single individual are disjoint.
author:
Ian Dickinson, HP Labs (email)
version:
CVS $Id: DIGQueryDifferentFromTranslator.java,v 1.8 2008/01/02 12:07:11 andy_seaborne Exp $ |
| DIGQueryDifferentFromTranslator | | public DIGQueryDifferentFromTranslator(String predicate)(Code) | | Construct a translator to test whether two individuals are different
Parameters:
predicate - The predicate we are matching on |
| Fields inherited from com.hp.hpl.jena.reasoner.dig.DIGQueryTranslator | final public static String ALL(Code)(Java Doc)
|
| Methods inherited from com.hp.hpl.jena.reasoner.dig.DIGQueryTranslator | public boolean checkObject(Node object, DIGAdapter da, Model premises)(Code)(Java Doc)
public boolean checkPredicate(Node pred, DIGAdapter da, Model premises)(Code)(Java Doc)
public boolean checkSubject(Node subject, DIGAdapter da, Model premises)(Code)(Java Doc)
public boolean checkTriple(TriplePattern pattern, DIGAdapter da, Model premises)(Code)(Java Doc)
protected ExtendedIterator conceptSetNameCheck(Document response, DIGAdapter da, Node node, Triple result)(Code)(Java Doc)
public ExtendedIterator find(TriplePattern pattern, DIGAdapter da)(Code)(Java Doc)
public ExtendedIterator find(TriplePattern pattern, DIGAdapter da, Model premises)(Code)(Java Doc)
protected Filter getResultsTripleFilter(TriplePattern query)(Code)(Java Doc)
protected boolean isFalse(Document response)(Code)(Java Doc)
protected boolean isTrue(Document response)(Code)(Java Doc)
protected Node mapNode(String uri)(Code)(Java Doc)
protected ExtendedIterator translateConceptSetResponse(Document response, TriplePattern query, boolean object, DIGAdapter da)(Code)(Java Doc)
protected ExtendedIterator translateIndividualPairSetResponse(Document response, TriplePattern query)(Code)(Java Doc)
protected ExtendedIterator translateIndividualSetResponse(Document response, TriplePattern query, boolean object)(Code)(Java Doc)
protected ExtendedIterator translateNameSetResponse(Document response, TriplePattern query, boolean object, String[] path)(Code)(Java Doc)
abstract public Document translatePattern(TriplePattern query, DIGAdapter da)(Code)(Java Doc)
abstract public Document translatePattern(TriplePattern pattern, DIGAdapter da, Model premises)(Code)(Java Doc)
final public ExtendedIterator translateResponse(Document response, TriplePattern query, DIGAdapter da)(Code)(Java Doc)
abstract protected ExtendedIterator translateResponseHook(Document response, TriplePattern query, DIGAdapter da)(Code)(Java Doc)
protected ExtendedIterator translateRoleSetResponse(Document response, TriplePattern query, boolean object)(Code)(Java Doc)
protected ExtendedIterator translateSpecialConcepts(Document response, DIGAdapter da, Node ref, Node pred, boolean refSubject)(Code)(Java Doc)
public boolean trigger(TriplePattern pattern, DIGAdapter da, Model premises)(Code)(Java Doc)
protected boolean trigger(Node lhs, Node rhs, Model premises)(Code)(Java Doc)
|
|
|