Class FirstOrderLogicPlugin

  • All Implemented Interfaces:
    TweetyPlugin, net.xeoh.plugins.base.Plugin

    public class FirstOrderLogicPlugin
    extends AbstractTweetyPlugin
    This class models the plugin for first order logics used in the tweety cli Note: Currently FOL-files MUST BE named after the pattern "*.fologic" Very early state, not finished or debugged yet.
    Author:
    Bastian Wolf
    • Field Detail

      • FOLOGIC__CALL_PARAMETER

        private static final java.lang.String FOLOGIC__CALL_PARAMETER
        See Also:
        Constant Field Values
      • FOLOGIC__REASONER_IDENTIFIER

        private static final java.lang.String FOLOGIC__REASONER_IDENTIFIER
        See Also:
        Constant Field Values
      • FOLOGIC__REASONER_DESCRIPTION

        private static final java.lang.String FOLOGIC__REASONER_DESCRIPTION
        See Also:
        Constant Field Values
      • FOLOGIC__REASONER_SOLVERENUM

        private static final java.lang.String[] FOLOGIC__REASONER_SOLVERENUM
      • FOLOGIC__QUERY_IDENTIFIER

        private static final java.lang.String FOLOGIC__QUERY_IDENTIFIER
        See Also:
        Constant Field Values
      • FOLOGIC__QUERY_DESCRIPTION

        private static final java.lang.String FOLOGIC__QUERY_DESCRIPTION
        See Also:
        Constant Field Values
    • Constructor Detail

      • FirstOrderLogicPlugin

        public FirstOrderLogicPlugin​(java.lang.String[] args)
        non-empty constructor in case of problems concerning jspf
        Parameters:
        args - never observed
      • FirstOrderLogicPlugin

        public FirstOrderLogicPlugin()
        actually used constructor, initializes start parameters for this plugin
    • Method Detail

      • capabilities

        public java.lang.String[] capabilities()
      • getCommand

        public java.lang.String getCommand()
        This class returns the parameter used to call this plugin
        Specified by:
        getCommand in interface TweetyPlugin
        Specified by:
        getCommand in class AbstractTweetyPlugin
        Returns:
        the parameter used to call this plugin
      • execute

        public PluginOutput execute​(java.io.File[] input,
                                    CommandParameter[] params)
        Executes this plugin with given input files and other aggregated parameters
        Specified by:
        execute in interface TweetyPlugin
        Specified by:
        execute in class AbstractTweetyPlugin
        Parameters:
        input - files to be parsed (e.g. knowledge base)
        params - other parameter like queries,
        Returns:
        the output calculated from input files and arguments