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

Class AxiomDRoleRange

java.lang.Object

org.semanticweb.owlapitools.decomposition.AxiomWrapper

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomImpl

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomDRoleRange

All Implemented Interfaces:

Serializable

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomDRoleRange")
public class AxiomDRoleRange
extends AxiomSingleDRole

data role range

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomDRoleRange(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression role, DataExpression range)

Method Summary

Modifier and Type	Method and Description
void	accept(DLAxiomVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLAxiomVisitorEx<O> visitor)
DataExpression	getRange()
Stream<Expression>	namedEntitySignature()

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.dl.axioms.AxiomSingleDRole

getRole

Methods inherited from class org.semanticweb.owlapitools.decomposition.AxiomWrapper

getAtom, getAxiom, getId, isInModule, isInSearchSpace, isUsed, setAtom, setId, setInModule, setInSearchSpace, setUsed, signature

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomDRoleRange

@PortedFrom(file="tDLAxiom.h",
            name="Range")
public AxiomDRoleRange(org.semanticweb.owlapi.model.OWLAxiom ax,
                                                                                DataRoleExpression role,
                                                                                DataExpression range)

Parameters:

ax - ax

role - role

range - range

Method Detail

namedEntitySignature

public Stream<Expression> namedEntitySignature()

Overrides:

namedEntitySignature in class AxiomSingleDRole

Returns:

named entities included in this axiom

accept

@PortedFrom(file="tDLAxiom.h",
            name="accept")
public void accept(DLAxiomVisitor visitor)

Description copied from class: AxiomImpl

accept method for the visitor pattern

Specified by:

accept in class AxiomImpl

Parameters:

visitor - visitor

accept

@Nullable
 @PortedFrom(file="tDLAxiom.h",
            name="accept")
public <O> O accept(DLAxiomVisitorEx<O> visitor)

Specified by:

accept in class AxiomImpl

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor result

getRange

@PortedFrom(file="tDLAxiom.h",
            name="getRange")
public DataExpression getRange()

Returns:

range