org.dllearner.reasoning
Class DIGHTTPConnector

java.lang.Object
  org.dllearner.reasoning.DIGHTTPConnector

public class DIGHTTPConnector
extends Object

Methods for sending messages to a DIG-capable reasoner and receiving answers using Apache XML Beans.

Author:

Jens Lehmann

Constructor Summary

DIGHTTPConnector(URL url)

DIGHTTPConnector(URL url, File protocolFile)

Method Summary

org.kr.dl.dig.v1_1.ResponsesDocument	asks(String asks)
String	getIdentifier()
URI	newKB()
boolean	releaseKB(URI kbURI)
org.kr.dl.dig.v1_1.ResponseDocument	tells(String tells)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DIGHTTPConnector

public DIGHTTPConnector(URL url)

DIGHTTPConnector

public DIGHTTPConnector(URL url,
                        File protocolFile)

Method Detail

newKB

public URI newKB()

releaseKB

public boolean releaseKB(URI kbURI)

getIdentifier

public String getIdentifier()
                     throws IOException

Throws:

IOException

tells

public org.kr.dl.dig.v1_1.ResponseDocument tells(String tells)
                                          throws IOException

Throws:

IOException

asks

public org.kr.dl.dig.v1_1.ResponsesDocument asks(String asks)