Uses of Class
org.kr.dl.dig.reasoner.ReasonerException

Packages that use ReasonerException

org.kr.dl.dig.reasoner.v1_1	DIG 1.1 reasoner interfaces.
org.kr.dl.dig.reasoner.v1_1.impl	Implementations of the DIG 1.1 reasoner interfaces.

Uses of ReasonerException in org.kr.dl.dig.reasoner.v1_1

Methods in org.kr.dl.dig.reasoner.v1_1 that throw ReasonerException

Set	TReasoner.allConceptNames(URI kbURI) Returns the Set of Strings corresponding to names of all concepts in the knowledge base kbURI.
boolean	TReasoner.satisfiable(Concept concept, URI kbURI) Returns true if concept is satisfiable.
boolean	TReasoner.subsumes(Concept subsumer, Concept subsumee, URI kbURI) Returns true if subsumer subsumes subsumee.
Set	TReasoner.childrenNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept children of concept.
Set	TReasoner.descendantsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept descendants of concept.
Set	TReasoner.parentsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept parents of concept.
Set	TReasoner.ancestorsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept ancestors of concept.
Set	TReasoner.equivalentsNames(Concept concept, URI kbURI) Returns the Set of Strings corresponding to names of concept descendants of concept.
ResponseDocument	Reasoner.tells(TellsDocument tells) Returns the ResponseDocument corresponding to the tells.
ResponsesDocument	Reasoner.asks(AsksDocument asks) Returns the ResponsesDocument corresponding to the asks.
IdentifierDocument	Reasoner.getIdentifier() Returns the IdentifierDocument corresponding to the getIdentifier request.
URI	Reasoner.newKB() Obtains the URI for a new knowledge base from the reasoner.
boolean	Reasoner.releaseKB(URI kb) Instructs the reasoner to release the knowledge base kb.

Uses of ReasonerException in org.kr.dl.dig.reasoner.v1_1.impl

Methods in org.kr.dl.dig.reasoner.v1_1.impl that throw ReasonerException

URI	FaCTPlusPlusReasoner.newKB() Obtains the URI for a new knowledge base from the reasoner.
boolean	FaCTPlusPlusReasoner.releaseKB(URI kb) Instructs the reasoner to release the knowledge base kb.
IdentifierDocument	FaCTPlusPlusReasoner.getIdentifier() Returns the IdentifierDocument corresponding to the getIdentifier request.
IdentifierDocument	FaCTPlusPlusReasoner.parseIdentifier(String result)
ResponseDocument	FaCTPlusPlusReasoner.tells(TellsDocument tells) Returns the ResponseDocument corresponding to the tells.
ResponsesDocument	FaCTPlusPlusReasoner.asks(AsksDocument asks) Returns the ResponsesDocument corresponding to the asks.
ResponseDocument	FaCTPlusPlusReasoner.parseResponse(String responseString) Parses the reasoner responseString into a ResponseDocument.
ResponsesDocument	FaCTPlusPlusReasoner.parseResponses(String responsesString) Parses the reasoner responsesString into a ResponsesDocument.
Set	TReasoner.allConceptNames(URI kbURI) Returns the Set of String s corresponding to names of all concepts in the knowledge base kbURI.
boolean	TReasoner.satisfiable(Concept concept, URI kbURI) Returns true if concept is satisfiable.
boolean	TReasoner.subsumes(Concept subsumer, Concept subsumee, URI kbURI) Returns true if subsumer subsumes subsumee.
static void	TReasoner.extractError(ResponseType responses) Throws a ReasonerExceptionusing the first error in responses if it exists, or simply "Unknown error in ask" with code 400.
Set	TReasoner.childrenNames(Concept concept, URI kbURI) Returns the Set of String s corresponding to names of concept children of concept.
Set	TReasoner.descendantsNames(Concept concept, URI kbURI) Returns the Set of String s corresponding to names of concept descendants of concept.
Set	TReasoner.parentsNames(Concept concept, URI kbURI) Returns the Set of String s corresponding to names of concept parents of concept.
Set	TReasoner.ancestorsNames(Concept concept, URI kbURI) Returns the Set of String s corresponding to names of concept ancestors of concept.
Set	TReasoner.equivalentsNames(Concept concept, URI kbURI) Returns the Set of String s corresponding to names of concept descendants of concept.
ResponseDocument	TReasoner.tells(TellsDocument tells) Delegates to wrapped Reasoner.
ResponsesDocument	TReasoner.asks(AsksDocument asks) Delegates to wrapped Reasoner.
IdentifierDocument	TReasoner.getIdentifier() Delegates to wrapped Reasoner.
URI	TReasoner.newKB() Delegates to wrapped Reasoner.
boolean	TReasoner.releaseKB(URI kb) Delegates to wrapped Reasoner.
IdentifierDocument	HTTPReasoner.getIdentifier() Returns the IdentifierDocument corresponding to the getIdentifier request.
ResponseDocument	HTTPReasoner.tells(TellsDocument tells) Returns the ResponseDocument corresponding to the tells.
ResponsesDocument	HTTPReasoner.asks(AsksDocument asks) Returns the ResponsesDocument corresponding to the asks.
ResponseDocument	HTTPReasoner.parseResponse(URLConnection connection) Parses the reasoner response at connection into a ResponseDocument.
ResponsesDocument	HTTPReasoner.parseResponses(URLConnection connection) Parses the reasoner responses at connection into a ResponsesDocument.
URI	HTTPReasoner.newKB() Obtains the URI for a new knowledge base from the reasoner.
boolean	HTTPReasoner.releaseKB(URI kb) Instructs the reasoner to release the knowledge base kb.

Constructors in org.kr.dl.dig.reasoner.v1_1.impl that throw ReasonerException

FaCTPlusPlusReasoner()

HTTPReasoner(URL url)
Creates a new client, talking to the DL reasoner at url.