org.semanticweb.glp
Class GLPLloydToporTransform

java.lang.Object
  org.semanticweb.glp.GLPLloydToporTransform

public class GLPLloydToporTransform

extends java.lang.Object

Title: Triple

Description: RDF Query and Inference Language

Copyright: Copyright (c) 2001

Company: Stanford University

Version:

1.0

Author:

Stefan Decker

Constructor Summary

GLPLloydToporTransform()

Method Summary

java.util.ArrayList	generateRuleHead(GLogicFormula head) Description of the Method
void	generateRuleHead(GLogicFormula head, java.util.ArrayList ruleHead) Description of the Method
static void	main(java.lang.String[] argv) The main program for the GLPLloydToporTransform class
java.util.ArrayList	translateFormula(GLPRule rule) Description of the Method
void	translateFormula(GLPRule rule, java.util.ArrayList rules) Description of the Method

Methods inherited from class java.lang.Object

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

Constructor Detail

GLPLloydToporTransform

public GLPLloydToporTransform()

Method Detail

generateRuleHead

public void generateRuleHead(GLogicFormula head,
                             java.util.ArrayList ruleHead)
                      throws java.lang.Exception

Description of the Method

Parameters:

ruleHead - Description of the Parameter

head - Description of the Parameter

Throws:

java.lang.Exception - Description of the Exception

generateRuleHead

public java.util.ArrayList generateRuleHead(GLogicFormula head)

Description of the Method

Parameters:

head - Description of the Parameter

Returns:

Description of the Return Value

translateFormula

public java.util.ArrayList translateFormula(GLPRule rule)

Description of the Method

Parameters:

rule - Description of the Parameter

Returns:

Description of the Return Value

translateFormula

public void translateFormula(GLPRule rule,
                             java.util.ArrayList rules)

Description of the Method

Parameters:

rule - Description of the Parameter

rules - Description of the Parameter

main

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

The main program for the GLPLloydToporTransform class

Parameters:

argv - The command line arguments