uk.ac.manchester.cs.jfact.kernel

Class ExpressionTranslator

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ExpressionTranslator

All Implemented Interfaces:

Serializable, DLExpressionVisitorEx<DLTree>

@PortedFrom(file="tExpressionTranslator.h",
            name="TExpressionTranslator")
public class ExpressionTranslator
extends Object
implements DLExpressionVisitorEx<DLTree>, Serializable

expression translator

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
ExpressionTranslator(TBox kb)

Method Summary

Modifier and Type	Method and Description
void	setSignature(org.semanticweb.owlapitools.decomposition.Signature s) set internal signature to a given signature S
DLTree	visit(ConceptAnd expr)
DLTree	visit(ConceptBottom expr)
DLTree	visit(ConceptDataExactCardinality expr)
DLTree	visit(ConceptDataExists expr)
DLTree	visit(ConceptDataForall expr)
DLTree	visit(ConceptDataMaxCardinality expr)
DLTree	visit(ConceptDataMinCardinality expr)
DLTree	visit(ConceptDataValue expr)
DLTree	visit(ConceptName expr)
DLTree	visit(ConceptNot expr)
DLTree	visit(ConceptObjectExactCardinality expr)
DLTree	visit(ConceptObjectExists expr)
DLTree	visit(ConceptObjectForall expr)
DLTree	visit(ConceptObjectMaxCardinality expr)
DLTree	visit(ConceptObjectMinCardinality expr)
DLTree	visit(ConceptObjectSelf expr)
DLTree	visit(ConceptObjectValue expr)
DLTree	visit(ConceptOneOf<?> expr)
DLTree	visit(ConceptOr expr)
DLTree	visit(ConceptTop expr)
DLTree	visit(DataAnd expr)
DLTree	visit(DataBottom expr)
DLTree	visit(DataNot expr)
DLTree	visit(DataOneOf expr)
DLTree	visit(DataOr expr)
DLTree	visit(DataRoleBottom expr)
DLTree	visit(DataRoleName expr)
DLTree	visit(DataRoleTop expr)
DLTree	visit(DataTop expr)
DLTree	visit(Datatype<?> expr)
DLTree	visit(DatatypeExpression<?> expr)
DLTree	visit(IndividualName expr)
DLTree	visit(Literal<?> expr)
DLTree	visit(ObjectRoleBottom expr)
DLTree	visit(ObjectRoleChain expr)
DLTree	visit(ObjectRoleInverse expr)
DLTree	visit(ObjectRoleName expr)
DLTree	visit(ObjectRoleProjectionFrom expr)
DLTree	visit(ObjectRoleProjectionInto expr)
DLTree	visit(ObjectRoleTop expr)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExpressionTranslator

public ExpressionTranslator(TBox kb)

Parameters:

kb - kb

Method Detail

setSignature

@PortedFrom(file="tExpressionTranslator.h",
            name="setSignature")
public void setSignature(org.semanticweb.owlapitools.decomposition.Signature s)

set internal signature to a given signature S

Parameters:

s - signature

visit

public DLTree visit(ConceptTop expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptTop to visit

Returns:

visitor value

visit

public DLTree visit(ConceptBottom expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptBottom to visit

Returns:

visitor value

visit

public DLTree visit(ConceptName expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptName to visit

Returns:

visitor value

visit

public DLTree visit(ConceptNot expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptNot to visit

Returns:

visitor value

visit

public DLTree visit(ConceptAnd expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptAnd to visit

Returns:

visitor value

visit

public DLTree visit(ConceptOr expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptOr to visit

Returns:

visitor value

visit

public DLTree visit(ConceptOneOf<?> expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptOneOf to visit

Returns:

visitor value

visit

public DLTree visit(ConceptObjectSelf expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptObjectSelf to visit

Returns:

visitor value

visit

public DLTree visit(ConceptObjectValue expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptObjectValue to visit

Returns:

visitor value

visit

public DLTree visit(ConceptObjectExists expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptObjectExists to visit

Returns:

visitor value

visit

public DLTree visit(ConceptObjectForall expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptObjectForall to visit

Returns:

visitor value

visit

public DLTree visit(ConceptObjectMinCardinality expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptObjectMinCardinality to visit

Returns:

visitor value

visit

public DLTree visit(ConceptObjectMaxCardinality expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptObjectMaxCardinality to visit

Returns:

visitor value

visit

public DLTree visit(ConceptObjectExactCardinality expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptObjectExactCardinality to visit

Returns:

visitor value

visit

public DLTree visit(ConceptDataValue expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptDataValue to visit

Returns:

visitor value

visit

public DLTree visit(ConceptDataExists expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptDataExists to visit

Returns:

visitor value

visit

public DLTree visit(ConceptDataForall expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptDataForall to visit

Returns:

visitor value

visit

public DLTree visit(ConceptDataMinCardinality expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptDataMinCardinality to visit

Returns:

visitor value

visit

public DLTree visit(ConceptDataMaxCardinality expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptDataMaxCardinality to visit

Returns:

visitor value

visit

public DLTree visit(ConceptDataExactCardinality expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ConceptDataExactCardinality to visit

Returns:

visitor value

visit

public DLTree visit(IndividualName expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - IndividualName to visit

Returns:

visitor value

visit

public DLTree visit(ObjectRoleTop expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ObjectRoleTop to visit

Returns:

visitor value

visit

public DLTree visit(ObjectRoleBottom expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ObjectRoleBottom to visit

Returns:

visitor value

visit

public DLTree visit(ObjectRoleName expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ObjectRoleName to visit

Returns:

visitor value

visit

public DLTree visit(ObjectRoleInverse expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ObjectRoleInverse to visit

Returns:

visitor value

visit

public DLTree visit(ObjectRoleChain expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ObjectRoleChain to visit

Returns:

visitor value

visit

public DLTree visit(ObjectRoleProjectionFrom expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ObjectRoleProjectionFrom to visit

Returns:

visitor value

visit

public DLTree visit(ObjectRoleProjectionInto expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - ObjectRoleProjectionInto to visit

Returns:

visitor value

visit

public DLTree visit(DataRoleTop expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataRoleTop to visit

Returns:

visitor value

visit

public DLTree visit(DataRoleBottom expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataRoleBottom to visit

Returns:

visitor value

visit

public DLTree visit(DataRoleName expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataRoleName to visit

Returns:

visitor value

visit

public DLTree visit(DataTop expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataTop to visit

Returns:

visitor value

visit

public DLTree visit(DataBottom expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataBottom to visit

Returns:

visitor value

visit

public DLTree visit(Datatype<?> expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - Datatype to visit

Returns:

visitor value

visit

public DLTree visit(DatatypeExpression<?> expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DatatypeExpression to visit

Returns:

visitor value

visit

public DLTree visit(Literal<?> expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - Literal to visit

Returns:

visitor value

visit

public DLTree visit(DataNot expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataNot to visit

Returns:

visitor value

visit

public DLTree visit(DataAnd expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataAnd to visit

Returns:

visitor value

visit

public DLTree visit(DataOr expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataOr to visit

Returns:

visitor value

visit

public DLTree visit(DataOneOf expr)

Specified by:

visit in interface DLExpressionVisitorEx<DLTree>

Parameters:

expr - DataOneOf to visit

Returns:

visitor value