org.deri.wsml.reasoner.flora
Class LENormalizer

java.lang.Object
  org.deri.wsml.reasoner.flora.LENormalizer

public class LENormalizer
extends java.lang.Object

Author:

jos This class is used to normalize a WSML logical expression for use in Flora2. The normalization performed on the logical expression consists of the elimination of conjunction and implication from the rule head and the elimination of impliesType attribute molecules. Notice that implication in the body is not allowed in WSML.

Method Summary

static LENormalizer	getNormalizer() Returns a singleton normalizer
java.util.Set	normalize(org.omwg.logexpression.LogicalExpression expr) Returns a set of logical expression, normalizing the heads and bodies of the rules and constraints

Methods inherited from class java.lang.Object

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

Method Detail

getNormalizer

public static LENormalizer getNormalizer()

Returns a singleton normalizer

normalize

public java.util.Set normalize(org.omwg.logexpression.LogicalExpression expr)
                        throws ConstructNotSupportedException

Returns a set of logical expression, normalizing the heads and bodies of the rules and constraints

Returns:

set of elements with type LogicalExpression

Throws:

ConstructNotSupportedException