jtp.ui
Class DamlQueryAnswerer

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

All Implemented Interfaces:

jtp.ui.cmd.CommandIO

public class DamlQueryAnswerer

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

DamlQueryAnswerer()

DamlQueryAnswerer(Reader rdr, Writer wtr)

DamlQueryAnswerer(TemporalReasoningContext rrc)

DamlQueryAnswerer(TemporalReasoningContext ctx, 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

DamlQueryAnswerer

public DamlQueryAnswerer()
                  throws MalformedURLException,
                         IOException,
                         ReasoningException

DamlQueryAnswerer

public DamlQueryAnswerer(TemporalReasoningContext rrc)
                  throws MalformedURLException,
                         IOException,
                         ReasoningException

DamlQueryAnswerer

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

DamlQueryAnswerer

public DamlQueryAnswerer(TemporalReasoningContext ctx,
                         Reader rdr,
                         Writer wtr)
                  throws MalformedURLException,
                         IOException,
                         ReasoningException

Method Detail

main

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

Exception