de.fau.cs.www8.jadeowlcodec
Class Reasoner

java.lang.Object
  org.kr.dl.dig.reasoner.v1_1.impl.TReasoner
      de.fau.cs.www8.jadeowlcodec.Reasoner

All Implemented Interfaces:

org.kr.dl.dig.reasoner.v1_1.Reasoner, org.kr.dl.dig.reasoner.v1_1.TReasoner

public class Reasoner
extends org.kr.dl.dig.reasoner.v1_1.impl.TReasoner

Field Summary

Fields inherited from class org.kr.dl.dig.reasoner.v1_1.impl.TReasoner

ASK_ANCESTORS, ASK_CHILDREN, ASK_DESCENDANTS, ASK_EQUIVALENTS, ASK_NON_BOTTOM_CHILDREN, ASK_NON_BOTTOM_DESCENDANTS, ASK_NON_TOP_ANCESTORS, ASK_NON_TOP_PARENTS, ASK_PARENTS, logger

Fields inherited from interface org.kr.dl.dig.reasoner.v1_1.TReasoner

BOTTOM, TOP

Fields inherited from interface org.kr.dl.dig.reasoner.v1_1.Reasoner

XML_HEADER

Method Summary

org.w3c.dom.Document	doDig(java.lang.String requestBody)
int	executeMethod(org.apache.commons.httpclient.HttpMethod method)
static Reasoner	getInstance(java.lang.String host, int port) factory method
org.apache.commons.httpclient.methods.PostMethod	getPostMethod()
boolean	getSupportsConsistentKB()
org.w3c.dom.Document	uncheckedDig(java.lang.String requestBody)

Methods inherited from class org.kr.dl.dig.reasoner.v1_1.impl.TReasoner

allConceptNames, allRoleNames, ancestorsNames, asks, childrenNames, descendantsNames, equivalentsNames, extractError, getIdentifier, getReasoner, newKB, nonBottomChildrenNames, nonBottomDescendantsNames, nonTopAncestorsNames, nonTopParentsNames, parentsNames, releaseKB, satisfiable, setReasoner, subsumes, tells

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static Reasoner getInstance(java.lang.String host,
                                   int port)

factory method

Parameters:

host -

port -

Returns:

a new instance, or null in case of failure

getPostMethod

public org.apache.commons.httpclient.methods.PostMethod getPostMethod()

getSupportsConsistentKB

public boolean getSupportsConsistentKB()

uncheckedDig

public org.w3c.dom.Document uncheckedDig(java.lang.String requestBody)
                                  throws org.xml.sax.SAXException,
                                         java.io.IOException

Throws:

org.xml.sax.SAXException

java.io.IOException

doDig

public org.w3c.dom.Document doDig(java.lang.String requestBody)

executeMethod

public int executeMethod(org.apache.commons.httpclient.HttpMethod method)