uk.ac.manchester.cs.jfact.kernel.dl.interfaces

Interface Expression

All Superinterfaces:

Entity, org.semanticweb.owlapi.model.HasIRI, Serializable

All Known Subinterfaces:

ConceptDataCardinalityExpression, ConceptDataRoleExpression, ConceptDataRVExpression, ConceptExpression, ConceptObjectCardinalityExpression, ConceptObjectRCExpression, ConceptObjectRoleExpression, DataExpression, DataRoleExpression, Datatype<R>, DatatypeExpression<R>, IndividualExpression, Literal<T>, NumericDatatype<R>, NumericLiteral<R>, ObjectRoleComplexExpression, ObjectRoleExpression, RoleExpression

All Known Implementing Classes:

AbstractConceptDataCardinality, AbstractDatatype, ConceptAnd, ConceptBottom, ConceptDataExactCardinality, ConceptDataExists, ConceptDataForall, ConceptDataMaxCardinality, ConceptDataMinCardinality, ConceptDataValue, ConceptName, ConceptNot, ConceptObjectExactCardinality, ConceptObjectExists, ConceptObjectForall, ConceptObjectMaxCardinality, ConceptObjectMinCardinality, ConceptObjectSelf, ConceptObjectValue, ConceptOneOf, ConceptOr, ConceptTop, DataAnd, DataBottom, DataNot, DataOneOf, DataOr, DataRoleBottom, DataRoleName, DataRoleTop, DataTop, DatatypeEnumeration, DatatypeNegation, DatatypeNumericEnumeration, IndividualName, NumericLiteralImpl, ObjectRoleBottom, ObjectRoleChain, ObjectRoleInverse, ObjectRoleName, ObjectRoleProjectionFrom, ObjectRoleProjectionInto, ObjectRoleTop

@PortedFrom(file="tNAryQueue.h",
            name="Expression")
public interface Expression
extends Entity

expression

Method Summary

Modifier and Type	Method and Description
default void	accept(DLExpressionVisitor visitor) accept method for the visitor pattern
default <O> O	accept(DLExpressionVisitorEx<O> visitor)
default org.semanticweb.owlapi.model.IRI	getIRI()

Method Detail

getIRI

default org.semanticweb.owlapi.model.IRI getIRI()

Specified by:

getIRI in interface org.semanticweb.owlapi.model.HasIRI

accept

@PortedFrom(file="tDLExpression.h",
            name="accept")
default void accept(DLExpressionVisitor visitor)

accept method for the visitor pattern

Parameters:

visitor - visitor

accept

@PortedFrom(file="tDLExpression.h",
            name="accept")
default <O> O accept(DLExpressionVisitorEx<O> visitor)

Type Parameters:

O - visitor type

Parameters:

visitor - visitor

Returns:

visitor value