edu.stanford.smi.protegex.owl.inference.dig.reasoner
Interface DIGReasoner

All Known Implementing Classes:

DefaultDIGReasoner

public interface DIGReasoner

User: matthewhorridge
The Univeristy Of Manchester
Medical Informatics Group
Date: Jun 14, 2004

matthew.horridge@cs.man.ac.uk
www.cs.man.ac.uk/~horridgm

Field Summary

static String

LOGGER_NAME

Method Summary

void	clearKnowledgeBase(String kbURI) A helper method that clears the knowledge base
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
String	getReasonerURL() Gets the URL of the reasoner.
Document	performRequest(Document request) Sends a request to the reasoner and retrieves the response.
void	releaseKnowledgeBase(String kbURI) A helper method that releases a previously created knowledgebase.
void	setReasonerURL(String url) Sets the URL of the reasoner.

Field Detail

LOGGER_NAME

public static final String LOGGER_NAME

See Also:

Constant Field Values

Method Detail

setReasonerURL

public void setReasonerURL(String url)

Sets the URL of the reasoner.

Parameters:

url - The URL

getReasonerURL

public String getReasonerURL()

Gets the URL of the reasoner.

getIdentity

public 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

public 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

public void releaseKnowledgeBase(String kbURI)
                          throws DIGReasonerException

A helper method that releases a previously created knowledgebase.

Parameters:

kbURI - The URI of the knowledgebase

Throws:

DIGReasonerException

clearKnowledgeBase

public void clearKnowledgeBase(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

public Document performRequest(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