org.semwebcentral.sweetrules.infrastructure
Interface ISweetQueryResult

All Known Implementing Classes:
AbstractSweetQueryResult

public interface ISweetQueryResult

This class provides an abstraction of a query result NOTE: Undefined in this class is in the sense of Well Founded semantics

Author:
Shashidhara K Ganjugunte, Dr. Benjamin Grosof, Dr. Said Tabet, Chitravanu Neogy

Method Summary
 java.lang.String[] getAllAnswers()
          Returns the answer set representing the variables and their corresponding bindings for the "true" i.e. entailed conclusions
 java.lang.String[] getAllAtomsOrCslits()
          This is a getter method which returns the entailed(true) atoms/Cslits (as strings)
 java.lang.String[] getTrueOrUndefinedAnswers()
          Returns all the bindings both for true or undefined answers
 java.lang.String[] getTrueOrUndefinedAtomsOrCslits()
          Returns all atoms/cslits (as strings), which are either true or undefined
 java.lang.String[] getUndefinedAnswers()
          Returns all the undefined answers
 void print()
          A method to print the results
 

Method Detail

getAllAtomsOrCslits

public java.lang.String[] getAllAtomsOrCslits()
This is a getter method which returns the entailed(true) atoms/Cslits (as strings)

Returns:
The entailed atoms/cslits

getAllAnswers

public java.lang.String[] getAllAnswers()
Returns the answer set representing the variables and their corresponding bindings for the "true" i.e. entailed conclusions

Returns:
The answer set in terms of bindings. Each property element is a binding list in the form of name-value pair. This will be a single element with answerSet XML in case of ruleML. For XSB it will be a String array of the form ["Var1/value11, ..., VarN/value1N", "Var1/value21, ..., Var2N"] where "Vari" is a variable and "valuei" is its value.

getTrueOrUndefinedAtomsOrCslits

public java.lang.String[] getTrueOrUndefinedAtomsOrCslits()
Returns all atoms/cslits (as strings), which are either true or undefined

Returns:
All the entailed atoms/cslits (including undefined ones) (undefined is particularly relevant to XSB)

getTrueOrUndefinedAnswers

public java.lang.String[] getTrueOrUndefinedAnswers()
Returns all the bindings both for true or undefined answers

Returns:
All the bindings both for true or undefined answers (undefined is particularly relevant to XSB)

getUndefinedAnswers

public java.lang.String[] getUndefinedAnswers()
Returns all the undefined answers

Returns:
all the undefined answers (undefined is particularly relevant to XSB)

print

public void print()
A method to print the results