jdrew.oo.td
Class BackwardReasoner

java.lang.Object
  jdrew.oo.td.BackwardReasoner

public class BackwardReasoner
extends java.lang.Object

Based upon the backward reasoner from the original jDREW by Bruce Spencer.

Title: OO jDREW

Description: Reasoning Engine for the Semantic Web - Supporting OO RuleML 0.88

Copyright: Copyright (c) 2005

Version:

0.89

Author:

Marcel A. Ball

Nested Class Summary

class	BackwardReasoner.DepthFirstSolutionIterator Title: OO jDREW
class	BackwardReasoner.Goal Goal - contains an atom (atomic formula) to be solved.
class	BackwardReasoner.GoalList GoalList - contains a list of Goals and is attached to a specific Goal which is called its parent.
class	BackwardReasoner.IterativeDepthFirstSolutionIterator Title: OO jDREW
class	BackwardReasoner.SubGoalListIterator Title: OO jDREW

Field Summary

java.util.Hashtable	clauses
java.util.Hashtable	oids

Constructor Summary

BackwardReasoner()

BackwardReasoner(java.util.Hashtable clauses, java.util.Hashtable oids)

Method Summary

java.util.Iterator	depthFirstSolutionIterator(BackwardReasoner.GoalList goalList)
java.util.Iterator	depthFirstSolutionIterator(DefiniteClause queryClause)
BackwardReasoner.Goal	firstOpenGoal()
java.util.Hashtable	getBuiltins()
java.util.Iterator	iterativeDepthFirstSolutionIterator(BackwardReasoner.GoalList goalList)
java.util.Iterator	iterativeDepthFirstSolutionIterator(BackwardReasoner.GoalList goalList, int max, int by)
java.util.Iterator	iterativeDepthFirstSolutionIterator(DefiniteClause queryClause)
java.util.Iterator	iterativeDepthFirstSolutionIterator(DefiniteClause queryClause, int max, int by)
void	loadClauses(java.util.Iterator it)
void	registerBuiltin(Builtin handler)
void	registerBuiltin(TDBuiltin handler)
void	registerBuiltins()
java.lang.String	toString()
javax.swing.tree.DefaultMutableTreeNode	toTree() Methods to generate a DefaulteMultibleTreeNode representation of the solution tree.

Methods inherited from class java.lang.Object

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

Field Detail

clauses

public java.util.Hashtable clauses

oids

public java.util.Hashtable oids

Constructor Detail

BackwardReasoner

public BackwardReasoner()

BackwardReasoner

public BackwardReasoner(java.util.Hashtable clauses,
                        java.util.Hashtable oids)

Parameters:

clauses - Hashtable

Method Detail

getBuiltins

public java.util.Hashtable getBuiltins()

registerBuiltins

public void registerBuiltins()

registerBuiltin

public void registerBuiltin(Builtin handler)

Parameters:

handler - Builtin

registerBuiltin

public void registerBuiltin(TDBuiltin handler)

Parameters:

handler - TDBuiltin

loadClauses

public void loadClauses(java.util.Iterator it)

Parameters:

it -

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

Returns:

toTree

public javax.swing.tree.DefaultMutableTreeNode toTree()

Methods to generate a DefaulteMultibleTreeNode representation of the solution tree. This can be displayed in a JTree

Returns:

DefaultMutableTreeNode

depthFirstSolutionIterator

public java.util.Iterator depthFirstSolutionIterator(DefiniteClause queryClause)

Parameters:

queryClause -

Returns:

depthFirstSolutionIterator

public java.util.Iterator depthFirstSolutionIterator(BackwardReasoner.GoalList goalList)

Parameters:

goalList -

Returns:

iterativeDepthFirstSolutionIterator

public java.util.Iterator iterativeDepthFirstSolutionIterator(DefiniteClause queryClause,
                                                              int max,
                                                              int by)

Parameters:

queryClause -

max -

by -

Returns:

iterativeDepthFirstSolutionIterator

public java.util.Iterator iterativeDepthFirstSolutionIterator(DefiniteClause queryClause)

Parameters:

queryClause - - the queryClause contains the internal representation of the query to be executed

Returns:

Iterator the Iterator contains all the solutions to the query

iterativeDepthFirstSolutionIterator

public java.util.Iterator iterativeDepthFirstSolutionIterator(BackwardReasoner.GoalList goalList,
                                                              int max,
                                                              int by)

Parameters:

goalList -

max -

by -

Returns:

iterativeDepthFirstSolutionIterator

public java.util.Iterator iterativeDepthFirstSolutionIterator(BackwardReasoner.GoalList goalList)

Parameters:

goalList -

Returns:

firstOpenGoal

public BackwardReasoner.Goal firstOpenGoal()

Returns: