com.hp.hpl.jena.reasoner.dig
Interface DIGIdentifier


public interface DIGIdentifier

A structure that presents identification information about the attached DIG reasoner.

Version:
Release @release@ ($Id: DIGIdentifier.java,v 1.4 2004/12/07 09:56:35 andy_seaborne Exp $)
Author:
Ian Dickinson, HP Labs (email)

Method Summary
 String getMessage()
          Answer the message string from the DIG identifier element.
 String getName()
          Answer the name of the attached reasoner, as a string.
 String getVersion()
          Answer the version string of the attached reasoner.
 Iterator supportsAsk()
          Answer an iterator over the ASK verbs that this reasoner supports.
 Iterator supportsLanguage()
          Answer an iterator over the language elements that this reasoner supports.
 Iterator supportsTell()
          Answer an iterator over the TELL verbs that this reasoner supports.
 

Method Detail

getName

String getName()

Answer the name of the attached reasoner, as a string.

Returns:
The name of the DIG reasoner.

getVersion

String getVersion()

Answer the version string of the attached reasoner.

Returns:
The version string for the reasoner.

getMessage

String getMessage()

Answer the message string from the DIG identifier element.

Returns:
The identification message

supportsLanguage

Iterator supportsLanguage()

Answer an iterator over the language elements that this reasoner supports.

Returns:
An iterator, each element of which is a string denoting a DIG language term that the attached reasoner supports.

supportsTell

Iterator supportsTell()

Answer an iterator over the TELL verbs that this reasoner supports.

Returns:
An iterator, each element of which is a string denoting a DIG TELL verb that the attached reasoner supports.

supportsAsk

Iterator supportsAsk()

Answer an iterator over the ASK verbs that this reasoner supports.

Returns:
An iterator, each element of which is a string denoting a DIG ASK verb that the attached reasoner supports.


Copyright © 2000, 2001, 2002, 2003, 2004 Hewlett-Packard Development Company, LP