uk.ac.manchester.cs.owl.inference.dig11
Interface DIGQueryResponse

All Known Implementing Classes:

DIGQueryResponseImpl

public interface DIGQueryResponse

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 21-Nov-2006

Method Summary

boolean	getBoolean() If the query resultied in a boolean response, for example asking if a concept was satisfiable, then this method may be used to get the boolean result.
java.util.Set<java.util.Set<OWLClass>>	getConceptSets() If the query resulted in a concept set response type for example a query for super concepts then this method can be used to get the concepts.
java.lang.String	getID() Gets the ID of the query that the reponse corresponds to
java.util.Set<OWLIndividual>	getIndividuals() If the query resulted in an individual set response type then this method may be used to obtain the individuals in the response.
java.util.Set<java.util.Set<OWLObjectProperty>>	getRoleSets() If the query resulted in an object property set response type for example a query for super properties then this method can be used to get the concepts.

Method Detail

getID

java.lang.String getID()

Gets the ID of the query that the reponse corresponds to

getConceptSets

java.util.Set<java.util.Set<OWLClass>> getConceptSets()
                                                      throws DIGReasonerException

If the query resulted in a concept set response type for example a query for super concepts then this method can be used to get the concepts.

Returns:

A Set of OWLClasss

Throws:

DIGReasonerException

getRoleSets

java.util.Set<java.util.Set<OWLObjectProperty>> getRoleSets()
                                                            throws DIGReasonerException

If the query resulted in an object property set response type for example a query for super properties then this method can be used to get the concepts.

Returns:

A Set of OWLObjectPropertys

Throws:

DIGReasonerException

getIndividuals

java.util.Set<OWLIndividual> getIndividuals()
                                            throws DIGReasonerException

If the query resulted in an individual set response type then this method may be used to obtain the individuals in the response.

Returns:

A Set of OWLIndividuals

Throws:

DIGReasonerException

getBoolean

boolean getBoolean()

If the query resultied in a boolean response, for example asking if a concept was satisfiable, then this method may be used to get the boolean result.