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

Class AxiomDRoleSubsumption

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

All Implemented Interfaces:

Serializable

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

data role subsumption

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomDRoleSubsumption(org.semanticweb.owlapi.model.OWLAxiom ax, DataRoleExpression subRole, DataRoleExpression supRole)

Method Summary

Modifier and Type	Method and Description
void	accept(DLAxiomVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLAxiomVisitorEx<O> visitor)
DataRoleExpression	getSubRole()
java.util.stream.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

AxiomDRoleSubsumption

@PortedFrom(file="tDLAxiom.h",
            name="SubRole")
public AxiomDRoleSubsumption(org.semanticweb.owlapi.model.OWLAxiom ax,
                                                                                        DataRoleExpression subRole,
                                                                                        DataRoleExpression supRole)

Parameters:

ax - ax

subRole - subRole

supRole - supRole

Method Detail

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

getSubRole

@PortedFrom(file="tDLAxiom.h",
            name="getSubRole")
public DataRoleExpression getSubRole()

Returns:

role

namedEntitySignature

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

Overrides:

namedEntitySignature in class AxiomSingleDRole

Returns:

named entities included in this axiom