uk.ac.manchester.cs.jfact.kernel

Class Role

java.lang.Object

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

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

uk.ac.manchester.cs.jfact.kernel.Role

@PortedFrom(file="tRole.h",
            name="Role")
public class Role
extends ClassifiableEntry

Field Summary

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

Modifier	Constructor and Description
protected	Role(String name)

Method Summary

Methods

Modifier and Type	Method and Description
void	addComposition(DLTree tree) add composition to a role
void	addDisjointRole(Role R) set R and THIS as a disjoint; use it after Anc/Desc are determined
void	addFeaturesToSynonym()
List<Role>	begin_topfunc() get access to the func super-roles w/o func parents via iterator
void	checkHierarchicalDisjoint() check (and correct) case whether R != S for R [= S
void	clearDataRole()
void	collectDomainFromSupers() merge to Domain all domains from super-roles
void	completeAutomaton(int nRoles) complete role automaton
void	consistent() check whether role description is consistent
Role	eliminateToldCycles() eliminate told role cycle
int	getAbsoluteIndex() get (unsigned) unique index of the role
List<Role>	getAncestor()
RoleAutomaton	getAutomaton() get access to a RA for the role
int	getBPDomain() get domain-as-a-bipointer of the role
int	getBPRange() get range-as-a-bipointer of the role
MergableLabel	getDomainLabel() get label of the role's domain
int	getFunctional() get the Functional DAG vertex
int	getIndex() get the index value
Role	getInverse()
MergableLabel	getRangeLabel() get label of the role's range
DLTree	getTDomain() get domain-as-a-tree of the role
DLTree	getTSpecialDomain()
boolean	hasSpecialDomain()
void	initADbyTaxonomy(Taxonomy pTax, int nRoles)
void	initSpecialDomain() init special domain; call this only after *ALL* the domains are known
Role	inverse() get inverse of given role (non- version)
boolean	isAsymmetric() check whether the role is asymmetric
boolean	isAsymmetryKnown() check whether the asymmetry of a role is known
boolean	isDataRole() distinguish data- and non-data role
boolean	isDisjoint() check whether a role is disjoint with anything
boolean	isDisjoint(Role r) check whether a role is disjoint with R
boolean	isFunctional() test if role is functional (ie, have some functional ancestors)
boolean	isFunctionalityKnown() check whether the functionality of a role is known
boolean	isIrreflexive() check whether the role is irreflexive
boolean	isIrreflexivityKnown() check whether the irreflexivity of a role is known
boolean	isReflexive() check whether the role is reflexive
boolean	isReflexivityKnown() check whether the reflexivity of a role is known
boolean	isRelevant(long lab) is given role relevant to given Labeller's state
boolean	isSimple() a Simple flag (not simple if role or any of its sub-roles is transitive)
boolean	isSymmetric() check whether the role is symmetric
boolean	isSymmetryKnown() check whether the symmetry of a role is known
boolean	isTopFunc() check if the role is topmost-functional (ie, has no functional ancestors)
boolean	isTransitive() check whether the role is transitive
boolean	isTransitivityKnown() check whether the transitivity of a role is known
boolean	lesserequal(Role r)
void	postProcess()
void	print(LogAdapter o)
Role	realInverse() get real inverse of a role (RO)
static Role	resolveRole(DLTree t)
void	setAsymmetric(boolean value) set the asymmetry of both role and it's inverse
void	setBPDomain(int p) set domain-as-a-bipointer to a role
void	setDataRole()
void	setDataRole(boolean action)
void	setDomain(DLTree p) add p to domain of the role
void	setFunctional() mark role (topmost) functional
void	setFunctional(boolean value) set role functionality value
void	setFunctional(int fNode) set functional attribute to given value (functional DAG vertex)
void	setInverse(Role p) set inverse to given role
void	setIrreflexive()
void	setIrreflexive(boolean value) set the irreflexivity of both role and it's inverse
void	setRange(DLTree p) add p to range of the role
void	setReflexive()
void	setReflexive(boolean value) set the reflexivity of both role and it's inverse
void	setRelevant(long lab) make given role relevant to given Labeller's state
void	setSpecialDomain(int bp) set the special domain value
void	setSymmetric()
void	setSymmetric(boolean value) set the symmetry of both role and it's inverse
void	setTransitive()
void	setTransitive(boolean value) set the transitivity of both role and it's inverse
String	toString()

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

addParent, addParentIfNew, addParents, canonicaliseSynonym, clearCompletelyDefined, clearNonClassifiable, 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

Constructor Detail

Role

protected Role(String name)

Method Detail

inverse

@PortedFrom(file="tRole.h",
            name="inverse")
public Role inverse()

get inverse of given role (non- version)

realInverse

@PortedFrom(file="tRole.h",
            name="realInverse")
public Role realInverse()

get real inverse of a role (RO)

setInverse

@PortedFrom(file="tRole.h",
            name="setInverse")
public void setInverse(Role p)

set inverse to given role

isSimple

@PortedFrom(file="tRole.h",
            name="isSimple")
public boolean isSimple()

a Simple flag (not simple if role or any of its sub-roles is transitive)

getTSpecialDomain

@PortedFrom(file="tRole.h",
            name="getTSpecialDomain")
public DLTree getTSpecialDomain()

hasSpecialDomain

@PortedFrom(file="tRole.h",
            name="hasSpecialDomain")
public boolean hasSpecialDomain()

Returns:

true iff role has a special domain

initSpecialDomain

@PortedFrom(file="tRole.h",
            name="initSpecialDomain")
public void initSpecialDomain()

init special domain; call this only after *ALL* the domains are known

setSpecialDomain

@PortedFrom(file="tRole.h",
            name="setSpecialDomain")
public void setSpecialDomain(int bp)

set the special domain value

isDataRole

@Original
public boolean isDataRole()

distinguish data- and non-data role

setDataRole

@Original
public void setDataRole()

clearDataRole

@Original
public void clearDataRole()

setDataRole

@Original
public void setDataRole(boolean action)

isFunctional

@PortedFrom(file="tRole.h",
            name="isFunctional")
public boolean isFunctional()

test if role is functional (ie, have some functional ancestors)

isFunctionalityKnown

@PortedFrom(file="tRole.h",
            name="isFunctionalityKnown")
public boolean isFunctionalityKnown()

check whether the functionality of a role is known

setFunctional

@PortedFrom(file="tRole.h",
            name="setFunctional")
public void setFunctional(boolean value)

set role functionality value

setFunctional

@PortedFrom(file="tRole.h",
            name="setFunctional")
public void setFunctional()

mark role (topmost) functional

isTransitive

@PortedFrom(file="tRole.h",
            name="isTransitive")
public boolean isTransitive()

check whether the role is transitive

isTransitivityKnown

@PortedFrom(file="tRole.h",
            name="isTransitivityKnown")
public boolean isTransitivityKnown()

check whether the transitivity of a role is known

setTransitive

@PortedFrom(file="tRole.h",
            name="setTransitive")
public void setTransitive(boolean value)

set the transitivity of both role and it's inverse

setTransitive

@PortedFrom(file="tRole.h",
            name="setTransitive")
public void setTransitive()

isSymmetric

@PortedFrom(file="tRole.h",
            name="isSymmetric")
public boolean isSymmetric()

check whether the role is symmetric

isSymmetryKnown

@PortedFrom(file="tRole.h",
            name="isSymmetryKnown")
public boolean isSymmetryKnown()

check whether the symmetry of a role is known

setSymmetric

@PortedFrom(file="tRole.h",
            name="setSymmetric")
public void setSymmetric(boolean value)

set the symmetry of both role and it's inverse

setSymmetric

@PortedFrom(file="tRole.h",
            name="setSymmetric")
public void setSymmetric()

isAsymmetric

@PortedFrom(file="tRole.h",
            name="isAsymmetric")
public boolean isAsymmetric()

check whether the role is asymmetric

isAsymmetryKnown

@PortedFrom(file="tRole.h",
            name="isAsymmetryKnown")
public boolean isAsymmetryKnown()

check whether the asymmetry of a role is known

setAsymmetric

@PortedFrom(file="tRole.h",
            name="setAsymmetric")
public void setAsymmetric(boolean value)

set the asymmetry of both role and it's inverse

isReflexive

@PortedFrom(file="tRole.h",
            name="isReflexive")
public boolean isReflexive()

check whether the role is reflexive

isReflexivityKnown

@PortedFrom(file="tRole.h",
            name="isReflexivityKnown")
public boolean isReflexivityKnown()

check whether the reflexivity of a role is known

setReflexive

@PortedFrom(file="tRole.h",
            name="setReflexive")
public void setReflexive(boolean value)

set the reflexivity of both role and it's inverse

setReflexive

@PortedFrom(file="tRole.h",
            name="setReflexive")
public void setReflexive()

isIrreflexive

@PortedFrom(file="tRole.h",
            name="isIrreflexive")
public boolean isIrreflexive()

check whether the role is irreflexive

isIrreflexivityKnown

@PortedFrom(file="tRole.h",
            name="isIrreflexivityKnown")
public boolean isIrreflexivityKnown()

check whether the irreflexivity of a role is known

setIrreflexive

@PortedFrom(file="tRole.h",
            name="setIrreflexive")
public void setIrreflexive(boolean value)

set the irreflexivity of both role and it's inverse

setIrreflexive

@PortedFrom(file="tRole.h",
            name="setIrreflexive")
public void setIrreflexive()

isTopFunc

@PortedFrom(file="tRole.h",
            name="isTopFunc")
public boolean isTopFunc()

check if the role is topmost-functional (ie, has no functional ancestors)

setFunctional

@PortedFrom(file="tRole.h",
            name="setFunctional")
public void setFunctional(int fNode)

set functional attribute to given value (functional DAG vertex)

getFunctional

@PortedFrom(file="tRole.h",
            name="getFunctional")
public int getFunctional()

get the Functional DAG vertex

isRelevant

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

is given role relevant to given Labeller's state

setRelevant

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

make given role relevant to given Labeller's state

getDomainLabel

@PortedFrom(file="tRole.h",
            name="getDomainLabel")
public MergableLabel getDomainLabel()

get label of the role's domain

getRangeLabel

@PortedFrom(file="tRole.h",
            name="getRangeLabel")
public MergableLabel getRangeLabel()

get label of the role's range

setDomain

@PortedFrom(file="tRole.h",
            name="setDomain")
public void setDomain(DLTree p)

add p to domain of the role

setRange

@PortedFrom(file="tRole.h",
            name="setRange")
public void setRange(DLTree p)

add p to range of the role

getTDomain

@PortedFrom(file="tRole.h",
            name="getTDomain")
public DLTree getTDomain()

get domain-as-a-tree of the role

collectDomainFromSupers

@PortedFrom(file="tRole.h",
            name="collectDomainFromSupers")
public void collectDomainFromSupers()

merge to Domain all domains from super-roles

setBPDomain

@PortedFrom(file="tRole.h",
            name="setBPDomain")
public void setBPDomain(int p)

set domain-as-a-bipointer to a role

getBPDomain

@PortedFrom(file="tRole.h",
            name="getBPDomain")
public int getBPDomain()

get domain-as-a-bipointer of the role

getBPRange

@PortedFrom(file="tRole.h",
            name="getBPRange")
public int getBPRange()

get range-as-a-bipointer of the role

getIndex

@PortedFrom(file="tRole.h",
            name="getIndex")
public int getIndex()

Description copied from class: ClassifiableEntry

get the index value

Overrides:

getIndex in class ClassifiableEntry

addDisjointRole

@PortedFrom(file="tRole.h",
            name="addDisjointRole")
public void addDisjointRole(Role R)

set R and THIS as a disjoint; use it after Anc/Desc are determined

checkHierarchicalDisjoint

@PortedFrom(file="tRole.h",
            name="checkHierarchicalDisjoint")
public void checkHierarchicalDisjoint()

check (and correct) case whether R != S for R [= S

isDisjoint

@PortedFrom(file="tRole.h",
            name="isDisjoint")
public boolean isDisjoint()

check whether a role is disjoint with anything

isDisjoint

@PortedFrom(file="tRole.h",
            name="isDisjoint")
public boolean isDisjoint(Role r)

check whether a role is disjoint with R

lesserequal

@PortedFrom(file="tRole.h",
            name="<=")
public boolean lesserequal(Role r)

getAncestor

@PortedFrom(file="tRole.h",
            name="begin_anc")
public List<Role> getAncestor()

begin_topfunc

@PortedFrom(file="tRole.h",
            name="begin_topfunc")
public List<Role> begin_topfunc()

get access to the func super-roles w/o func parents via iterator

addComposition

@PortedFrom(file="tRole.h",
            name="addComposition")
public void addComposition(DLTree tree)

add composition to a role

getAutomaton

@PortedFrom(file="tRole.h",
            name="getAutomaton")
public RoleAutomaton getAutomaton()

get access to a RA for the role

eliminateToldCycles

@PortedFrom(file="tRole.h",
            name="eliminateToldCycles")
public Role eliminateToldCycles()

eliminate told role cycle

completeAutomaton

@PortedFrom(file="tRole.h",
            name="completeAutomaton")
public void completeAutomaton(int nRoles)

complete role automaton

consistent

@PortedFrom(file="tRole.h",
            name="consistent")
public void consistent()

check whether role description is consistent

resolveRole

@PortedFrom(file="tRole.h",
            name="resolveRole")
public static Role resolveRole(DLTree t)

Returns:

R or -R for T in the form (inv ... (inv R)...); remove synonyms

getAbsoluteIndex

@PortedFrom(file="tRole.h",
            name="getIndex")
public int getAbsoluteIndex()

get (unsigned) unique index of the role

addFeaturesToSynonym

@PortedFrom(file="tRole.h",
            name="addFeaturesToSynonym")
public void addFeaturesToSynonym()

toString

public String toString()

Overrides:

toString in class NamedEntry

print

@PortedFrom(file="tRole.h",
            name="print")
public void print(LogAdapter o)

initADbyTaxonomy

@PortedFrom(file="tRole.h",
            name="initADbyTaxonomy")
public void initADbyTaxonomy(Taxonomy pTax,
                                       int nRoles)

postProcess

@PortedFrom(file="tRole.h",
            name="postProcess")
public void postProcess()

getInverse

@Original
public Role getInverse()