java.lang.Object
- openllet.core.boxes.rbox.RoleImpl

All Implemented Interfaces:

Role
```
public class RoleImpl
extends java.lang.Object
implements Role
```
Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields
Modifier and Type	Field	Description
`static int`	`ANTI_SYM`	Use `ASYM`
`static int`	`ASYM`
`static int`	`COMPLEX_SUB`
`static int`	`FORCE_SIMPLE`
`static int`	`FUNCTIONAL`
`static int`	`INV_FUNCTIONAL`
`static int`	`IRREFLEXIVE`
`static int`	`REFLEXIVE`
`static int`	`SIMPLE`
`static int`	`TRANSITIVE`

Constructor Summary

Constructors
Constructor Description

RoleImpl(openllet.aterm.ATermAppl name, PropertyType type)

Method Summary

All Methods Instance Methods Concrete Methods Deprecated Methods
Modifier and Type	Method	Description
`void`	`addDisjointRole(Role r, DependencySet ds)`
`boolean`	`addDomain(openllet.aterm.ATermAppl a, DependencySet ds)`
`void`	`addFunctionalSuper(Role r)`
`boolean`	`addRange(openllet.aterm.ATermAppl a, DependencySet ds)`
`void`	`addSubRole(Role r)`	r is subrole of this role
`void`	`addSubRole(Role r, DependencySet ds)`	Add sub role with depedency set.
`void`	`addSubRoleChain(openllet.aterm.ATermList chain)`	Add a sub role chain without dependency tracking information
`void`	`addSubRoleChain(openllet.aterm.ATermList chain, DependencySet ds)`	Add a sub role chain with dependency tracking.
`void`	`addSuperRole(Role r)`	r is superrole of this role
`void`	`addSuperRole(Role r, DependencySet ds)`
`void`	`addTransitiveSubRole(Role r)`
`java.lang.String`	`debugString()`
`boolean`	`equals(java.lang.Object o)`
`java.util.Set<Role>`	`getDisjointRoles()`
`java.util.Set<openllet.aterm.ATermAppl>`	`getDomains()`
`java.util.Set<Role>`	`getEquivalentProperties()`
`DependencySet`	`getExplainAsymmetric()`
`DependencySet`	`getExplainDisjointRole(Role role)`
`DependencySet`	`getExplainDomain(openllet.aterm.ATermAppl a)`
`DependencySet`	`getExplainFunctional()`
`DependencySet`	`getExplainInverseFunctional()`
`DependencySet`	`getExplainIrreflexive()`
`DependencySet`	`getExplainRange(openllet.aterm.ATermAppl a)`
`DependencySet`	`getExplainReflexive()`
`DependencySet`	`getExplainSub(openllet.aterm.ATerm r)`
`DependencySet`	`getExplainSubOrInv(Role r)`
`DependencySet`	`getExplainSuper(openllet.aterm.ATerm r)`
`DependencySet`	`getExplainSymmetric()`
`DependencySet`	`getExplainTransitive()`
`TransitionGraph<Role>`	`getFSM()`
`java.util.Set<Role>`	`getFunctionalSupers()`
`Role`	`getInverse()`
`openllet.aterm.ATermAppl`	`getName()`
`java.util.Set<Role>`	`getProperSubRoles()`
`java.util.Set<openllet.aterm.ATermAppl>`	`getRanges()`
`java.util.Set<openllet.aterm.ATermList>`	`getSubRoleChains()`
`java.util.Set<Role>`	`getSubRoles()`
`java.util.Set<Role>`	`getSuperRoles()`
`java.util.Set<Role>`	`getTransitiveSubRoles()`
`PropertyType`	`getType()`
`java.lang.String`	`getTypeName()`
`boolean`	`hasComplexSubRole()`
`int`	`hashCode()`
`boolean`	`hasNamedInverse()`
`boolean`	`isAnnotationRole()`	check if a role is declared as datatype property
`boolean`	`isAnon()`
`boolean`	`isAntisymmetric()`	Deprecated. Use `isAsymmetric()`
`boolean`	`isAsymmetric()`
`boolean`	`isBottom()`
`boolean`	`isBuiltin()`
`boolean`	`isDatatypeRole()`
`boolean`	`isEquivalent(Role r)`
`boolean`	`isForceSimple()`
`boolean`	`isFunctional()`
`boolean`	`isInverseFunctional()`
`boolean`	`isIrreflexive()`
`boolean`	`isObjectRole()`
`boolean`	`isReflexive()`
`boolean`	`isSimple()`
`boolean`	`isSubRoleOf(Role r)`
`boolean`	`isSuperRoleOf(Role r)`
`boolean`	`isSymmetric()`
`boolean`	`isTop()`
`boolean`	`isTransitive()`
`boolean`	`isUntypedRole()`
`boolean`	`removeDomain(openllet.aterm.ATermAppl a, DependencySet ds)`
`boolean`	`removeRange(openllet.aterm.ATermAppl a, DependencySet ds)`
`void`	`removeSubRole(Role r)`
`void`	`removeSubRoleChain(openllet.aterm.ATermList chain)`
`void`	`removeSubRoleChains()`
`void`	`resetDomainRange()`
`void`	`setAntisymmetric(boolean b)`	Deprecated. Use `setAsymmetric(boolean)`
`void`	`setAsymmetric(boolean b)`
`void`	`setAsymmetric(boolean b, DependencySet ds)`
`void`	`setForceSimple(boolean b)`
`void`	`setFSM(TransitionGraph<Role> tg)`
`void`	`setFunctional(boolean b)`
`void`	`setFunctional(boolean b, DependencySet ds)`
`void`	`setHasComplexSubRole(boolean b)`
`void`	`setInverse(Role term)`
`void`	`setInverseFunctional(boolean b)`
`void`	`setInverseFunctional(boolean b, DependencySet ds)`
`void`	`setIrreflexive(boolean b)`
`void`	`setIrreflexive(boolean b, DependencySet ds)`
`void`	`setReflexive(boolean b)`
`void`	`setReflexive(boolean b, DependencySet ds)`
`void`	`setSimple(boolean b)`
`void`	`setSubRolesAndChains(java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies)`
`void`	`setSuperRoles(java.util.Set<Role> superRoles)`
`void`	`setTransitive(boolean b)`
`void`	`setTransitive(boolean b, DependencySet ds)`
`void`	`setType(PropertyType type)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

- Field Detail
  - TRANSITIVE
```
public static int TRANSITIVE
```
  - FUNCTIONAL
```
public static int FUNCTIONAL
```
  - INV_FUNCTIONAL
```
public static int INV_FUNCTIONAL
```
  - REFLEXIVE
```
public static int REFLEXIVE
```
  - IRREFLEXIVE
```
public static int IRREFLEXIVE
```
  - ASYM
```
public static int ASYM
```
  - ANTI_SYM
```
public static int ANTI_SYM
```
    Use ASYM
  - SIMPLE
```
public static int SIMPLE
```
  - COMPLEX_SUB
```
public static int COMPLEX_SUB
```
  - FORCE_SIMPLE
```
public static int FORCE_SIMPLE
```
- Constructor Detail
  - RoleImpl
```
public RoleImpl(openllet.aterm.ATermAppl name,
                PropertyType type)
