org.semanticweb.ruqar.transformations

Class RulesIntoGoalDrivenRules

java.lang.Object

org.semanticweb.ruqar.transformations.RulesIntoGoalDrivenRules

public class RulesIntoGoalDrivenRules
extends java.lang.Object

Class supports transformation from a set of s into Goal Driven Rules (another kind of s).

Field Summary

Fields

Modifier and Type	Field and Description
static java.lang.String	RuQAR_Rule_Fired

Constructor Summary

Constructors

Constructor and Description
RulesIntoGoalDrivenRules(java.util.List<Rule> rules) Input rules have to be Horn clauses - only one atom in the head!

Method Summary

Methods

Modifier and Type	Method and Description
java.util.List<Rule>	getGoalDrivenRules() Gets transformed rules as a set of goal-driven rules.
java.util.List<Rule>	getGoalDrivenRules(Rule rule) Gets transformed rules as a set of goal-drive rules - these rules come from the transformation of a given rule.
static void	main(java.lang.String[] args) TEST - DELETE OR COMMENT

Methods inherited from class java.lang.Object

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

Field Detail

RuQAR_Rule_Fired

public static java.lang.String RuQAR_Rule_Fired

Constructor Detail

RulesIntoGoalDrivenRules

public RulesIntoGoalDrivenRules(java.util.List<Rule> rules)

Input rules have to be Horn clauses - only one atom in the head!

Parameters:

rules -

Method Detail

getGoalDrivenRules

public java.util.List<Rule> getGoalDrivenRules()

Gets transformed rules as a set of goal-driven rules.

Returns:

getGoalDrivenRules

public java.util.List<Rule> getGoalDrivenRules(Rule rule)

Gets transformed rules as a set of goal-drive rules - these rules come from the transformation of a given rule. Rules that were used in the constructor of RulesIntoGoalDrivenRules are not taken into account.

Parameters:

rule -

Returns:

main

public static void main(java.lang.String[] args)

TEST - DELETE OR COMMENT

Parameters:

args -