jtp.ui
Class OWLQueryAnswerer

java.lang.Object
  |
  +--jtp.ui.cmd.Console
        |
        +--jtp.ui.cmd.ReasoningContextConsole
              |
              +--jtp.ui.RDFQueryAnswerer
                    |
                    +--jtp.ui.OWLQueryAnswerer

All Implemented Interfaces:

jtp.ui.cmd.CommandIO

public class OWLQueryAnswerer

extends RDFQueryAnswerer

Nested Class Summary

Nested classes inherited from class jtp.ui.RDFQueryAnswerer

RDFQueryAnswerer.CheckpointLoadKB, RDFQueryAnswerer.CreateCheckpoint, RDFQueryAnswerer.RevertToCheckpoint, RDFQueryAnswerer.StackEdit

Field Summary

Fields inherited from class jtp.ui.cmd.ReasoningContextConsole

answerFormats, checkpoints, ctx, kifParser, parsers

Fields inherited from class jtp.ui.cmd.Console

commands, in, out

Constructor Summary

OWLQueryAnswerer()

OWLQueryAnswerer(OWLReasoningContext rrc)

OWLQueryAnswerer(OWLReasoningContext ctx, Reader rdr, Writer wtr)

OWLQueryAnswerer(Reader rdr, Writer wtr)

Method Summary

static void

main(String[] argv)

Methods inherited from class jtp.ui.RDFQueryAnswerer

setUp

Methods inherited from class jtp.ui.cmd.Console

addCommand, error, error, getOutput, getPrompt, message, promptFor, promptFor, run

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLQueryAnswerer

public OWLQueryAnswerer()
                 throws MalformedURLException,
                        IOException,
                        ReasoningException

OWLQueryAnswerer

public OWLQueryAnswerer(OWLReasoningContext rrc)
                 throws MalformedURLException,
                        IOException,
                        ReasoningException

OWLQueryAnswerer

public OWLQueryAnswerer(Reader rdr,
                        Writer wtr)
                 throws MalformedURLException,
                        IOException,
                        ReasoningException

OWLQueryAnswerer

public OWLQueryAnswerer(OWLReasoningContext ctx,
                        Reader rdr,
                        Writer wtr)
                 throws MalformedURLException,
                        IOException,
                        ReasoningException

Method Detail

main

public static void main(String[] argv)
                 throws Exception

Exception