```
- Method Detail
  - equals
```
public boolean equals(java.lang.Object o)
```
    Overrides:
    
    equals in class java.lang.Object
  - hashCode
```
public int hashCode()
```
    Overrides:
    
    hashCode in class java.lang.Object
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - debugString
```
public java.lang.String debugString()
```
    Specified by:
    
    debugString in interface Role
  - addSubRoleChain
```
public void addSubRoleChain(openllet.aterm.ATermList chain)
```
    Add a sub role chain without dependency tracking information
    
    Specified by:
    
    addSubRoleChain in interface Role
    
    Parameters:
    
    chain -
  - addSubRoleChain
```
public void addSubRoleChain(openllet.aterm.ATermList chain,
                            DependencySet ds)
```
    Add a sub role chain with dependency tracking.
    
    Specified by:
    
    addSubRoleChain in interface Role
    
    Parameters:
    
    chain - List of role names of at least length 2.
    
    ds -
  - removeSubRoleChain
```
public void removeSubRoleChain(openllet.aterm.ATermList chain)
```
    Specified by:
    
    removeSubRoleChain in interface Role
  - removeSubRoleChains
```
public void removeSubRoleChains()
```
    Specified by:
    
    removeSubRoleChains in interface Role
  - addSubRole
```
public void addSubRole(Role r)
```
    r is subrole of this role
    
    Specified by:
    
    addSubRole in interface Role
    
    Parameters:
    
    r -
  - addSubRole
```
public void addSubRole(Role r,
                       DependencySet ds)
```
    Add sub role with depedency set.
    
    Specified by:
    
    addSubRole in interface Role
    
    Parameters:
    
    r - subrole of this role
    
    ds -
  - removeDomain
```
public boolean removeDomain(openllet.aterm.ATermAppl a,
                            DependencySet ds)
