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

Class AxiomORoleSubsumption

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

All Implemented Interfaces:

Serializable

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

object role subsumption

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomORoleSubsumption(org.semanticweb.owlapi.model.OWLAxiom ax, ObjectRoleComplexExpression subRole, ObjectRoleExpression 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)
ObjectRoleComplexExpression	getSubRole()
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

AxiomORoleSubsumption

public AxiomORoleSubsumption(org.semanticweb.owlapi.model.OWLAxiom ax,
                             ObjectRoleComplexExpression subRole,
                             ObjectRoleExpression 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 ObjectRoleComplexExpression getSubRole()

Returns:

sub role

namedEntitySignature

public Stream<Expression> namedEntitySignature()

Overrides:

namedEntitySignature in class AxiomSingleORole

Returns:

named entities included in this axiom