Package org.tweetyproject.cli

Class TweetyCli

java.lang.Object
org.tweetyproject.cli.TweetyCli
public class TweetyCli extends Object
This class implements a simple command line interface for accessing the functionalities provided by the TweetyProject libraries.
Author:
Matthias Thimm

  • Field Summary

    Fields
    Modifier and Type
    Field
    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
    Description
    TweetyCli()
     

  • Method Summary

    Modifier and Type
    Method
    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

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

  • Field Details

    • 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 Details

    • TweetyCli

      public TweetyCli()

  • Method Details

    • 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.