```
    Specified by:
    
    removeDomain in interface Role
  - removeRange
```
public boolean removeRange(openllet.aterm.ATermAppl a,
                           DependencySet ds)
```
    Specified by:
    
    removeRange in interface Role
  - resetDomainRange
```
public void resetDomainRange()
```
    Specified by:
    
    resetDomainRange in interface Role
  - removeSubRole
```
public void removeSubRole(Role r)
```
    Specified by:
    
    removeSubRole in interface Role
  - addSuperRole
```
public void addSuperRole(Role r)
```
    r is superrole of this role
    
    Specified by:
    
    addSuperRole in interface Role
    
    Parameters:
    
    r -
  - addSuperRole
```
public void addSuperRole(Role r,
                         DependencySet ds)
```
    Specified by:
    
    addSuperRole in interface Role
  - addDisjointRole
```
public void addDisjointRole(Role r,
                            DependencySet ds)
```
    Specified by:
    
    addDisjointRole in interface Role
  - addDomain
```
public boolean addDomain(openllet.aterm.ATermAppl a,
                         DependencySet ds)
```
    Specified by:
    
    addDomain in interface Role
  - addRange
```
public boolean addRange(openllet.aterm.ATermAppl a,
                        DependencySet ds)
```
    Specified by:
    
    addRange in interface Role
  - isObjectRole
```
public boolean isObjectRole()
```
    Specified by:
    
    isObjectRole in interface Role
  - isDatatypeRole
```
public boolean isDatatypeRole()
```
    Specified by:
    
    isDatatypeRole in interface Role
  - isAnnotationRole
```
public boolean isAnnotationRole()
```
    check if a role is declared as datatype property
    
    Specified by:
    
    isAnnotationRole in interface Role
    
    Returns:
    
    true if a role is declared as datatype property
  - isUntypedRole
```
public boolean isUntypedRole()
```
    Specified by:
    
    isUntypedRole in interface Role
  - getInverse
```
public Role getInverse()
```
    Specified by:
    
    getInverse in interface Role
  - hasNamedInverse
```
public boolean hasNamedInverse()
```
    Specified by:
    
    hasNamedInverse in interface Role
  - hasComplexSubRole
```
public boolean hasComplexSubRole()
```
    Specified by:
    
    hasComplexSubRole in interface Role
  - isFunctional
```
public boolean isFunctional()
```
    Specified by:
    
    isFunctional in interface Role
  - isInverseFunctional
```
public boolean isInverseFunctional()
```
    Specified by:
    
    isInverseFunctional in interface Role
  - isSymmetric
```
public boolean isSymmetric()
```
    Specified by:
    
    isSymmetric in interface Role
  - isAntisymmetric
```
@Deprecated
public boolean isAntisymmetric()
```
    Deprecated.
    Use isAsymmetric()
    
    Returns:
    
    DO NOT USE
  - isAsymmetric
```
public boolean isAsymmetric()
```
    Specified by:
    
    isAsymmetric in interface Role
  - isTransitive
```
public boolean isTransitive()
```
    Specified by:
    
    isTransitive in interface Role
  - isReflexive
```
public boolean isReflexive()
```
    Specified by:
    
    isReflexive in interface Role
  - isIrreflexive
```
public boolean isIrreflexive()
```
    Specified by:
    
    isIrreflexive in interface Role
  - isAnon
```
public boolean isAnon()
```
    Specified by:
    
    isAnon in interface Role
  - getName
```
public openllet.aterm.ATermAppl getName()
```
    Specified by:
    
    getName in interface Role
  - getDomains
```
public java.util.Set<openllet.aterm.ATermAppl> getDomains()
```
    Specified by:
    
    getDomains in interface Role
  - getRanges
```
public java.util.Set<openllet.aterm.ATermAppl> getRanges()
```
    Specified by:
    
    getRanges in interface Role
  - getSubRoles
```
public java.util.Set<Role> getSubRoles()
```
    Specified by:
    
    getSubRoles in interface Role
  - getEquivalentProperties
```
public java.util.Set<Role> getEquivalentProperties()
```
    Specified by:
    
    getEquivalentProperties in interface Role
  - isEquivalent
```
public boolean isEquivalent(Role r)
```
    Specified by:
    
    isEquivalent in interface Role
  - getProperSubRoles
```
public java.util.Set<Role> getProperSubRoles()
```
    Specified by:
    
    getProperSubRoles in interface Role
  - getSubRoleChains
```
public java.util.Set<openllet.aterm.ATermList> getSubRoleChains()
```
    Specified by:
    
    getSubRoleChains in interface Role
  - getSuperRoles
```
public java.util.Set<Role> getSuperRoles()
```
    Specified by:
    
    getSuperRoles in interface Role
  - getDisjointRoles
```
public java.util.Set<Role> getDisjointRoles()
```
    Specified by:
    
    getDisjointRoles in interface Role
  - getExplainDisjointRole
```
public DependencySet getExplainDisjointRole(Role role)
```
    Specified by:
    
    getExplainDisjointRole in interface Role
  - getType
```
public PropertyType getType()
```
    Specified by:
    
    getType in interface Role
  - getTypeName
```
public java.lang.String getTypeName()
```
    Specified by:
    
    getTypeName in interface Role
  - isSubRoleOf
```
public boolean isSubRoleOf(Role r)
```
    Specified by:
    
    isSubRoleOf in interface Role
  - isSuperRoleOf
```
public boolean isSuperRoleOf(Role r)
```
    Specified by:
    
    isSuperRoleOf in interface Role
  - setInverse
```
public void setInverse(Role term)
```
    Specified by:
    
    setInverse in interface Role
  - setFunctional
```
public void setFunctional(boolean b)
```
    Specified by:
    
    setFunctional in interface Role
  - setFunctional
```
public void setFunctional(boolean b,
                          DependencySet ds)
