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>

All Implemented Interfaces:

Axiom, Entity, 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 Axiom, NAryExpression<I>

n-ary axiom base class

Constructor Summary

Constructors

Constructor and Description
AbstractNaryAxiom(org.semanticweb.owlapi.model.OWLAxiom ax, Collection<Expression> v)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(Collection<Expression> v) add a vector
void	add(Expression p) add a single element to the array
List<I>	getArguments() access to members
TOntologyAtom	getAtom()
int	getId() get the id
org.semanticweb.owlapi.model.OWLAxiom	getOWLAxiom()
TSignature	getSignature()
boolean	isEmpty()
boolean	isInModule()
boolean	isInSS() get the value of the isSearchSpace flag
boolean	isUsed() get the value of the used flag
void	setAtom(TOntologyAtom atom)
void	setId(int Id) set the id
void	setInModule(boolean inModule)
void	setInSS(boolean flag) set the isSearchSpace flag
void	setUsed(boolean Used) set the used flag
int	size()
String	toString()
I	transform(Expression arg) transform general expression into the argument one

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

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

Constructor Detail

AbstractNaryAxiom

public AbstractNaryAxiom(org.semanticweb.owlapi.model.OWLAxiom ax,
                 Collection<Expression> v)

Method Detail

add

public final void add(Collection<Expression> v)

Description copied from interface: NAryExpression

add a vector

Specified by:

add in interface NAryExpression<I extends Expression>

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>

getArguments

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

Description copied from interface: NAryExpression

access to members

Specified by:

getArguments in interface NAryExpression<I extends Expression>

isEmpty

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

Specified by:

isEmpty in interface NAryExpression<I extends Expression>

size

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

Specified by:

size in interface NAryExpression<I extends Expression>

transform

public final I transform(Expression arg)

Description copied from interface: NAryExpression

transform general expression into the argument one

Specified by:

transform in interface NAryExpression<I extends Expression>

getAtom

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

Specified by:

getAtom in interface Axiom

setAtom

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

Specified by:

setAtom in interface Axiom

setInSS

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

set the isSearchSpace flag

Specified by:

setInSS in interface Axiom

isInSS

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

Description copied from interface: Axiom

get the value of the isSearchSpace flag

Specified by:

isInSS in interface Axiom

getSignature

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

Specified by:

getSignature in interface Axiom

getOWLAxiom

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

Specified by:

getOWLAxiom in interface Axiom

getId

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

Description copied from interface: Axiom

get the id

Specified by:

getId in interface Axiom

isInModule

public boolean isInModule()

Specified by:

isInModule in interface Axiom

isUsed

public boolean isUsed()

Description copied from interface: Axiom

get the value of the used flag

Specified by:

isUsed in interface Axiom

setId

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

Description copied from interface: Axiom

set the id

Specified by:

setId in interface Axiom

setInModule

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

Specified by:

setInModule in interface Axiom

setUsed

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

Description copied from interface: Axiom

set the used flag

Specified by:

setUsed in interface Axiom

toString

public String toString()

Overrides:

toString in class Object