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

Class AbstractNaryAxiom<I extends Expression>

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.dl.axioms.AbstractNaryAxiom<I>

Type Parameters:

I - expression type

All Implemented Interfaces:

Serializable, AxiomInterface, NAryExpression<I>

Direct Known Subclasses:

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

@Original
public abstract class AbstractNaryAxiom<I extends Expression>
extends Object
implements AxiomInterface, NAryExpression<I>

n-ary axiom base class

See Also:

Serialized Form

Method Summary

Methods

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()
TOntologyAtom	getAtom()
int	getId()
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom()
TSignature	getSignature()
boolean	isEmpty()
boolean	isInModule()
boolean	isInSS()
boolean	isUsed()
void	setAtom(TOntologyAtom atom)
void	setId(int Id)
void	setInModule(boolean inModule)
void	setInSS(boolean flag) set the isSearchSpace flag
void	setUsed(boolean Used)
int	size()
String	toString()
I	transform(Expression arg)

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

accept, accept, getAtom, getId, getOWLAxiom, getSignature, isInModule, isInSS, isUsed, setAtom, setId, setInModule, setInSS, setUsed

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

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

getAtom

@PortedFrom(file="tDLAxiom.h",
            name="getAtom")
public TOntologyAtom getAtom()

Specified by:

getAtom in interface AxiomInterface

Returns:

atom for axiom

setAtom

@PortedFrom(file="tDLAxiom.h",
            name="setAtom")
public void setAtom(TOntologyAtom atom)

Specified by:

setAtom in interface AxiomInterface

Parameters:

atom - atom

setInSS

@PortedFrom(file="tDLAxiom.h",
            name="setInSS")
public void setInSS(boolean flag)

set the isSearchSpace flag

Specified by:

setInSS in interface AxiomInterface

Parameters:

flag - flag

isInSS

@PortedFrom(file="tDLAxiom.h",
            name="isInSS")
public boolean isInSS()

Specified by:

isInSS in interface AxiomInterface

Returns:

the value of the isSearchSpace flag

getSignature

@PortedFrom(file="tDLAxiom.h",
            name="getSignature")
public TSignature getSignature()

Specified by:

getSignature in interface AxiomInterface

Returns:

signature

getOWLAxiom

public org.semanticweb.owlapi.model.OWLAxiom getOWLAxiom()

Specified by:

getOWLAxiom in interface AxiomInterface

Returns:

original owl axiom

getId

@PortedFrom(file="tDLAxiom.h",
            name="getId")
public int getId()

Specified by:

getId in interface AxiomInterface

Returns:

the id

isInModule

public boolean isInModule()

Specified by:

isInModule in interface AxiomInterface

Returns:

true if in module

isUsed

public boolean isUsed()

Specified by:

isUsed in interface AxiomInterface

Returns:

the value of the used flag

setId

@PortedFrom(file="tDLAxiom.h",
            name="setId")
public void setId(int Id)

Specified by:

setId in interface AxiomInterface

Parameters:

Id - Id

setInModule

@PortedFrom(file="tDLAxiom.h",
            name="setInModule")
public void setInModule(boolean inModule)

Specified by:

setInModule in interface AxiomInterface

Parameters:

inModule - inModule

setUsed

@PortedFrom(file="tDLAxiom.h",
            name="setUsed")
public void setUsed(boolean Used)

Specified by:

setUsed in interface AxiomInterface

Parameters:

Used - Used

toString

public String toString()

Overrides:

toString in class Object