uk.ac.manchester.cs.jfact.kernel

Class Taxonomy

java.lang.Object

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

Direct Known Subclasses:

DLConceptTaxonomy

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

Field Summary

Fields

Modifier and Type	Field and Description
protected long	checkLabel labellers for marking taxonomy
protected ClassifiableEntry	curEntry pointer to currently classified entry
protected TaxonomyVertex	current aux.
protected LinkedList<uk.ac.manchester.cs.jfact.kernel.Taxonomy.KnownSubsumers>	ksStack told subsumers corresponding to a given entry
protected long	nCDEntries number of completely-defined entries
protected int	nEntries number of tested entryes
protected boolean	useCompletelyDefined optimisation flag: if entry is completely defined by it's told subsumers, no other classification required
protected long	valueLabel
protected boolean	willInsertIntoTaxonomy behaviour flag: if true, insert temporary vertex into taxonomy

Constructor Summary

Constructors

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

Method Summary

Methods

Modifier and Type	Method and Description
void	addCurrentToSynonym(TaxonomyVertex syn)
void	classifyEntry(ClassifiableEntry p)
protected boolean	classifySynonym()
protected void	clearCheckedLabel() clear the CHECKED label from all the taxonomy vertex
protected void	clearLabels()
void	finalise() call this method after taxonomy is built
TaxonomyVertex	getBottomVertex() special access to BOTTOM of taxonomy
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() special access to TOP of taxonomy
protected boolean	immediatelyClassified() check if no classification needed (synonym, orphan, unsatisfiable)
protected boolean	needBottomUp() check if it is possible to skip BU phase
protected boolean	needLogging() check if it is necessary to log taxonomy action
protected boolean	needTopDown() check if it is possible to skip TD phase
protected void	preClassificationActions() actions that to be done BEFORE entry will be classified
protected void	propagateTrueUp(TaxonomyVertex node)
boolean	queryMode()
protected void	removeTop() remove top entry
protected void	runBottomUp() explicitely run BU phase
protected void	runTopDown() explicitely run TD phase
void	setCompletelyDefined(boolean use) set Completely Defined flag
protected void	setCurrentEntry(ClassifiableEntry p) initialise aux entry with given concept p
String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

current

@PortedFrom(file="Taxonomy.h",
            name="Current")
protected TaxonomyVertex current

aux. vertex to be included to taxonomy

curEntry

@PortedFrom(file="Taxonomy.h",
            name="curEntry")
protected ClassifiableEntry curEntry

pointer to currently classified entry

nEntries

@PortedFrom(file="Taxonomy.h",
            name="nEntries")
protected int nEntries

number of tested entryes

nCDEntries

@PortedFrom(file="Taxonomy.h",
            name="nCDEntries")
protected long nCDEntries

number of completely-defined entries

useCompletelyDefined

@PortedFrom(file="Taxonomy.h",
            name="useCompletelyDefined")
protected boolean useCompletelyDefined

optimisation flag: if entry is completely defined by it's told subsumers, no other classification required

willInsertIntoTaxonomy

@PortedFrom(file="Taxonomy.h",
            name="willInsertIntoTaxonomy")
protected boolean willInsertIntoTaxonomy

behaviour flag: if true, insert temporary vertex into taxonomy

ksStack

@PortedFrom(file="Taxonomy.h",
            name="ksStack")
protected LinkedList<uk.ac.manchester.cs.jfact.kernel.Taxonomy.KnownSubsumers> ksStack

told subsumers corresponding to a given entry

checkLabel

@PortedFrom(file="Taxonomy.h",
            name="checkLabel")
protected long checkLabel

labellers for marking taxonomy

valueLabel

@PortedFrom(file="Taxonomy.h",
            name="valueLabel")
protected long valueLabel

Constructor Detail

Taxonomy

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

Method Detail

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

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;

clearCheckedLabel

@PortedFrom(file="Taxonomy.h",
            name="clearCheckedLabel")
protected void clearCheckedLabel()

clear the CHECKED label from all the taxonomy vertex

clearLabels

@PortedFrom(file="Taxonomy.h",
            name="clearLabels")
protected void clearLabels()

setCurrentEntry

@PortedFrom(file="Taxonomy.h",
            name="setCurrentEntry")
protected void setCurrentEntry(ClassifiableEntry p)

initialise aux entry with given concept p

immediatelyClassified

@PortedFrom(file="Taxonomy.h",
            name="immediatelyClassified")
protected boolean immediatelyClassified()

check if no classification needed (synonym, orphan, unsatisfiable)

needTopDown

@PortedFrom(file="Taxonomy.h",
            name="needTopDown")
protected boolean needTopDown()

check if it is possible to skip TD phase

runTopDown

@PortedFrom(file="Taxonomy.h",
            name="runTopDown")
protected void runTopDown()

explicitely run TD phase

needBottomUp

@PortedFrom(file="Taxonomy.h",
            name="needBottomUp")
protected boolean needBottomUp()

check if it is possible to skip BU phase

runBottomUp

@PortedFrom(file="Taxonomy.h",
            name="runBottomUp")
protected void runBottomUp()

explicitely run BU phase

preClassificationActions

@PortedFrom(file="Taxonomy.h",
            name="preClassificationActions")
protected void preClassificationActions()

actions that to be done BEFORE entry will be classified

removeTop

@PortedFrom(file="Taxonomy.h",
            name="removeTop")
protected void removeTop()

remove top entry

needLogging

@PortedFrom(file="Taxonomy.h",
            name="needLogging")
protected boolean needLogging()

check if it is necessary to log taxonomy action

getTopVertex

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

special access to TOP of taxonomy

getBottomVertex

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

special access to BOTTOM of taxonomy

setCompletelyDefined

@PortedFrom(file="Taxonomy.h",
            name="setCompletelyDefined")
public void setCompletelyDefined(boolean use)

set Completely Defined flag

finalise

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

call this method after taxonomy is built

toString

public String toString()

Overrides:

toString in class Object

addCurrentToSynonym

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

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)

classifySynonym

@PortedFrom(file="Taxonomy.h",
            name="classifySynonym")
protected boolean classifySynonym()

classifyEntry

@PortedFrom(file="Taxonomy.h",
            name="classifyEntry")
public void classifyEntry(ClassifiableEntry p)

propagateTrueUp

@PortedFrom(file="Taxonomy.h",
            name="propagateTrueUp")
protected void propagateTrueUp(TaxonomyVertex node)