Class TweetyCli


  • public class TweetyCli
    extends java.lang.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 Description
      static java.lang.String ARG__INPUT_FILES
      The argument name for the input file(s)
      static java.lang.String ARG__INPUT_FILES_SHORT
      The argument name for the input file(s) (short)
      static java.lang.String ARG__INPUT_PARSER
      The argument name for the parser(s) used for reading the input file(s)
      static java.lang.String ARG__INPUT_PARSER_SHORT
      The argument name for the parser(s) used for reading the input file(s) (short)
      static java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.String ARG__OPTIONS
      The argument name for advanced options
      static java.lang.String ARG__OPTIONS_SHORT
      The argument name for advanced options (short)
      static java.lang.String ARG__OUTPUT_FILE
      The argument name for the output file
      static java.lang.String ARG__OUTPUT_FILE_SHORT
      The argument name for the output file (short)
      static java.lang.String ARG__OUTPUT_WRITER
      The argument name for the writer used for writing the output file.
      static java.lang.String ARG__OUTPUT_WRITER_SHORT
      The argument name for the writer used for writing the output file (short)
      static java.lang.String ARG__QUERY
      The argument name for a query
      static java.lang.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​(java.lang.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 Detail

      • ARG__INPUT_FILES

        public static final java.lang.String ARG__INPUT_FILES
        The argument name for the input file(s)
        See Also:
        Constant Field Values
      • ARG__INPUT_FILES_SHORT

        public static final java.lang.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 java.lang.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 java.lang.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 java.lang.String ARG__OUTPUT_FILE
        The argument name for the output file
        See Also:
        Constant Field Values
      • ARG__OUTPUT_FILE_SHORT

        public static final java.lang.String ARG__OUTPUT_FILE_SHORT
        The argument name for the output file (short)
        See Also:
        Constant Field Values
      • ARG__OUTPUT_WRITER

        public static final java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.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 java.lang.String ARG__OPTIONS
        The argument name for advanced options
        See Also:
        Constant Field Values
      • ARG__OPTIONS_SHORT

        public static final java.lang.String ARG__OPTIONS_SHORT
        The argument name for advanced options (short)
        See Also:
        Constant Field Values
      • ARG__QUERY

        public static final java.lang.String ARG__QUERY
        The argument name for a query
        See Also:
        Constant Field Values
      • ARG__QUERY_SHORT

        public static final java.lang.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​(java.lang.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.