Package org.tweetyproject.logics.fol.plugin

Class FirstOrderLogicPlugin

java.lang.Object
org.tweetyproject.plugin.AbstractTweetyPlugin
org.tweetyproject.logics.fol.plugin.FirstOrderLogicPlugin
All Implemented Interfaces:
net.xeoh.plugins.base.Plugin, TweetyPlugin
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

  • Constructor Details

    • FirstOrderLogicPlugin

      public FirstOrderLogicPlugin(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 Details

    • capabilities

      public String[] capabilities()
      Returns:
      String representation of capabilities

    • getCommand

      public 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(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