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

All Implemented Interfaces:

Serializable, org.semanticweb.owlapi.model.HasIRI

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

Role

See Also:

Serialized Form

Method Summary

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() copy role information (like transitivity, functionality, etc) to synonym
void	addParent(ClassifiableEntry parent) add told subsumer of entry (duplications possible)
List<Role>	beginTopfunc()
void	checkHierarchicalDisjoint() check (and correct) case whether R != S for R [= S
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()
List<Role>	getAncestor()
RoleAutomaton	getAutomaton()
int	getBPDomain()
int	getBPRange()
MergableLabel	getDomainLabel()
int	getFunctional()
Role	getInverse()
MergableLabel	getRangeLabel()
DLTree	getTDomain()
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()
boolean	isAsymmetric()
boolean	isAsymmetryKnown()
boolean	isDataRole()
boolean	isDisjoint()
boolean	isDisjoint(Role r)
boolean	isFunctional()
boolean	isFunctionalityKnown()
boolean	isIrreflexive()
boolean	isIrreflexivityKnown()
boolean	isReflexive()
boolean	isReflexivityKnown()
boolean	isRelevant(long lab)
boolean	isSimple()
boolean	isSymmetric()
boolean	isSymmetryKnown()
boolean	isTopFunc()
boolean	isTransitive()
boolean	isTransitivityKnown()
boolean	lesserequal(Role r)
void	mergeSupersDomain() merge domains
void	postProcess() post process
void	print(LogAdapter o)
Role	realInverse()
static Role	resolveRole(DLTree t)
static Role	resolveRole(DLTree t, String r)
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(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(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(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(boolean value) set the symmetry of both role and it's inverse
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

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

Method Detail

mergeSupersDomain

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

merge domains

inverse

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

Returns:

inverse of given role (non- version)

realInverse

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

Returns:

real inverse of a role (RO)

setInverse

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

set inverse to given role

Parameters:

p - p

isSimple

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

Returns:

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

getTSpecialDomain

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

Returns:

special domain

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

Parameters:

bp - bp

isDataRole

@Original
public boolean isDataRole()

Returns:

distinguish data- and non-data role

setDataRole

@Original
public void setDataRole(boolean action)

Parameters:

action - action

isFunctional

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

Returns:

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

isFunctionalityKnown

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

Returns:

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

Parameters:

value - 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()

Returns:

check whether the role is transitive

isTransitivityKnown

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

Returns:

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

Parameters:

value - value

isSymmetric

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

Returns:

check whether the role is symmetric

isSymmetryKnown

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

Returns:

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

Parameters:

value - value

isAsymmetric

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

Returns:

check whether the role is asymmetric

isAsymmetryKnown

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

Returns:

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

Parameters:

value - value

isReflexive

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

Returns:

check whether the role is reflexive

isReflexivityKnown

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

Returns:

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

Parameters:

value - value

isIrreflexive

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

Returns:

check whether the role is irreflexive

isIrreflexivityKnown

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

Returns:

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

Parameters:

value - value

isTopFunc

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

Returns:

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)

Parameters:

fNode - fNode

getFunctional

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

Returns:

get the Functional DAG vertex

isRelevant

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

Parameters:

lab - lab

Returns:

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

Parameters:

lab - lab

getDomainLabel

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

Returns:

label of the role's domain

getRangeLabel

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

Returns:

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

Parameters:

p - p

setRange

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

add p to range of the role

Parameters:

p - p

getTDomain

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

Returns:

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

Parameters:

p - p

getBPDomain

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

Returns:

domain-as-a-bipointer of the role

getBPRange

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

Returns:

range-as-a-bipointer of the role

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

Parameters:

r - R

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()

Returns:

check whether a role is disjoint with anything

isDisjoint

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

Parameters:

r - r

Returns:

check whether a role is disjoint with R

lesserequal

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

Parameters:

r - r

Returns:

true if lesser or equal to r

getAncestor

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

Returns:

list of ancestor roles

beginTopfunc

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

Returns:

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

Parameters:

tree - tree

addParent

public void addParent(ClassifiableEntry parent)

Description copied from class: ClassifiableEntry

add told subsumer of entry (duplications possible)

Overrides:

addParent in class ClassifiableEntry

Parameters:

parent - parent

getAutomaton

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

Returns:

RA for the role

eliminateToldCycles

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

eliminate told role cycle

Returns:

rewritten role

completeAutomaton

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

complete role automaton

Parameters:

nRoles - nRoles

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,
                                                                                           String r)

Parameters:

t - t

r - r reason

Returns:

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

resolveRole

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

Parameters:

t - 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()

Returns:

(unsigned) unique index of the role

addFeaturesToSynonym

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

copy role information (like transitivity, functionality, etc) to synonym

toString

public String toString()

Overrides:

toString in class NamedEntry

print

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

Parameters:

o - o

initADbyTaxonomy

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

Parameters:

pTax - pTax

nRoles - nRoles

postProcess

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

post process

getInverse

@Original
public Role getInverse()

Returns:

inverse