org.deri.wsml.reasoner.dig
Class LogExprSerializeWSML2DIG

java.lang.Object
  org.deri.wsml.reasoner.dig.LogExprSerializeWSML2DIG

All Implemented Interfaces:

org.omwg.logexpression.io.Serializer

public class LogExprSerializeWSML2DIG
extends java.lang.Object
implements org.omwg.logexpression.io.Serializer

This class serializes formulae within WSML logical expressions

Author:

Livia Predoiu

See Also:

Serializer

Constructor Summary

LogExprSerializeWSML2DIG(org.wsmo.common.TopEntity container)

Method Summary

java.lang.String	getdefs()
java.util.Set	helper()
java.lang.Object	serialize(org.omwg.logexpression.LogicalExpression logExpr)

Methods inherited from class java.lang.Object

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

Constructor Detail

LogExprSerializeWSML2DIG

public LogExprSerializeWSML2DIG(org.wsmo.common.TopEntity container)

Method Detail

serialize

public java.lang.Object serialize(org.omwg.logexpression.LogicalExpression logExpr)

Specified by:

serialize in interface org.omwg.logexpression.io.Serializer

helper

public java.util.Set helper()

getdefs

public java.lang.String getdefs()