com.hp.hpl.jena.reasoner.dig
Class DIGQueryDifferentFromTranslator

java.lang.Object
  extended by com.hp.hpl.jena.reasoner.dig.DIGQueryTranslator
      extended by com.hp.hpl.jena.reasoner.dig.DIGQueryDifferentFromTranslator

public class DIGQueryDifferentFromTranslator
extends DIGQueryTranslator

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.

Version:
CVS $Id: DIGQueryDifferentFromTranslator.java,v 1.8 2008/01/02 12:07:11 andy_seaborne Exp $
Author:
Ian Dickinson, HP Labs (email)

Field Summary
 
Fields inherited from class com.hp.hpl.jena.reasoner.dig.DIGQueryTranslator
ALL
 
Constructor Summary
DIGQueryDifferentFromTranslator(java.lang.String predicate)
          Construct a translator to test whether two individuals are different
 
Method Summary
 boolean checkObject(Node object, DIGAdapter da, Model premises)
          Additional test on the object of the incoming find pattern.
 boolean checkSubject(Node subject, DIGAdapter da, Model premises)
          Additional test on the subject of the incoming find pattern.
 org.w3c.dom.Document translatePattern(TriplePattern pattern, DIGAdapter da)
          Answer a query that will test difference between two individuals
 org.w3c.dom.Document translatePattern(TriplePattern pattern, DIGAdapter da, Model premises)
          Answer an XML document that presents the translation of the query into DIG query language, given that either the subject or object may be expressions defined by the statements in the premises model.
 ExtendedIterator translateResponseHook(org.w3c.dom.Document response, TriplePattern query, DIGAdapter da)
          Answer an iterator of triples that match the original find query.
 
Methods inherited from class com.hp.hpl.jena.reasoner.dig.DIGQueryTranslator
checkPredicate, checkTriple, find, find, translateResponse, trigger
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DIGQueryDifferentFromTranslator

public DIGQueryDifferentFromTranslator(java.lang.String predicate)

Construct a translator to test whether two individuals are different

Parameters:
predicate - The predicate we are matching on
Method Detail

translatePattern

public org.w3c.dom.Document translatePattern(TriplePattern pattern,
                                             DIGAdapter da)

Answer a query that will test difference between two individuals

Specified by:
translatePattern in class DIGQueryTranslator

translateResponseHook

public ExtendedIterator translateResponseHook(org.w3c.dom.Document response,
                                              TriplePattern query,
                                              DIGAdapter da)

Answer an iterator of triples that match the original find query.


translatePattern

public org.w3c.dom.Document translatePattern(TriplePattern pattern,
                                             DIGAdapter da,
                                             Model premises)
Description copied from class: DIGQueryTranslator

Answer an XML document that presents the translation of the query into DIG query language, given that either the subject or object may be expressions defined by the statements in the premises model.

Specified by:
translatePattern in class DIGQueryTranslator

checkSubject

public boolean checkSubject(Node subject,
                            DIGAdapter da,
                            Model premises)
Description copied from class: DIGQueryTranslator

Additional test on the subject of the incoming find pattern. Default is to always match

Overrides:
checkSubject in class DIGQueryTranslator
Parameters:
subject - The subject resource from the incoming pattern
da - The current dig adapter
premises - A model that conveys additional information about the premises of the query, which might assist the check to suceed or fail. By default it is ignored.
Returns:
True if this subject matches the trigger condition expressed by this translator instance

checkObject

public boolean checkObject(Node object,
                           DIGAdapter da,
                           Model premises)
Description copied from class: DIGQueryTranslator

Additional test on the object of the incoming find pattern. Default is to always match

Overrides:
checkObject in class DIGQueryTranslator
Parameters:
object - The object resource from the incoming pattern
da - The current dig adapter
premises - A model that conveys additional information about the premises of the query, which might assist the check to suceed or fail. By default it is ignored.
Returns:
True if this object matches the trigger condition expressed by this translator instance


Copyright � 2000, 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008 Hewlett-Packard Development Company, LP