uk.ac.manchester.cs.owl.inference.dig11
Class DIGReasonerIdentity

java.lang.Object
  uk.ac.manchester.cs.owl.inference.dig11.DIGReasonerIdentity

public class DIGReasonerIdentity
extends java.lang.Object

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

Constructor Summary

DIGReasonerIdentity()

Method Summary

java.lang.String	getMessage() Gets the inference message.
java.lang.String	getName() Gets the name of the inference.
java.util.Collection	getSupportedAskElements() Gets a Collection that holds the supported ask elements.
java.util.Collection	getSupportedLanguageElements() Gets a Collection that holds the supported langauge elements.
java.util.Collection	getSupportedTellElements() Gets a Collection that holds the supported tell elements.
java.lang.String	getVersion() Gets the version of a reaonser.
void	parseIdentityDescrtiption(org.w3c.dom.Document doc) Parses the DIG identity response and fills this object with the inference identity information
boolean	supportsAskElement(java.lang.String constructName) Determines if the specified ask element is supported by the inference.
boolean	supportsLanguageElement(java.lang.String constructName) Determines if the specified language element is supported by the inference.
boolean	supportsTellElemement(java.lang.String constructName) Determines if the specified tell element is supported by the inference.

Methods inherited from class java.lang.Object

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

Constructor Detail

DIGReasonerIdentity

public DIGReasonerIdentity()

Method Detail

parseIdentityDescrtiption

public void parseIdentityDescrtiption(org.w3c.dom.Document doc)

Parses the DIG identity response and fills this object with the inference identity information

getName

public java.lang.String getName()

Gets the name of the inference.

getVersion

public java.lang.String getVersion()

Gets the version of a reaonser. The version is a String of the form num.num.num e.g. 1.7.12

getMessage

public java.lang.String getMessage()

Gets the inference message. e.g. "Racer is running on localhost:8080"

getSupportedLanguageElements

public java.util.Collection getSupportedLanguageElements()

Gets a Collection that holds the supported langauge elements.

Returns:

A Collection of Strings that describe the language elements supported by the inference. These language elements are contained in DIGVocabulary.Language

getSupportedTellElements

public java.util.Collection getSupportedTellElements()

Gets a Collection that holds the supported tell elements.

Returns:

A Collection of Strings that describe the tell elements supported by the inference. These tell elements are contained in DIGVocabulary.Tell

getSupportedAskElements

public java.util.Collection getSupportedAskElements()

Gets a Collection that holds the supported ask elements.

Returns:

A Collection of Strings that describe the ask elements supported by the inference. These ask elements are contained in DIGVocabulary.Ask

supportsLanguageElement

public boolean supportsLanguageElement(java.lang.String constructName)

Determines if the specified language element is supported by the inference.

Parameters:

constructName - The name of the language element (see DIGVocabulary.Language)

Returns:

true if supported, false if not supported.

supportsTellElemement

public boolean supportsTellElemement(java.lang.String constructName)

Determines if the specified tell element is supported by the inference.

Parameters:

constructName - The name of the tell element (see DIGVocabulary.Tell)

Returns:

true if supported, false if not supported.

supportsAskElement

public boolean supportsAskElement(java.lang.String constructName)

Determines if the specified ask element is supported by the inference.

Parameters:

constructName - The name of the ask element (see DIGVocabulary.Ask)

Returns:

true if supported, false if not supported.