| java.lang.Object
 com.hp.hpl.jena.reasoner.dig.DIGQueryTranslator
com.hp.hpl.jena.reasoner.dig.DIGQueryIsEquivalentTranslator
| DIGQueryIsEquivalentTranslator | | public class DIGQueryIsEquivalentTranslator extends DIGQueryTranslator (Code) | |
Translator to map variants of owl:equivalentClass to the DIG <equivalents> query,
where the query is testing if two concepts are indeed equivalent (rather than listing the
atoms that are, in fact, equivalent to a given concept, which is what
DIGQueryEquivalentsTranslator does).
author:
Ian Dickinson, HP Labs (email)
version:
CVS $Id: DIGQueryIsEquivalentTranslator.java,v 1.16 2008/01/02 12:07:09 andy_seaborne Exp $ |
| m_predicate | | protected String m_predicate(Code) | | URI of the predicate we are testing for
|
| DIGQueryIsEquivalentTranslator | | public DIGQueryIsEquivalentTranslator(String predicate)(Code) | | Construct a translator for the DIG query 'equivalents'.
Parameters:
predicate - The predicate URI to trigger on |
| checkTriple | | public boolean checkTriple(TriplePattern pattern, DIGAdapter da, Model premises)(Code) | | Check whether the pattern matches the preconditions for the translation
step. This means that the subject and object must be concepts or bNodes.
A limitation on DIG means that both cannot be expressions (bNodes). The
predicate must be equivalence, or one of the boolean definition
relations (in which case the query will have to introduce a bNode as a
comprehension step).
|
| 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)
|
|
|