uk.ac.manchester.cs.jfact.kernel

Class RoleMaster

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.RoleMaster

All Implemented Interfaces:

Serializable

@PortedFrom(file="RoleMaster.h",
            name="RoleMaster")
public class RoleMaster
extends Object
implements Serializable

role master

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
RoleMaster(boolean d, NamedEntity topRoleName, NamedEntity botRoleName, JFactReasonerConfiguration c)

Method Summary

Modifier and Type	Method and Description
void	addDisjointRoles(Role r, Role s) a pair of disjoint roles
static void	addRoleParent(DLTree tree, Role parent)
static void	addRoleParent(Role role, Role parent) add parent for the input role
static void	addRoleParentProper(Role role, Role parent) add parent for the input role
static void	addRoleSynonym(Role role, Role syn) add synonym to existing role
NamedEntry	ensureRoleName(org.semanticweb.owlapi.model.IRI name)
void	fillReflexiveRoles(List<Role> rr)
Role	getBotRole()
List<Role>	getRoles()
Taxonomy	getTaxonomy()
Role	getTopRole()
boolean	hasReflexiveRoles()
void	initAncDesc() init ancestor description
void	print(LogAdapter o, String type)
java.util.stream.Stream<Role>	roles()
void	setUndefinedNames(boolean val) change the undefined names usage policy
int	size()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

RoleMaster

public RoleMaster(boolean d,
                  NamedEntity topRoleName,
                  NamedEntity botRoleName,
                  JFactReasonerConfiguration c)

Parameters:

d - d

topRoleName - TopRoleName

botRoleName - BotRoleName

c - c

Method Detail

size

@PortedFrom(file="RoleMaster.h",
            name="size")
public int size()

Returns:

number of roles

ensureRoleName

@PortedFrom(file="RoleMaster.h",
            name="ensureRoleName")
public NamedEntry ensureRoleName(org.semanticweb.owlapi.model.IRI name)

Parameters:

name - name

Returns:

role entry with given name

addRoleSynonym

@PortedFrom(file="RoleMaster.h",
            name="addRoleSynonym")
public static void addRoleSynonym(Role role,
                                                                                                      Role syn)

add synonym to existing role

Parameters:

role - role

syn - syn

addRoleParentProper

@PortedFrom(file="RoleMaster.h",
            name="addRoleParentProper")
public static void addRoleParentProper(Role role,
                                                                                                                Role parent)

add parent for the input role

Parameters:

role - role

parent - parent

addDisjointRoles

@PortedFrom(file="RoleMaster.h",
            name="addDisjointRoles")
public void addDisjointRoles(Role r,
                                                                                                   Role s)

a pair of disjoint roles

Parameters:

r - R

s - S

setUndefinedNames

@PortedFrom(file="RoleMaster.h",
            name="setUndefinedNames")
public void setUndefinedNames(boolean val)

change the undefined names usage policy

Parameters:

val - val

getRoles

@PortedFrom(file="RoleMaster.h",
            name="begin")
public List<Role> getRoles()

Returns:

list of roles

getTaxonomy

@PortedFrom(file="RoleMaster.h",
            name="getTaxonomy")
public Taxonomy getTaxonomy()

Returns:

taxonomy

roles

public java.util.stream.Stream<Role> roles()

Returns:

role stream

print

@PortedFrom(file="RoleMaster.h",
            name="Print")
public void print(LogAdapter o,
                                                                             String type)

Parameters:

o - o

type - type

hasReflexiveRoles

@PortedFrom(file="RoleMaster.h",
            name="hasReflexiveRoles")
public boolean hasReflexiveRoles()

Returns:

true if there are reflexive roles

fillReflexiveRoles

@PortedFrom(file="RoleMaster.h",
            name="fillReflexiveRoles")
public void fillReflexiveRoles(List<Role> rr)

Parameters:

rr - RR

addRoleParent

@PortedFrom(file="RoleMaster.h",
            name="addRoleParent")
public static void addRoleParent(Role role,
                                                                                                    Role parent)

add parent for the input role

Parameters:

role - role

parent - parent

addRoleParent

@PortedFrom(file="RoleMaster.h",
            name="addRoleParent")
public static void addRoleParent(@Nullable
                                                                                                    DLTree tree,
                                                                                                    Role parent)

Parameters:

tree - tree

parent - parent

initAncDesc

@PortedFrom(file="RoleMaster.h",
            name="initAncDesc")
public void initAncDesc()

init ancestor description

getTopRole

@PortedFrom(file="RoleMaster.h",
            name="getTopRole")
public Role getTopRole()

Returns:

pointer to a TOP role

getBotRole

@PortedFrom(file="RoleMaster.h",
            name="getBotRole")
public Role getBotRole()

Returns:

pointer to a BOTTOM role