Class 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
    • 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}
    • 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_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_SHORT

        public static final String ARG__OPTIONS_SHORT
        The argument name for advanced options (short)
        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.