net.sf.tweety.cli

Class TweetyCli

java.lang.Object

net.sf.tweety.cli.TweetyCli

public class TweetyCli
extends Object

This class implements a simple command line interface for accessing the functionalities provided by the Tweety libraries.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
static String	ARG__INPUT_FILES The argument name for the input file(s)
static String	ARG__INPUT_FILES_SHORT The argument name for the input file(s) (short)
static String	ARG__INPUT_PARSER The argument name for the parser(s) used for reading the input file(s)
static String	ARG__INPUT_PARSER_SHORT The argument name for the parser(s) used for reading the input file(s) (short)
static String	ARG__LOG_FILE The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)
static String	ARG__LOG_FILE_SHORT The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)
static String	ARG__LOG_LEVEL The argument name for the log level (The possible values are described by TweetyConfiguration.LogLevel, default is TweetyConfiguration.LogLevel.INFO)
static String	ARG__LOG_LEVEL_SHORT The argument name for the log level (The possible values are described by TweetyConfiguration.LogLevel, default is TweetyConfiguration.LogLevel.INFO) (short)
static String	ARG__OPTIONS The argument name for advanced options
static String	ARG__OPTIONS_SHORT The argument name for advanced options (short)
static String	ARG__OUTPUT_FILE The argument name for the output file
static String	ARG__OUTPUT_FILE_SHORT The argument name for the output file (short)
static String	ARG__OUTPUT_WRITER The argument name for the writer used for writing the output file.
static String	ARG__OUTPUT_WRITER_SHORT The argument name for the writer used for writing the output file (short)
static String	ARG__QUERY The argument name for a query
static String	ARG__QUERY_SHORT The argument name for a query

Constructor Summary

Constructors

Constructor and Description
TweetyCli()

Method Summary

Modifier and Type

Method and Description

static void

main(String[] args) Program entry. Current program call: - java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z] * - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}

Methods inherited from class java.lang.Object

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

Field Detail

ARG__INPUT_FILES

public static final String ARG__INPUT_FILES

The argument name for the input file(s)

See Also:

Constant Field Values

ARG__INPUT_FILES_SHORT

public static final String ARG__INPUT_FILES_SHORT

The argument name for the input file(s) (short)

See Also:

Constant Field Values

ARG__INPUT_PARSER

public static final String ARG__INPUT_PARSER

The argument name for the parser(s) used for reading the input file(s)

See Also:

Constant Field Values

ARG__INPUT_PARSER_SHORT

public static final String ARG__INPUT_PARSER_SHORT

The argument name for the parser(s) used for reading the input file(s) (short)

See Also:

Constant Field Values

ARG__OUTPUT_FILE

public static final String ARG__OUTPUT_FILE

The argument name for the output file

See Also:

Constant Field Values

ARG__OUTPUT_FILE_SHORT

public static final String ARG__OUTPUT_FILE_SHORT

The argument name for the output file (short)

See Also:

Constant Field Values

ARG__OUTPUT_WRITER

public static final String ARG__OUTPUT_WRITER

The argument name for the writer used for writing the output file.

See Also:

Constant Field Values

ARG__OUTPUT_WRITER_SHORT

public static final String ARG__OUTPUT_WRITER_SHORT

The argument name for the writer used for writing the output file (short)

See Also:

Constant Field Values

ARG__LOG_LEVEL

public static final String ARG__LOG_LEVEL

The argument name for the log level (The possible values are described by TweetyConfiguration.LogLevel, default is TweetyConfiguration.LogLevel.INFO)

See Also:

Constant Field Values

ARG__LOG_LEVEL_SHORT

public static final String ARG__LOG_LEVEL_SHORT

The argument name for the log level (The possible values are described by TweetyConfiguration.LogLevel, default is TweetyConfiguration.LogLevel.INFO) (short)

See Also:

Constant Field Values

ARG__LOG_FILE

public static final String ARG__LOG_FILE

The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output)

See Also:

Constant Field Values

ARG__LOG_FILE_SHORT

public static final String ARG__LOG_FILE_SHORT

The argument name for the file used for logging (if this parameter is not set, logging is performed on the standard output) (short)

See Also:

Constant Field Values

ARG__OPTIONS

public static final String ARG__OPTIONS

The argument name for advanced options

See Also:

Constant Field Values

ARG__OPTIONS_SHORT

public static final String ARG__OPTIONS_SHORT

The argument name for advanced options (short)

See Also:

Constant Field Values

ARG__QUERY

public static final String ARG__QUERY

The argument name for a query

See Also:

Constant Field Values

ARG__QUERY_SHORT

public static final String ARG__QUERY_SHORT

The argument name for a query

See Also:

Constant Field Values

Constructor Detail

TweetyCli

public TweetyCli()

Method Detail

main

public static void main(String[] args)

Program entry.

Current program call:
- java -jar TweetyCLI.jar --input RPCLKBFILE --parser rpclme --output RPCLPROBFILE --writer X --options [rpcl.semantics=Y,rpcl.inference=Z]
* - java -jar TweetyCLI.jar --input RPCLKBFILE RPCLPROBFILE --parser rpclme X --query=SOMEQUERY --options [rpcl.semantics=Y,rpcl.inference=Z] with X\in{rpclmeProb, rpclmeCondProb}, Y\in {averaging,aggregating}, Z\in{standard,lifted}

Parameters:

args - command line arguments.