```
    Specified by:
    
    setFunctional in interface Role
  - setInverseFunctional
```
public void setInverseFunctional(boolean b)
```
    Specified by:
    
    setInverseFunctional in interface Role
  - setInverseFunctional
```
public void setInverseFunctional(boolean b,
                                 DependencySet ds)
```
    Specified by:
    
    setInverseFunctional in interface Role
  - setTransitive
```
public void setTransitive(boolean b)
```
    Specified by:
    
    setTransitive in interface Role
  - setTransitive
```
public void setTransitive(boolean b,
                          DependencySet ds)
```
    Specified by:
    
    setTransitive in interface Role
  - setReflexive
```
public void setReflexive(boolean b)
```
    Specified by:
    
    setReflexive in interface Role
  - setReflexive
```
public void setReflexive(boolean b,
                         DependencySet ds)
```
    Specified by:
    
    setReflexive in interface Role
  - setIrreflexive
```
public void setIrreflexive(boolean b)
```
    Specified by:
    
    setIrreflexive in interface Role
  - setIrreflexive
```
public void setIrreflexive(boolean b,
                           DependencySet ds)
```
    Specified by:
    
    setIrreflexive in interface Role
  - setAntisymmetric
```
@Deprecated
public void setAntisymmetric(boolean b)
```
    Deprecated.
    Use setAsymmetric(boolean)
    
    Parameters:
    
    b -
  - setAsymmetric
```
public void setAsymmetric(boolean b)
```
    Specified by:
    
    setAsymmetric in interface Role
  - setAsymmetric
```
public void setAsymmetric(boolean b,
                          DependencySet ds)
```
    Specified by:
    
    setAsymmetric in interface Role
  - setHasComplexSubRole
```
public void setHasComplexSubRole(boolean b)
```
    Specified by:
    
    setHasComplexSubRole in interface Role
  - setType
```
public void setType(PropertyType type)
```
    Specified by:
    
    setType in interface Role
  - setSubRolesAndChains
```
public void setSubRolesAndChains(java.util.Set<Role> subRoles,
                                 java.util.Set<openllet.aterm.ATermList> subRoleChains,
                                 java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies)
