uk.ac.manchester.cs.jfact.kernel

Class DLConceptTaxonomy

java.lang.Object

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

uk.ac.manchester.cs.jfact.kernel.DLConceptTaxonomy

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

Field Summary

Fields

Modifier and Type	Field and Description
protected int	nCommon number of processed common parents

Fields inherited from class uk.ac.manchester.cs.jfact.kernel.Taxonomy

checkLabel, curEntry, current, ksStack, nCDEntries, nEntries, useCompletelyDefined, valueLabel, willInsertIntoTaxonomy

Constructor Summary

Constructors

Constructor and Description
DLConceptTaxonomy(Concept pTop, Concept pBottom, TBox kb) the only c'tor

Method Summary

Methods

Modifier and Type	Method and Description
protected boolean	classifySynonym()
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
void	preClassificationActions() actions that to be done BEFORE entry will be classified
void	runBottomUp() explicitely run BU phase
void	runTopDown() explicitely run TD phase
void	setBottomUp(KBFlags GCIs) set bottom-up flag
String	toString()

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.Taxonomy

addCurrentToSynonym, classifyEntry, clearCheckedLabel, clearLabels, finalise, getBottomVertex, getRelativesInfo, getRelativesInfo, getTopVertex, propagateTrueUp, queryMode, removeTop, setCompletelyDefined, setCurrentEntry

Methods inherited from class java.lang.Object

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

Field Detail

nCommon

@PortedFrom(file="DLConceptTaxonomy.h",
            name="nCommon")
protected int nCommon

number of processed common parents

Constructor Detail

DLConceptTaxonomy

public DLConceptTaxonomy(Concept pTop,
                 Concept pBottom,
                 TBox kb)

the only c'tor

Method Detail

runTopDown

@PortedFrom(file="DLConceptTaxonomy.h",
            name="runTopDown")
public void runTopDown()

explicitely run TD phase

Overrides:

runTopDown in class Taxonomy

runBottomUp

@PortedFrom(file="DLConceptTaxonomy.h",
            name="runBottomUp")
public void runBottomUp()

explicitely run BU phase

Overrides:

runBottomUp in class Taxonomy

preClassificationActions

@PortedFrom(file="DLConceptTaxonomy.h",
            name="preClassificationActions")
public void preClassificationActions()

actions that to be done BEFORE entry will be classified

Overrides:

preClassificationActions in class Taxonomy

needLogging

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

check if it is necessary to log taxonomy action

Overrides:

needLogging in class Taxonomy

setBottomUp

@PortedFrom(file="DLConceptTaxonomy.h",
            name="setBottomUp")
public void setBottomUp(KBFlags GCIs)

set bottom-up flag

immediatelyClassified

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

Description copied from class: Taxonomy

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

Overrides:

immediatelyClassified in class Taxonomy

needTopDown

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

Description copied from class: Taxonomy

check if it is possible to skip TD phase

Overrides:

needTopDown in class Taxonomy

needBottomUp

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

Description copied from class: Taxonomy

check if it is possible to skip BU phase

Overrides:

needBottomUp in class Taxonomy

toString

public String toString()

Overrides:

toString in class Taxonomy

classifySynonym

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

Overrides:

classifySynonym in class Taxonomy

Returns:

true iff curEntry is classified as a synonym