org.semanticweb.owlapitools.decomposition

Class AxiomWrapper

java.lang.Object

org.semanticweb.owlapitools.decomposition.AxiomWrapper

All Implemented Interfaces:

Serializable

public class AxiomWrapper
extends Object
implements Serializable

Wrapper around an OWLAxiom to hold attributes such as used, included in a module, included in search space and atom which contains it.

Author:

ignazio

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
AxiomWrapper(OWLAxiom axiom)

Method Summary

Modifier and Type	Method and Description
Optional<OntologyAtom>	getAtom()
OWLAxiom	getAxiom()
int	getId()
boolean	isInModule()
boolean	isInSearchSpace()
boolean	isUsed()
void	setAtom(OntologyAtom atom)
void	setId(int id)
void	setInModule(boolean b)
void	setInSearchSpace(boolean b)
void	setUsed(boolean b)
Stream<OWLEntity>	signature()

Methods inherited from class java.lang.Object

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

Constructor Detail

AxiomWrapper

public AxiomWrapper(OWLAxiom axiom)

Parameters:

axiom - axiom to wrap

Method Detail

getId

public int getId()

Returns:

id

setId

public void setId(int id)

Parameters:

id - id for the wrapper

signature

public Stream<OWLEntity> signature()

Returns:

signature of the axiom, or empty if no axiom is set

getAxiom

public OWLAxiom getAxiom()

Returns:

wrapped axiom

isUsed

public boolean isUsed()

Returns:

value for used

setUsed

public void setUsed(boolean b)

Parameters:

b - value for used

isInSearchSpace

public boolean isInSearchSpace()

Returns:

true if in search space

setInSearchSpace

public void setInSearchSpace(boolean b)

Parameters:

b - value for in search space

isInModule

public boolean isInModule()

Returns:

true if in module

setInModule

public void setInModule(boolean b)

Parameters:

b - value for in module

getAtom

public Optional<OntologyAtom> getAtom()

Returns:

the including atom

setAtom

public void setAtom(@Nullable
                    OntologyAtom atom)

Parameters:

atom - atom including the axiom