uk.ac.manchester.cs.jfact.kernel

Class Concept

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.NamedEntry

uk.ac.manchester.cs.jfact.kernel.ClassifiableEntry

uk.ac.manchester.cs.jfact.kernel.Concept

Direct Known Subclasses:

Individual

@PortedFrom(file="ConceptWithDep.h",
            name="Concept")
public class Concept
extends ClassifiableEntry

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	Concept.CTTag type of concept wrt classifiability

Field Summary

Fields

Modifier and Type	Field and Description
protected DLTree	description

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

index, pSynonym, taxVertex, toldSubsumers

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

entity, extId, extName

Constructor Summary

Constructors

Constructor and Description
Concept(String name)

Method Summary

Methods

Modifier and Type	Method and Description
void	addDesc(DLTree Desc)
void	addExtraRule(int p) add index of a simple rule in TBox to the ER set
void	addLeaves(Collection<DLTree> Desc)
int	calculateTSDepth()
boolean	canInitNonPrim(DLTree desc) check whether it is possible to init this as a non-primitive concept with DESC
void	dropRelevant(long lab) make given concept irrelevant to given Labeller's state
static Concept	getBOTTOM()
Concept.CTTag	getClassTag() get value of a tag; determine it if unset
Concept.CTTag	getClassTagPlain()
DLTree	getDescription()
FastSet	getExtraRules() iterator for accessing DJ elements
LogicFeatures	getNegFeatures()
int	getpBody()
int	getpName()
LogicFeatures	getPosFeatures()
static Concept	getTEMP()
static Concept	getTOP()
int	getTsDepth()
boolean	hasExtraRules() check if a concept is in a disjoint relation with anything
void	initToldSubsumers() init told subsumers of the concept by it's description
boolean	initToldSubsumers(DLTree _desc, Set<Role> RolesProcessed) init told subsumers of the concept by given DESCription; @return TRUE iff concept is CD
boolean	isHasSP() a HasSingletonParent flag
boolean	isNominal()
boolean	isPrimitive()
boolean	isRelevant(long lab) is given concept relevant to given Labeller's state
boolean	isSingleton()
DLTree	makeNonPrimitive(DLTree desc) switch primitive concept to non-primitive with new definition; @return old definition
void	push(LinkedList<DLTree> stack, DLTree current)
void	removeDescription() remove concept description (to save space)
void	removeSelfFromDescription() remove concept from its own definition (like in case C [= (or C ...)
int	resolveId()
void	searchTSbyRoleAndSupers(Role r, Set<Role> RolesProcessed)
void	setHasSP(boolean action)
void	setNominal(boolean action)
void	setpBody(int pBody)
void	setpName(int pName)
void	setPrimitive(boolean action)
void	setRelevant(long lab) make given concept relevant to given Labeller's state
void	setSingleton(boolean action)
void	setToldTop(Concept top) init TOP told subsumer if necessary
String	toString()

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

addParent, addParentIfNew, addParents, canonicaliseSynonym, clearCompletelyDefined, clearNonClassifiable, getIndex, getSynonym, getTaxVertex, getToldSubsumers, hasToldSubsumers, isClassified, isCompletelyDefined, isNonClassifiable, isSynonym, removeSynonymsFromParents, resolveSynonym, setCompletelyDefined, setIndex, setNonClassifiable, setNonClassifiable, setSynonym, setTaxVertex

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

equals, getEntity, getId, getName, hashCode, isBottom, isSystem, isTop, setBottom, setEntity, setId, setSystem, setTop

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

description

@PortedFrom(file="tConcept.h",
            name="Description")
protected DLTree description

Constructor Detail

Concept

public Concept(String name)

Method Detail

getBOTTOM

@Original
public static Concept getBOTTOM()

getTOP

@Original
public static Concept getTOP()

getTEMP

@Original
public static Concept getTEMP()

addExtraRule

@PortedFrom(file="tConcept.h",
            name="addExtraRule")
public void addExtraRule(int p)

add index of a simple rule in TBox to the ER set

hasExtraRules

@PortedFrom(file="tConcept.h",
            name="hasExtraRules")
public boolean hasExtraRules()

check if a concept is in a disjoint relation with anything

getExtraRules

@PortedFrom(file="tConcept.h",
            name="er_begin")
public FastSet getExtraRules()

iterator for accessing DJ elements

getClassTagPlain

@Original
public Concept.CTTag getClassTagPlain()

getClassTag

@PortedFrom(file="tConcept.h",
            name="getClassTag")
public Concept.CTTag getClassTag()

get value of a tag; determine it if unset

removeSelfFromDescription

@PortedFrom(file="tConcept.h",
            name="removeSelfFromDescription")
public void removeSelfFromDescription()

remove concept from its own definition (like in case C [= (or C ...)

removeDescription

@PortedFrom(file="tConcept.h",
            name="removeDescription")
public void removeDescription()

remove concept description (to save space)

canInitNonPrim

@PortedFrom(file="tConcept.h",
            name="canInitNonPrim")
public boolean canInitNonPrim(DLTree desc)

check whether it is possible to init this as a non-primitive concept with DESC

makeNonPrimitive

@PortedFrom(file="tConcept.h",
            name="makeNonPrimitive")
public DLTree makeNonPrimitive(DLTree desc)

switch primitive concept to non-primitive with new definition; @return old definition

toString

public String toString()

Overrides:

toString in class NamedEntry

initToldSubsumers

@PortedFrom(file="tConcept.h",
            name="initToldSubsumers")
public void initToldSubsumers()

init told subsumers of the concept by it's description

setToldTop

@PortedFrom(file="tConcept.h",
            name="setToldTop")
public void setToldTop(Concept top)

init TOP told subsumer if necessary

resolveId

@PortedFrom(file="tConcept.h",
            name="resolveId")
public int resolveId()

addDesc

@PortedFrom(file="tConcept.h",
            name="addDesc")
public void addDesc(DLTree Desc)

addLeaves

@Original
public void addLeaves(Collection<DLTree> Desc)

push

@Original
public void push(LinkedList<DLTree> stack,
                 DLTree current)

initToldSubsumers

@PortedFrom(file="tConcept.h",
            name="initToldSubsumers")
public boolean initToldSubsumers(DLTree _desc,
                                           Set<Role> RolesProcessed)

init told subsumers of the concept by given DESCription; @return TRUE iff concept is CD

searchTSbyRoleAndSupers

@PortedFrom(file="tConcept.h",
            name="SearchTSbyRoleAndSupers")
public void searchTSbyRoleAndSupers(Role r,
                                              Set<Role> RolesProcessed)

calculateTSDepth

@PortedFrom(file="tConcept.h",
            name="calculateTSDepth")
public int calculateTSDepth()

getpName

@Original
public int getpName()

setpName

@Original
public void setpName(int pName)

getpBody

@Original
public int getpBody()

setpBody

@Original
public void setpBody(int pBody)

getDescription

@Original
public DLTree getDescription()

getTsDepth

@Original
public int getTsDepth()

getNegFeatures

@Original
public LogicFeatures getNegFeatures()

getPosFeatures

@Original
public LogicFeatures getPosFeatures()

isPrimitive

@Original
public boolean isPrimitive()

setPrimitive

@Original
public void setPrimitive(boolean action)

isHasSP

@Original
public boolean isHasSP()

a HasSingletonParent flag

setHasSP

@Original
public void setHasSP(boolean action)

isNominal

@Original
public boolean isNominal()

setNominal

@Original
public void setNominal(boolean action)

isSingleton

@Original
public boolean isSingleton()

setSingleton

@Original
public void setSingleton(boolean action)

isRelevant

@PortedFrom(file="tConcept.h",
            name="isRelevant")
public boolean isRelevant(long lab)

is given concept relevant to given Labeller's state

setRelevant

@PortedFrom(file="tConcept.h",
            name="setRelevant")
public void setRelevant(long lab)

make given concept relevant to given Labeller's state

dropRelevant

@PortedFrom(file="tConcept.h",
            name="dropRelevant")
public void dropRelevant(long lab)

make given concept irrelevant to given Labeller's state