Package openllet.core.boxes.rbox
Class RoleImpl
- java.lang.Object
-
- openllet.core.boxes.rbox.RoleImpl
-
-
Field Summary
Fields Modifier and Type Field Description static int
ANTI_SYM
UseASYM
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 rolevoid
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 informationvoid
addSubRoleChain(openllet.aterm.ATermList chain, DependencySet ds)
Add a sub role chain with dependency tracking.void
addSuperRole(Role r)
r is superrole of this rolevoid
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 propertyboolean
isAnon()
boolean
isAntisymmetric()
Deprecated.UseisAsymmetric()
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.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()
-
-
-
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
UseASYM
-
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 classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
debugString
public java.lang.String debugString()
- Specified by:
debugString
in interfaceRole
-
addSubRoleChain
public void addSubRoleChain(openllet.aterm.ATermList chain)
Add a sub role chain without dependency tracking information- Specified by:
addSubRoleChain
in interfaceRole
- Parameters:
chain
-
-
addSubRoleChain
public void addSubRoleChain(openllet.aterm.ATermList chain, DependencySet ds)
Add a sub role chain with dependency tracking.- Specified by:
addSubRoleChain
in interfaceRole
- Parameters:
chain
- List of role names of at least length 2.ds
-
-
removeSubRoleChain
public void removeSubRoleChain(openllet.aterm.ATermList chain)
- Specified by:
removeSubRoleChain
in interfaceRole
-
removeSubRoleChains
public void removeSubRoleChains()
- Specified by:
removeSubRoleChains
in interfaceRole
-
addSubRole
public void addSubRole(Role r)
r is subrole of this role- Specified by:
addSubRole
in interfaceRole
- Parameters:
r
-
-
addSubRole
public void addSubRole(Role r, DependencySet ds)
Add sub role with depedency set.- Specified by:
addSubRole
in interfaceRole
- Parameters:
r
- subrole of this roleds
-
-
removeDomain
public boolean removeDomain(openllet.aterm.ATermAppl a, DependencySet ds)
- Specified by:
removeDomain
in interfaceRole
-
removeRange
public boolean removeRange(openllet.aterm.ATermAppl a, DependencySet ds)
- Specified by:
removeRange
in interfaceRole
-
resetDomainRange
public void resetDomainRange()
- Specified by:
resetDomainRange
in interfaceRole
-
removeSubRole
public void removeSubRole(Role r)
- Specified by:
removeSubRole
in interfaceRole
-
addSuperRole
public void addSuperRole(Role r)
r is superrole of this role- Specified by:
addSuperRole
in interfaceRole
- Parameters:
r
-
-
addSuperRole
public void addSuperRole(Role r, DependencySet ds)
- Specified by:
addSuperRole
in interfaceRole
-
addDisjointRole
public void addDisjointRole(Role r, DependencySet ds)
- Specified by:
addDisjointRole
in interfaceRole
-
addDomain
public boolean addDomain(openllet.aterm.ATermAppl a, DependencySet ds)
-
addRange
public boolean addRange(openllet.aterm.ATermAppl a, DependencySet ds)
-
isObjectRole
public boolean isObjectRole()
- Specified by:
isObjectRole
in interfaceRole
-
isDatatypeRole
public boolean isDatatypeRole()
- Specified by:
isDatatypeRole
in interfaceRole
-
isAnnotationRole
public boolean isAnnotationRole()
check if a role is declared as datatype property- Specified by:
isAnnotationRole
in interfaceRole
- Returns:
- true if a role is declared as datatype property
-
isUntypedRole
public boolean isUntypedRole()
- Specified by:
isUntypedRole
in interfaceRole
-
getInverse
public Role getInverse()
- Specified by:
getInverse
in interfaceRole
-
hasNamedInverse
public boolean hasNamedInverse()
- Specified by:
hasNamedInverse
in interfaceRole
-
hasComplexSubRole
public boolean hasComplexSubRole()
- Specified by:
hasComplexSubRole
in interfaceRole
-
isFunctional
public boolean isFunctional()
- Specified by:
isFunctional
in interfaceRole
-
isInverseFunctional
public boolean isInverseFunctional()
- Specified by:
isInverseFunctional
in interfaceRole
-
isSymmetric
public boolean isSymmetric()
- Specified by:
isSymmetric
in interfaceRole
-
isAntisymmetric
@Deprecated public boolean isAntisymmetric()
Deprecated.UseisAsymmetric()
- Returns:
- DO NOT USE
-
isAsymmetric
public boolean isAsymmetric()
- Specified by:
isAsymmetric
in interfaceRole
-
isTransitive
public boolean isTransitive()
- Specified by:
isTransitive
in interfaceRole
-
isReflexive
public boolean isReflexive()
- Specified by:
isReflexive
in interfaceRole
-
isIrreflexive
public boolean isIrreflexive()
- Specified by:
isIrreflexive
in interfaceRole
-
getDomains
public java.util.Set<openllet.aterm.ATermAppl> getDomains()
- Specified by:
getDomains
in interfaceRole
-
getRanges
public java.util.Set<openllet.aterm.ATermAppl> getRanges()
-
getSubRoles
public java.util.Set<Role> getSubRoles()
- Specified by:
getSubRoles
in interfaceRole
-
getEquivalentProperties
public java.util.Set<Role> getEquivalentProperties()
- Specified by:
getEquivalentProperties
in interfaceRole
-
isEquivalent
public boolean isEquivalent(Role r)
- Specified by:
isEquivalent
in interfaceRole
-
getProperSubRoles
public java.util.Set<Role> getProperSubRoles()
- Specified by:
getProperSubRoles
in interfaceRole
-
getSubRoleChains
public java.util.Set<openllet.aterm.ATermList> getSubRoleChains()
- Specified by:
getSubRoleChains
in interfaceRole
-
getSuperRoles
public java.util.Set<Role> getSuperRoles()
- Specified by:
getSuperRoles
in interfaceRole
-
getDisjointRoles
public java.util.Set<Role> getDisjointRoles()
- Specified by:
getDisjointRoles
in interfaceRole
-
getExplainDisjointRole
public DependencySet getExplainDisjointRole(Role role)
- Specified by:
getExplainDisjointRole
in interfaceRole
-
getType
public PropertyType getType()
-
getTypeName
public java.lang.String getTypeName()
- Specified by:
getTypeName
in interfaceRole
-
isSubRoleOf
public boolean isSubRoleOf(Role r)
- Specified by:
isSubRoleOf
in interfaceRole
-
isSuperRoleOf
public boolean isSuperRoleOf(Role r)
- Specified by:
isSuperRoleOf
in interfaceRole
-
setInverse
public void setInverse(Role term)
- Specified by:
setInverse
in interfaceRole
-
setFunctional
public void setFunctional(boolean b)
- Specified by:
setFunctional
in interfaceRole
-
setFunctional
public void setFunctional(boolean b, DependencySet ds)
- Specified by:
setFunctional
in interfaceRole
-
setInverseFunctional
public void setInverseFunctional(boolean b)
- Specified by:
setInverseFunctional
in interfaceRole
-
setInverseFunctional
public void setInverseFunctional(boolean b, DependencySet ds)
- Specified by:
setInverseFunctional
in interfaceRole
-
setTransitive
public void setTransitive(boolean b)
- Specified by:
setTransitive
in interfaceRole
-
setTransitive
public void setTransitive(boolean b, DependencySet ds)
- Specified by:
setTransitive
in interfaceRole
-
setReflexive
public void setReflexive(boolean b)
- Specified by:
setReflexive
in interfaceRole
-
setReflexive
public void setReflexive(boolean b, DependencySet ds)
- Specified by:
setReflexive
in interfaceRole
-
setIrreflexive
public void setIrreflexive(boolean b)
- Specified by:
setIrreflexive
in interfaceRole
-
setIrreflexive
public void setIrreflexive(boolean b, DependencySet ds)
- Specified by:
setIrreflexive
in interfaceRole
-
setAntisymmetric
@Deprecated public void setAntisymmetric(boolean b)
Deprecated.- Parameters:
b
-
-
setAsymmetric
public void setAsymmetric(boolean b)
- Specified by:
setAsymmetric
in interfaceRole
-
setAsymmetric
public void setAsymmetric(boolean b, DependencySet ds)
- Specified by:
setAsymmetric
in interfaceRole
-
setHasComplexSubRole
public void setHasComplexSubRole(boolean b)
- Specified by:
setHasComplexSubRole
in interfaceRole
-
setType
public void setType(PropertyType type)
-
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 interfaceRole
- Parameters:
subRoleChains
-dependencies
- map from role names (or lists) to dependencies
-
setSuperRoles
public void setSuperRoles(java.util.Set<Role> superRoles)
- Specified by:
setSuperRoles
in interfaceRole
- Parameters:
superRoles
- The _superRoles to set.
-
getFunctionalSupers
public java.util.Set<Role> getFunctionalSupers()
- Specified by:
getFunctionalSupers
in interfaceRole
- Returns:
- Returns the functionalSuper.
-
addFunctionalSuper
public void addFunctionalSuper(Role r)
- Specified by:
addFunctionalSuper
in interfaceRole
- Parameters:
r
- The functionalSuper to set.
-
setForceSimple
public void setForceSimple(boolean b)
- Specified by:
setForceSimple
in interfaceRole
-
isForceSimple
public boolean isForceSimple()
- Specified by:
isForceSimple
in interfaceRole
-
getTransitiveSubRoles
public java.util.Set<Role> getTransitiveSubRoles()
- Specified by:
getTransitiveSubRoles
in interfaceRole
- Returns:
- Returns transitive sub roles.
-
addTransitiveSubRole
public void addTransitiveSubRole(Role r)
- Specified by:
addTransitiveSubRole
in interfaceRole
- Parameters:
r
- The transtive sub role to add.
-
setFSM
public void setFSM(TransitionGraph<Role> tg)
-
getFSM
public TransitionGraph<Role> getFSM()
-
getExplainAsymmetric
public DependencySet getExplainAsymmetric()
- Specified by:
getExplainAsymmetric
in interfaceRole
-
getExplainDomain
public DependencySet getExplainDomain(openllet.aterm.ATermAppl a)
- Specified by:
getExplainDomain
in interfaceRole
-
getExplainFunctional
public DependencySet getExplainFunctional()
- Specified by:
getExplainFunctional
in interfaceRole
-
getExplainInverseFunctional
public DependencySet getExplainInverseFunctional()
- Specified by:
getExplainInverseFunctional
in interfaceRole
-
getExplainIrreflexive
public DependencySet getExplainIrreflexive()
- Specified by:
getExplainIrreflexive
in interfaceRole
-
getExplainRange
public DependencySet getExplainRange(openllet.aterm.ATermAppl a)
- Specified by:
getExplainRange
in interfaceRole
-
getExplainReflexive
public DependencySet getExplainReflexive()
- Specified by:
getExplainReflexive
in interfaceRole
-
getExplainSub
public DependencySet getExplainSub(openllet.aterm.ATerm r)
- Specified by:
getExplainSub
in interfaceRole
-
getExplainSubOrInv
public DependencySet getExplainSubOrInv(Role r)
- Specified by:
getExplainSubOrInv
in interfaceRole
-
getExplainSuper
public DependencySet getExplainSuper(openllet.aterm.ATerm r)
- Specified by:
getExplainSuper
in interfaceRole
-
getExplainSymmetric
public DependencySet getExplainSymmetric()
- Specified by:
getExplainSymmetric
in interfaceRole
-
getExplainTransitive
public DependencySet getExplainTransitive()
- Specified by:
getExplainTransitive
in interfaceRole
-
-