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

Class AxiomORoleRange

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.AxiomSingleORole

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

All Implemented Interfaces:

Serializable

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomORoleRange")
public class AxiomORoleRange
extends AxiomSingleORole

object role range

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomORoleRange(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleExpression role, ConceptExpression 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)
ConceptExpression	getRange()
java.util.stream.Stream<Expression>	namedEntitySignature()

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

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

AxiomORoleRange

@PortedFrom(file="tDLAxiom.h",
            name="Range")
public AxiomORoleRange(org.semanticweb.owlapi.model.OWLAxiom ax,
                                                                                ObjectRoleExpression role,
                                                                                ConceptExpression range)

Parameters:

ax - ax

role - role

range - range

Method Detail

namedEntitySignature

public java.util.stream.Stream<Expression> namedEntitySignature()

Overrides:

namedEntitySignature in class AxiomSingleORole

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 ConceptExpression getRange()

Returns:

range