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

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.HasIRI

Direct Known Subclasses:

Individual

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

concept

See Also:

Serialized Form

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
static org.semanticweb.owlapi.model.IRI	nothing nothing concept iri
static org.semanticweb.owlapi.model.IRI	query query concept iri
static org.semanticweb.owlapi.model.IRI	temp temp concept iri
static org.semanticweb.owlapi.model.IRI	thing thing concept iri

Constructor Summary

Constructors

Constructor and Description
Concept(org.semanticweb.owlapi.model.IRI name)

Method Summary

Modifier and Type	Method and Description
void	addDesc(DLTree desc)
void	addExtraRule(int ruleIndex) add index of a simple rule in TBox to the ER set
void	addLeaves(Collection<DLTree> desc)
int	calculateTSDepth()
boolean	canInitNonPrim(DLTree desc)
void	clear() clear concept
void	dropRelevant() make given concept irrelevant to given Labeller's state
static Concept	getBOTTOM(org.semanticweb.owlapi.model.OWLDataFactory df)
Concept.CTTag	getClassTag()
Concept.CTTag	getClassTagPlain()
DLTree	getDescription()
uk.ac.manchester.cs.chainsaw.FastSet	getExtraRules()
LogicFeatures	getNegFeatures()
int	getpBody()
int	getpName()
LogicFeatures	getPosFeatures()
static Concept	getQuery()
static Concept	getTEMP()
static Concept	getTOP(org.semanticweb.owlapi.model.OWLDataFactory df)
int	getTsDepth()
boolean	hasExtraRules()
void	initToldSubsumers() init told subsumers of the concept by its description
boolean	initToldSubsumers(DLTree desc, Set<Role> rolesProcessed) init told subsumers of the concept by given DESCription;
boolean	isHasSP()
boolean	isNominal()
boolean	isNonPrimitive()
boolean	isPrimitive()
boolean	isRelevant(long lab)
boolean	isSingleton()
DLTree	makeNonPrimitive(DLTree desc) switch primitive concept to non-primitive with new definition;
void	push(Deque<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, getIndex, getSynonym, getTaxVertex, getToldSubsumers, hasToldSubsumers, isClassified, isCompletelyDefined, isNonClassifiable, isSynonym, removeSynonymsFromParents, resolveSynonym, setCompletelyDefined, setIndex, setNonClassifiable, setSynonym, setTaxVertex

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

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

temp

public static final org.semanticweb.owlapi.model.IRI temp

temp concept iri

query

public static final org.semanticweb.owlapi.model.IRI query

query concept iri

nothing

public static final org.semanticweb.owlapi.model.IRI nothing

nothing concept iri

thing

public static final org.semanticweb.owlapi.model.IRI thing

thing concept iri

Constructor Detail

Concept

public Concept(org.semanticweb.owlapi.model.IRI name)

Parameters:

name - name

Method Detail

getBOTTOM

@Original
public static Concept getBOTTOM(org.semanticweb.owlapi.model.OWLDataFactory df)

Parameters:

df - data factory

Returns:

bottom concept

getTOP

@Original
public static Concept getTOP(org.semanticweb.owlapi.model.OWLDataFactory df)

Parameters:

df - data factory

Returns:

top concept

getTEMP

@Original
public static Concept getTEMP()

Returns:

temporary concept

getQuery

public static Concept getQuery()

Returns:

query concept

addExtraRule

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

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

Parameters:

ruleIndex - ruleIndex

hasExtraRules

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

Returns:

if a concept is in a disjoint relation with anything

getExtraRules

@PortedFrom(file="tConcept.h",
            name="er_begin")
public uk.ac.manchester.cs.chainsaw.FastSet getExtraRules()

Returns:

accessing DJ elements

getClassTagPlain

@Original
public Concept.CTTag getClassTagPlain()

Returns:

class tag

getClassTag

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

Returns:

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)

Parameters:

desc - desc

Returns:

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;

Parameters:

desc - desc

Returns:

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 its description

setToldTop

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

init TOP told subsumer if necessary

Parameters:

top - top

resolveId

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

Returns:

resolve synonym id

addDesc

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

Parameters:

desc - Desc

addLeaves

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

Parameters:

desc - Desc

push

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

Parameters:

stack - stack

current - current

initToldSubsumers

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

init told subsumers of the concept by given DESCription;

Parameters:

desc - _desc

rolesProcessed - RolesProcessed

Returns:

TRUE iff concept is CD

searchTSbyRoleAndSupers

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

Parameters:

r - r

rolesProcessed - RolesProcessed

calculateTSDepth

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

Returns:

told subsumers depth

clear

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

clear concept

getpName

@Original
public int getpName()

Returns:

p name

setpName

@Original
public void setpName(int pName)

Parameters:

pName - pName

getpBody

@Original
public int getpBody()

Returns:

p body

setpBody

@Original
public void setpBody(int pBody)

Parameters:

pBody - pBody

getDescription

@Nullable
 @Original
public DLTree getDescription()

Returns:

description

getTsDepth

@Original
public int getTsDepth()

Returns:

told subsumers depth

getNegFeatures

@Original
public LogicFeatures getNegFeatures()

Returns:

neg features

getPosFeatures

@Original
public LogicFeatures getPosFeatures()

Returns:

pos features

isPrimitive

@Original
public boolean isPrimitive()

Returns:

true if primitive

isNonPrimitive

@Original
public boolean isNonPrimitive()

Returns:

false if primitive

setPrimitive

@Original
public void setPrimitive(boolean action)

Parameters:

action - action

isHasSP

@Original
public boolean isHasSP()

Returns:

HasSingletonParent flag

setHasSP

@Original
public void setHasSP(boolean action)

Parameters:

action - action

isNominal

@Original
public boolean isNominal()

Returns:

nominal

setNominal

@Original
public void setNominal(boolean action)

Parameters:

action - action

isSingleton

@Original
public boolean isSingleton()

Returns:

singleton

setSingleton

@Original
public void setSingleton(boolean action)

Parameters:

action - action

isRelevant

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

Parameters:

lab - lab

Returns:

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

Parameters:

lab - lab

dropRelevant

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

make given concept irrelevant to given Labeller's state