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

Class AbstractNaryAxiom<I extends Expression>

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.AbstractNaryAxiom<I>

Type Parameters:

I - expression type

All Implemented Interfaces:

Serializable, NAryExpression<I>

Direct Known Subclasses:

AxiomDifferentIndividuals, AxiomDisjointConcepts, AxiomDisjointDRoles, AxiomDisjointORoles, AxiomDisjointUnion, AxiomEquivalentConcepts, AxiomEquivalentDRoles, AxiomEquivalentORoles, AxiomFairnessConstraint, AxiomSameIndividuals

@Original
public abstract class AbstractNaryAxiom<I extends Expression>
extends AxiomImpl
implements NAryExpression<I>

n-ary axiom base class

See Also:

Serialized Form

Method Summary

Modifier and Type	Method and Description
void	add(Collection<I> v) add a vector
void	add(Expression p) add a single element to the array
List<I>	getArguments()
boolean	isEmpty()
java.util.stream.Stream<Expression>	namedEntitySignature()
int	size()
I	transform(Expression arg)

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

accept, accept

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

Methods inherited from interface uk.ac.manchester.cs.jfact.kernel.dl.interfaces.NAryExpression

allMatch, allMatchWithFirst, anyMatch, anyMatchWithFirst

Method Detail

add

public final void add(Collection<I> v)

Description copied from interface: NAryExpression

add a vector

Specified by:

add in interface NAryExpression<I extends Expression>

Parameters:

v - v

add

public final void add(Expression p)

Description copied from interface: NAryExpression

add a single element to the array

Specified by:

add in interface NAryExpression<I extends Expression>

Parameters:

p - p

getArguments

@PortedFrom(file="tDLExpression.h",
            name="begin")
public final List<I> getArguments()

Specified by:

getArguments in interface NAryExpression<I extends Expression>

Returns:

members

namedEntitySignature

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

Specified by:

namedEntitySignature in class AxiomImpl

Returns:

named entities included in this axiom

isEmpty

@PortedFrom(file="tDLAxiom.h",
            name="empty")
public final boolean isEmpty()

Specified by:

isEmpty in interface NAryExpression<I extends Expression>

Returns:

true if empty

size

@PortedFrom(file="tDLExpression.h",
            name="size")
public final int size()

Specified by:

size in interface NAryExpression<I extends Expression>

Returns:

size of members

transform

public final I transform(Expression arg)

Specified by:

transform in interface NAryExpression<I extends Expression>

Parameters:

arg - arg

Returns:

transform general expression into the argument one