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

Class AxiomImpl

java.lang.Object

org.semanticweb.owlapitools.decomposition.AxiomWrapper

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

All Implemented Interfaces:

Serializable

Direct Known Subclasses:

AbstractNaryAxiom, AxiomConceptInclusion, AxiomDeclaration, AxiomInstanceOf, AxiomRelatedTo, AxiomRelatedToNot, AxiomSingleDRole, AxiomSingleORole, AxiomValueOf, AxiomValueOfNot

@PortedFrom(file="tDLAxiom.h",
            name="TDLAxiom")
public abstract class AxiomImpl
extends org.semanticweb.owlapitools.decomposition.AxiomWrapper
implements Serializable

Axiom implementation

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomImpl(org.semanticweb.owlapi.model.OWLAxiom ax)

Method Summary

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

AxiomImpl

public AxiomImpl(@Nullable
                 org.semanticweb.owlapi.model.OWLAxiom ax)

Parameters:

ax - axiom

Method Detail

accept

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

accept method for the visitor pattern

Parameters:

visitor - visitor

accept

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

Type Parameters:

O - visitor return type

Parameters:

visitor - visitor

Returns:

visitor result

namedEntitySignature

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

Returns:

named entities included in this axiom