net.sf.tweety.logics.fol.plugin

Class FirstOrderLogicPlugin

java.lang.Object

net.sf.tweety.plugin.AbstractTweetyPlugin

net.sf.tweety.logics.fol.plugin.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 Summary

Fields

Modifier and Type	Field and Description
private static java.lang.String	FOLOGIC__CALL_PARAMETER
private static java.lang.String	FOLOGIC__QUERY_DESCRIPTION
private static java.lang.String	FOLOGIC__QUERY_IDENTIFIER
private static java.lang.String	FOLOGIC__REASONER_DESCRIPTION
private static java.lang.String	FOLOGIC__REASONER_IDENTIFIER
private static java.lang.String[]	FOLOGIC__REASONER_SOLVERENUM

Fields inherited from class net.sf.tweety.plugin.AbstractTweetyPlugin

parameters

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class net.sf.tweety.plugin.AbstractTweetyPlugin

addParameter, getParameters, validateParameter, validateParameter

Methods inherited from class java.lang.Object

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

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