```
    Specified by:
    
    setSubRolesAndChains in interface Role
    
    Parameters:
    
    subRoleChains -
    
    dependencies - map from role names (or lists) to dependencies
  - setSuperRoles
```
public void setSuperRoles(java.util.Set<Role> superRoles)
```
    Specified by:
    
    setSuperRoles in interface Role
    
    Parameters:
    
    superRoles - The _superRoles to set.
  - getFunctionalSupers
```
public java.util.Set<Role> getFunctionalSupers()
```
    Specified by:
    
    getFunctionalSupers in interface Role
    
    Returns:
    
    Returns the functionalSuper.
  - addFunctionalSuper
```
public void addFunctionalSuper(Role r)
```
    Specified by:
    
    addFunctionalSuper in interface Role
    
    Parameters:
    
    r - The functionalSuper to set.
  - setForceSimple
```
public void setForceSimple(boolean b)
```
    Specified by:
    
    setForceSimple in interface Role
  - isForceSimple
```
public boolean isForceSimple()
```
    Specified by:
    
    isForceSimple in interface Role
  - isSimple
```
public boolean isSimple()
```
    Specified by:
    
    isSimple in interface Role
  - setSimple
```
public void setSimple(boolean b)
```
    Specified by:
    
    setSimple in interface Role
  - getTransitiveSubRoles
```
public java.util.Set<Role> getTransitiveSubRoles()
```
    Specified by:
    
    getTransitiveSubRoles in interface Role
    
    Returns:
    
    Returns transitive sub roles.
  - addTransitiveSubRole
```
public void addTransitiveSubRole(Role r)
```
    Specified by:
    
    addTransitiveSubRole in interface Role
    
    Parameters:
    
    r - The transtive sub role to add.
  - setFSM
```
public void setFSM(TransitionGraph<Role> tg)
```
    Specified by:
    
    setFSM in interface Role
  - getFSM
```
public TransitionGraph<Role> getFSM()
```
    Specified by:
    
    getFSM in interface Role
  - getExplainAsymmetric
```
public DependencySet getExplainAsymmetric()
```
    Specified by:
    
    getExplainAsymmetric in interface Role
  - getExplainDomain
```
public DependencySet getExplainDomain(openllet.aterm.ATermAppl a)
```
    Specified by:
    
    getExplainDomain in interface Role
  - getExplainFunctional
```
public DependencySet getExplainFunctional()
```
    Specified by:
    
    getExplainFunctional in interface Role
  - getExplainInverseFunctional
```
public DependencySet getExplainInverseFunctional()
```
    Specified by:
    
    getExplainInverseFunctional in interface Role
  - getExplainIrreflexive
```
public DependencySet getExplainIrreflexive()
```
    Specified by:
    
    getExplainIrreflexive in interface Role
  - getExplainRange
```
public DependencySet getExplainRange(openllet.aterm.ATermAppl a)
```
    Specified by:
    
    getExplainRange in interface Role
  - getExplainReflexive
```
public DependencySet getExplainReflexive()
```
    Specified by:
    
    getExplainReflexive in interface Role
  - getExplainSub
```
public DependencySet getExplainSub(openllet.aterm.ATerm r)
```
    Specified by:
    
    getExplainSub in interface Role
  - getExplainSubOrInv
```
public DependencySet getExplainSubOrInv(Role r)
```
    Specified by:
    
    getExplainSubOrInv in interface Role
  - getExplainSuper
```
public DependencySet getExplainSuper(openllet.aterm.ATerm r)
```
    Specified by:
    
    getExplainSuper in interface Role
  - getExplainSymmetric
```
public DependencySet getExplainSymmetric()
```
    Specified by:
    
    getExplainSymmetric in interface Role
  - getExplainTransitive
```
public DependencySet getExplainTransitive()
```
    Specified by:
    
    getExplainTransitive in interface Role
  - isTop
```
public boolean isTop()
```
    Specified by:
    
    isTop in interface Role
  - isBottom
```
public boolean isBottom()
```
    Specified by:
    
    isBottom in interface Role
  - isBuiltin
```
public boolean isBuiltin()
```
    Specified by:
    
    isBuiltin in interface Role

Class RoleImpl

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

TRANSITIVE

FUNCTIONAL

INV_FUNCTIONAL

REFLEXIVE

IRREFLEXIVE

ASYM

ANTI_SYM

SIMPLE

COMPLEX_SUB

FORCE_SIMPLE

Constructor Detail

RoleImpl

Method Detail

equals

hashCode

toString

debugString

addSubRoleChain

addSubRoleChain

removeSubRoleChain

removeSubRoleChains

addSubRole

addSubRole

removeDomain

removeRange

resetDomainRange

removeSubRole

addSuperRole

addSuperRole

addDisjointRole

addDomain

addRange

isObjectRole

isDatatypeRole

isAnnotationRole

isUntypedRole

getInverse

hasNamedInverse

hasComplexSubRole

isFunctional

isInverseFunctional

isSymmetric

isAntisymmetric

isAsymmetric

isTransitive

isReflexive

isIrreflexive

isAnon

getName

getDomains

getRanges

getSubRoles

getEquivalentProperties

isEquivalent

getProperSubRoles

getSubRoleChains

getSuperRoles

getDisjointRoles

getExplainDisjointRole

getType

getTypeName

isSubRoleOf

isSuperRoleOf

setInverse

setFunctional

setFunctional

setInverseFunctional

setInverseFunctional

setTransitive

setTransitive

setReflexive

setReflexive

setIrreflexive

setIrreflexive