uk.ac.manchester.cs.jfact.kernel

Class Taxonomy

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.Taxonomy

All Implemented Interfaces:

Serializable

@PortedFrom(file="Taxonomy.h",
            name="Taxonomy")
public class Taxonomy
extends Object
implements Serializable

taxonomy

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
Taxonomy(ClassifiableEntry pTop, ClassifiableEntry pBottom, JFactReasonerConfiguration c)

Method Summary

Modifier and Type	Method and Description
void	addCurrentToSynonym(TaxonomyVertex syn)
void	clearLabels()
void	deFinalise() unlink the bottom from the taxonomy
void	finalise() call this method after taxonomy is built
void	finishCurrentNode() insert current node either directly or as a synonym
TaxonomyVertex	getBottomVertex()
TaxonomyVertex	getCurrent()
TaxonomyVertex	getFreshVertex(ClassifiableEntry e)
JFactReasonerConfiguration	getOptions()
void	getRelativesInfo(TaxonomyVertex node, Actor actor, boolean needCurrent, boolean onlyDirect, boolean upDirection) apply ACTOR to subgraph starting from NODE as defined by flags;
boolean	getRelativesInfo(TaxonomyVertex node, SupConceptActor actor, boolean needCurrent, boolean onlyDirect, boolean upDirection) apply ACTOR to subgraph starting from NODE as defined by flags; this version is intended to work only with SupConceptActor, which requires the method to return as soon as the apply() method returns false
TaxonomyVertex	getTopVertex()
boolean	isVisited(TaxonomyVertex node)
boolean	queryMode()
void	removeNode(TaxonomyVertex node) remove node from the taxonomy; assume no references to the node
void	setAllVisited(TaxonomyVertex node, boolean direction, Set<TaxonomyVertex> pastBoundary)
void	setCurrent(TaxonomyVertex cur) set current to a given node
void	setVisited(TaxonomyVertex node) set node NODE as checked within taxonomy
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Taxonomy

public Taxonomy(ClassifiableEntry pTop,
                ClassifiableEntry pBottom,
                JFactReasonerConfiguration c)

Parameters:

pTop - pTop

pBottom - pBottom

c - c

Method Detail

getCurrent

@PortedFrom(file="Taxonomy.h",
            name="getCurrent")
public TaxonomyVertex getCurrent()

Returns:

current

setCurrent

@PortedFrom(file="Taxonomy.h",
            name="setCurrent")
public void setCurrent(TaxonomyVertex cur)

set current to a given node

Parameters:

cur - cur

getRelativesInfo

@PortedFrom(file="Taxonomy.h",
            name="getRelativesInfo")
public boolean getRelativesInfo(TaxonomyVertex node,
                                                                                                    SupConceptActor actor,
                                                                                                    boolean needCurrent,
                                                                                                    boolean onlyDirect,
                                                                                                    boolean upDirection)

apply ACTOR to subgraph starting from NODE as defined by flags; this version is intended to work only with SupConceptActor, which requires the method to return as soon as the apply() method returns false

Parameters:

node - node

actor - actor

needCurrent - needCurrent

onlyDirect - onlyDirect

upDirection - upDirection

Returns:

false if actor does not apply

getRelativesInfo

@PortedFrom(file="Taxonomy.h",
            name="getRelativesInfo")
public void getRelativesInfo(TaxonomyVertex node,
                                                                                                 Actor actor,
                                                                                                 boolean needCurrent,
                                                                                                 boolean onlyDirect,
                                                                                                 boolean upDirection)

apply ACTOR to subgraph starting from NODE as defined by flags;

Parameters:

node - node

actor - actor

needCurrent - needCurrent

onlyDirect - onlyDirect

upDirection - upDirection

setVisited

@PortedFrom(file="Taxonomy.h",
            name="setVisited")
public void setVisited(TaxonomyVertex node)

set node NODE as checked within taxonomy

Parameters:

node - node

setAllVisited

public void setAllVisited(TaxonomyVertex node,
                          boolean direction,
                          Set<TaxonomyVertex> pastBoundary)

Parameters:

node - node to visit

direction - up or down

pastBoundary - set of vertexes past the boundary

isVisited

@PortedFrom(file="Taxonomy.h",
            name="isVisited")
public boolean isVisited(TaxonomyVertex node)

Parameters:

node - node

Returns:

check whether NODE is checked within taxonomy

getOptions

public JFactReasonerConfiguration getOptions()

Returns:

reasoner configuration

getTopVertex

@PortedFrom(file="Taxonomy.h",
            name="getTopVertex")
public TaxonomyVertex getTopVertex()

Returns:

TOP of taxonomy

getBottomVertex

@PortedFrom(file="Taxonomy.h",
            name="getBottomVertex")
public TaxonomyVertex getBottomVertex()

Returns:

BOTTOM of taxonomy

getFreshVertex

@PortedFrom(file="Taxonomy.h",
            name="getFreshVertex")
public TaxonomyVertex getFreshVertex(ClassifiableEntry e)

Parameters:

e - e

Returns:

node for fresh entity E

toString

public String toString()

Overrides:

toString in class Object

removeNode

@PortedFrom(file="Taxonomy.h",
            name="removeNode")
public void removeNode(TaxonomyVertex node)

remove node from the taxonomy; assume no references to the node

Parameters:

node - node

queryMode

@PortedFrom(file="Taxonomy.h",
            name="queryMode")
public boolean queryMode()

Returns:

true if taxonomy works in a query mode (no need to insert query vertex)

finalise

@PortedFrom(file="Taxonomy.h",
            name="finalise")
public void finalise()

call this method after taxonomy is built

deFinalise

@PortedFrom(file="Taxonomy.h",
            name="deFinalise")
public void deFinalise()

unlink the bottom from the taxonomy

addCurrentToSynonym

@PortedFrom(file="Taxonomy.h",
            name="addCurrentToSynonym")
public void addCurrentToSynonym(TaxonomyVertex syn)

Parameters:

syn - syn

finishCurrentNode

@PortedFrom(file="Taxonomy.h",
            name="finishCurrentNode")
public void finishCurrentNode()

insert current node either directly or as a synonym

clearLabels

public void clearLabels()