org.kr.dl.dig.reasoner.v1_1
Interface Reasoner

All Known Subinterfaces:

TReasoner

All Known Implementing Classes:

FaCTPlusPlusReasoner, HTTPReasoner, TReasoner

public interface Reasoner

DIG 1.1 reasoner interface

Version:

$Id: Reasoner.java,v 1.1 2004/04/22 15:50:56 dturi Exp $

Author:

dturi

Field Summary

static String

XML_HEADER

Method Summary

ResponsesDocument	asks(AsksDocument asks) Returns the ResponsesDocument corresponding to the asks.
IdentifierDocument	getIdentifier() Returns the IdentifierDocument corresponding to the getIdentifier request.
URI	newKB() Obtains the URI for a new knowledge base from the reasoner.
boolean	releaseKB(URI kb) Instructs the reasoner to release the knowledge base kb.
ResponseDocument	tells(TellsDocument tells) Returns the ResponseDocument corresponding to the tells.

Field Detail

XML_HEADER

public static final String XML_HEADER

See Also:

Constant Field Values

Method Detail

tells

public ResponseDocument tells(TellsDocument tells)
                       throws ReasonerException

Returns the ResponseDocument corresponding to the tells.

Parameters:

tells - a TellsDocument.

Returns:

the ResponseDocument corresponding to the tells.

Throws:

ReasonerException - with code:

• 602 if the reasoner response does not parse or, if logger is finest, validate;
• 104 if an IOException occurs;

asks

public ResponsesDocument asks(AsksDocument asks)
                       throws ReasonerException

Returns the ResponsesDocument corresponding to the asks.

Parameters:

asks - an AsksDocument.

Returns:

the ResponsesDocument corresponding to the asks.

Throws:

ReasonerException - with code:

• 602 if the reasoner response does not parse or, if logger is finest, validate;
• 104 if an IOException occurs;

getIdentifier

public IdentifierDocument getIdentifier()
                                 throws ReasonerException

Returns the IdentifierDocument corresponding to the getIdentifier request.

Returns:

the IdentifierDocument corresponding to the getIdentifier request.

Throws:

ReasonerException - with code:

• 602 if the reasoner response does not parse or, if logger is finest, validate;
• 104 if an IOException occurs;

newKB

public URI newKB()
          throws ReasonerException

Obtains the URI for a new knowledge base from the reasoner.

Returns:

the URI for a new knowledge base from the reasoner.

Throws:

ReasonerException - with code:

• 602 if the reasoner responses do not parse or, if logger is finest, validate;
• 104 if an IOException occurs;
• 202 if the reasoner returns a malformed URI.

releaseKB

public boolean releaseKB(URI kb)
                  throws ReasonerException

Instructs the reasoner to release the knowledge base kb.

Parameters:

kb - the URI of a knowledge base.

Returns:

true if the operation succeeds.

Throws:

ReasonerException - with code:

• 602 if the reasoner response does not parse or, if logger is finest, validate;
• 104 if an IOException occurs;