org.deri.wsml.reasoner.flora.util
Class FloraConstantTransformer

java.lang.Object
  org.deri.wsml.reasoner.flora.util.FloraConstantTransformer

public class FloraConstantTransformer
extends java.lang.Object

Transforms IRIs which correspond to built-in symbols to the built-in symbols for serialization

Author:

Reto, Jos

Method Summary

java.lang.String	findIri(java.lang.String notation)
java.lang.String	findNotation(java.lang.String iri)
static FloraConstantTransformer	getInstance()
boolean	isBuiltIn(java.lang.String iri)
boolean	isFSymbol(java.lang.String iri)
boolean	isInfix(java.lang.String iri)

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static FloraConstantTransformer getInstance()

findIri

public java.lang.String findIri(java.lang.String notation)

findNotation

public java.lang.String findNotation(java.lang.String iri)

isInfix

public boolean isInfix(java.lang.String iri)

isBuiltIn

public boolean isBuiltIn(java.lang.String iri)

isFSymbol

public boolean isFSymbol(java.lang.String iri)