net.sf.tweety.arg.delp

Class TestQueries

java.lang.Object

net.sf.tweety.arg.delp.TestQueries

public final class TestQueries
extends java.lang.Object

Testing some example KBs with various queries.

Author:

Linda.Briesemeister

Field Summary

Fields

Modifier and Type	Field and Description
private static java.util.logging.Logger	LOGGER
private static DelpReasoner	REASONER

Constructor Summary

Constructors

Constructor and Description
TestQueries()

Method Summary

Modifier and Type	Method and Description
void	birds()
void	counterarguments()
void	dtree()
void	hobbes()
void	moreQuoted()
void	nixon()
private DelpAnswer.Type	query(DefeasibleLogicProgram delp, FolFormula formula)
private DelpAnswer.Type	query(java.lang.String filepath, java.lang.String query)
void	quoted()
void	stocks()

Methods inherited from class java.lang.Object

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

Field Detail

LOGGER

private static final java.util.logging.Logger LOGGER

REASONER

private static DelpReasoner REASONER

Constructor Detail

TestQueries

public TestQueries()

Method Detail

query

private DelpAnswer.Type query(java.lang.String filepath,
                              java.lang.String query)
                       throws java.io.IOException

Throws:

java.io.IOException

query

private DelpAnswer.Type query(DefeasibleLogicProgram delp,
                              FolFormula formula)
                       throws java.io.IOException

Throws:

java.io.IOException

birds

public void birds()
           throws java.io.IOException

Throws:

java.io.IOException

nixon

public void nixon()
           throws java.io.IOException

Throws:

java.io.IOException

stocks

public void stocks()
            throws java.io.IOException

Throws:

java.io.IOException

counterarguments

public void counterarguments()
                      throws java.io.IOException

Throws:

java.io.IOException

hobbes

public void hobbes()
            throws java.io.IOException

Throws:

java.io.IOException

dtree

public void dtree()
           throws java.io.IOException

Throws:

java.io.IOException

quoted

public void quoted()
            throws java.io.IOException

Throws:

java.io.IOException

moreQuoted

public void moreQuoted()
                throws java.io.IOException

Throws:

java.io.IOException