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

All Known Implementing Classes:

HTTPReasonerImpl

public interface HTTPReasoner

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

Method Summary

void	clearKnowledgeBase(java.lang.String kbURI) A helper method that clears the knowledge base
java.lang.String	createKnowledgeBase() A helper method that asks the inference to create a new knowledgebase.
DIGReasonerIdentity	getIdentity() A helper method that gets the identity of the inference
java.lang.String	getReasonerURL() Gets the URL of the reasoner.
org.w3c.dom.Document	performRequest(org.w3c.dom.Document request) Sends a request to the reasoner and retrieves the response.
void	releaseKnowledgeBase(java.lang.String kbURI) A helper method that releases a previously created knowledgebase.
void	setReasonerURL(java.net.URL url) Sets the URL of the reasoner.

Method Detail

setReasonerURL

void setReasonerURL(java.net.URL url)

Sets the URL of the reasoner.

Parameters:

url - The URL

getReasonerURL

java.lang.String getReasonerURL()

Gets the URL of the reasoner.

getIdentity

DIGReasonerIdentity getIdentity()
                                throws DIGReasonerException

A helper method that gets the identity of the inference

Returns:

ADIGReasonerIdentity object that encapsulates the information about the inference.

Throws:

DIGReasonerException

createKnowledgeBase

java.lang.String createKnowledgeBase()
                                     throws DIGReasonerException

A helper method that asks the inference to create a new knowledgebase.

Returns:

A String that represents a URI that is an identifier for the newly created knowledgebase.

Throws:

DIGReasonerException

releaseKnowledgeBase

void releaseKnowledgeBase(java.lang.String kbURI)
                          throws DIGReasonerException

A helper method that releases a previously created knowledgebase.

Parameters:

kbURI - The URI of the knowledgebase

Throws:

DIGReasonerException

clearKnowledgeBase

void clearKnowledgeBase(java.lang.String kbURI)
                        throws DIGReasonerException

A helper method that clears the knowledge base

Parameters:

kbURI - The uri that identifies the knowledge base to be cleared.

Throws:

DIGReasonerException

performRequest

org.w3c.dom.Document performRequest(org.w3c.dom.Document request)
                                    throws DIGReasonerException

Sends a request to the reasoner and retrieves the response.

Parameters:

request - A Document containing the DIG request

Returns:

A Document containing the reponse from the reasoner

Throws:

DIGReasonerException