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 Summary

Constructors

Constructor	Description
FirstOrderLogicPlugin()	actually used constructor, initializes start parameters for this plugin
FirstOrderLogicPlugin(String[] args)	non-empty constructor in case of problems concerning jspf

Method Summary

Modifier and Type	Method	Description
String[]	capabilities()	Return String representation of capabilities
PluginOutput	execute(File[] input, CommandParameter[] params)	Executes this plugin with given input files and other aggregated parameters
String	getCommand()	This class returns the parameter used to call this plugin

Methods inherited from class org.tweetyproject.plugin.AbstractTweetyPlugin

addParameter, getParameters, validateParameter, validateParameter

Methods inherited from class java.lang.Object

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

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

Return String representation of 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