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

Class AxiomRelatedToNot

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

All Implemented Interfaces:

Serializable

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiomRelatedToNot")
public class AxiomRelatedToNot
extends AxiomImpl

negated object role assertion

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomRelatedToNot(org.semanticweb.owlapi.model.OWLAxiom ax, IndividualExpression i, ObjectRoleExpression r, IndividualExpression j)

Method Summary

Modifier and Type	Method and Description
void	accept(DLAxiomVisitor visitor) accept method for the visitor pattern
<O> O	accept(DLAxiomVisitorEx<O> visitor)
IndividualExpression	getIndividual()
IndividualExpression	getRelatedIndividual()
ObjectRoleExpression	getRelation()
Stream<Expression>	namedEntitySignature()

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

AxiomRelatedToNot

public AxiomRelatedToNot(org.semanticweb.owlapi.model.OWLAxiom ax,
                         IndividualExpression i,
                         ObjectRoleExpression r,
                         IndividualExpression j)

Parameters:

ax - ax

i - i

r - r

j - j

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

getRelatedIndividual

@PortedFrom(file="tDLAxiom.h",
            name="getRelatedIndividual")
public IndividualExpression getRelatedIndividual()

Returns:

individual

getRelation

@PortedFrom(file="tDLAxiom.h",
            name="getRelation")
public ObjectRoleExpression getRelation()

Returns:

object property

namedEntitySignature

public Stream<Expression> namedEntitySignature()

Specified by:

namedEntitySignature in class AxiomImpl

Returns:

named entities included in this axiom

getIndividual

@PortedFrom(file="tDLAxiom.h",
            name="getIndividual")
public IndividualExpression getIndividual()

Returns:

individual