|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.Role
public class Role
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Field Summary | |
|---|---|
static int |
ANNOTATION
|
static int |
ANTI_SYM
Use ASYM |
static int |
ASYM
|
static int |
COMPLEX_SUB
|
static int |
DATATYPE
|
static int |
FORCE_SIMPLE
|
static int |
FUNCTIONAL
|
static int |
INV_FUNCTIONAL
|
static int |
IRREFLEXIVE
|
static int |
OBJECT
|
static int |
ONTOLOGY
|
static int |
REFLEXIVE
|
static int |
SIMPLE
|
static int |
TRANSITIVE
|
static java.lang.String[] |
TYPES
|
static int |
UNDEFINED
Deprecated. Use UNTYPED instead |
static int |
UNTYPED
|
| Constructor Summary | |
|---|---|
Role(aterm.ATermAppl name)
|
|
Role(aterm.ATermAppl name,
int type)
|
|
| Method Summary | |
|---|---|
void |
addDisjointRole(Role r,
DependencySet ds)
|
void |
addFunctionalSuper(Role r)
|
void |
addSubRole(Role r)
r is subrole of this role |
void |
addSubRole(Role r,
DependencySet ds)
Add sub role with depedency set. |
void |
addSubRoleChain(aterm.ATermList chain)
Add a sub role chain without dependency tracking information |
void |
addSubRoleChain(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<aterm.ATermAppl> |
getDomains()
|
java.util.Set<Role> |
getEquivalentProperties()
|
DependencySet |
getExplainAsymmetric()
|
DependencySet |
getExplainDisjointRole(Role role)
|
DependencySet |
getExplainDomain(aterm.ATermAppl a)
|
DependencySet |
getExplainFunctional()
|
DependencySet |
getExplainInverseFunctional()
|
DependencySet |
getExplainIrreflexive()
|
DependencySet |
getExplainRange(aterm.ATermAppl a)
|
DependencySet |
getExplainReflexive()
|
DependencySet |
getExplainSub(aterm.ATerm r)
|
DependencySet |
getExplainSuper(aterm.ATerm r)
|
DependencySet |
getExplainSymmetric()
|
DependencySet |
getExplainTransitive()
|
TransitionGraph |
getFSM()
|
java.util.Set<Role> |
getFunctionalSupers()
|
Role |
getInverse()
|
aterm.ATermAppl |
getName()
|
java.util.Set<Role> |
getProperSubRoles()
|
java.util.Set<aterm.ATermAppl> |
getRanges()
|
java.util.Set<aterm.ATermList> |
getSubRoleChains()
|
java.util.Set<Role> |
getSubRoles()
|
java.util.Set<Role> |
getSuperRoles()
|
java.util.Set<Role> |
getTransitiveSubRoles()
|
int |
getType()
|
java.lang.String |
getTypeName()
|
boolean |
hasComplexSubRole()
|
boolean |
hasNamedInverse()
|
boolean |
isAnnotationRole()
check if a role is declared as datatype property |
boolean |
isAnon()
|
boolean |
isAntisymmetric()
Deprecated. Use isAsymmetric() |
boolean |
isAsymmetric()
|
boolean |
isDatatypeRole()
|
boolean |
isEquivalent(Role r)
|
boolean |
isForceSimple()
|
boolean |
isFunctional()
|
boolean |
isInverseFunctional()
|
boolean |
isIrreflexive()
|
boolean |
isObjectRole()
|
boolean |
isOntologyRole()
|
boolean |
isReflexive()
|
boolean |
isSimple()
|
boolean |
isSubRoleOf(Role r)
|
boolean |
isSuperRoleOf(Role r)
|
boolean |
isSymmetric()
|
boolean |
isTransitive()
|
boolean |
isUntypedRole()
|
boolean |
removeDomain(aterm.ATermAppl a,
DependencySet ds)
|
boolean |
removeRange(aterm.ATermAppl a,
DependencySet ds)
|
void |
removeSubRole(Role r)
|
void |
removeSubRoleChain(aterm.ATermList chain)
|
void |
removeSubRoleChains()
|
void |
setAntisymmetric(boolean b)
Deprecated. Use setAsymmetric(boolean) |
void |
setAntisymmetric(boolean b,
DependencySet ds)
Deprecated. Use setAsymmetric(boolean,DependencySet) |
void |
setAsymmetric(boolean b)
|
void |
setAsymmetric(boolean b,
DependencySet ds)
|
void |
setForceSimple(boolean b)
|
void |
setFSM(TransitionGraph 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 |
setSubRoleChains(java.util.Set<aterm.ATermList> subRoleChains)
Deprecated. Use setSubRolesAndChains now. |
void |
setSubRoles(java.util.Set<Role> subRoles)
Deprecated. Use setSubRolesAndChains now. |
void |
setSubRolesAndChains(java.util.Set<Role> subRoles,
java.util.Set<aterm.ATermList> subRoleChains,
java.util.Map<aterm.ATerm,DependencySet> dependencies)
|
void |
setSuperRoles(java.util.Set<Role> superRoles)
|
void |
setTransitive(boolean b)
|
void |
setTransitive(boolean b,
DependencySet ds)
|
void |
setType(int type)
|
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
|---|
public static final java.lang.String[] TYPES
@Deprecated public static final int UNDEFINED
public static final int UNTYPED
public static final int OBJECT
public static final int DATATYPE
public static final int ANNOTATION
public static final int ONTOLOGY
public static int TRANSITIVE
public static int FUNCTIONAL
public static int INV_FUNCTIONAL
public static int REFLEXIVE
public static int IRREFLEXIVE
public static int ASYM
public static int ANTI_SYM
ASYM
public static int SIMPLE
public static int COMPLEX_SUB
public static int FORCE_SIMPLE
| Constructor Detail |
|---|
public Role(aterm.ATermAppl name)
public Role(aterm.ATermAppl name,
int type)
| Method Detail |
|---|
public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Objectpublic java.lang.String debugString()
public void addSubRoleChain(aterm.ATermList chain)
chain -
public void addSubRoleChain(aterm.ATermList chain,
DependencySet ds)
chain - List of role names of at least length 2.ds - public void removeSubRoleChain(aterm.ATermList chain)
public void removeSubRoleChains()
public void addSubRole(Role r)
r -
public void addSubRole(Role r,
DependencySet ds)
r - subrole of this roleds -
public boolean removeDomain(aterm.ATermAppl a,
DependencySet ds)
public boolean removeRange(aterm.ATermAppl a,
DependencySet ds)
public void removeSubRole(Role r)
public void addSuperRole(Role r)
r -
public void addSuperRole(Role r,
DependencySet ds)
public void addDisjointRole(Role r,
DependencySet ds)
public boolean isObjectRole()
public boolean isDatatypeRole()
public boolean isOntologyRole()
public boolean isAnnotationRole()
public boolean isUntypedRole()
public Role getInverse()
public boolean hasNamedInverse()
public boolean hasComplexSubRole()
public boolean isFunctional()
public boolean isInverseFunctional()
public boolean isSymmetric()
public boolean isAntisymmetric()
isAsymmetric()
public boolean isAsymmetric()
public boolean isTransitive()
public boolean isReflexive()
public boolean isIrreflexive()
public boolean isAnon()
public aterm.ATermAppl getName()
public java.util.Set<aterm.ATermAppl> getDomains()
public java.util.Set<aterm.ATermAppl> getRanges()
public java.util.Set<Role> getSubRoles()
public java.util.Set<Role> getEquivalentProperties()
public boolean isEquivalent(Role r)
public java.util.Set<Role> getProperSubRoles()
public java.util.Set<aterm.ATermList> getSubRoleChains()
public java.util.Set<Role> getSuperRoles()
public java.util.Set<Role> getDisjointRoles()
public DependencySet getExplainDisjointRole(Role role)
public int getType()
public java.lang.String getTypeName()
public boolean isSubRoleOf(Role r)
public boolean isSuperRoleOf(Role r)
public void setInverse(Role term)
public void setFunctional(boolean b)
public void setFunctional(boolean b,
DependencySet ds)
public void setInverseFunctional(boolean b)
public void setInverseFunctional(boolean b,
DependencySet ds)
public void setTransitive(boolean b)
public void setTransitive(boolean b,
DependencySet ds)
public void setReflexive(boolean b)
public void setReflexive(boolean b,
DependencySet ds)
public void setIrreflexive(boolean b)
public void setIrreflexive(boolean b,
DependencySet ds)
public void setAntisymmetric(boolean b)
setAsymmetric(boolean)
public void setAsymmetric(boolean b)
public void setAntisymmetric(boolean b,
DependencySet ds)
setAsymmetric(boolean,DependencySet)
public void setAsymmetric(boolean b,
DependencySet ds)
public void setHasComplexSubRole(boolean b)
public void setType(int type)
public void setSubRolesAndChains(java.util.Set<Role> subRoles,
java.util.Set<aterm.ATermList> subRoleChains,
java.util.Map<aterm.ATerm,DependencySet> dependencies)
subRoleChains - dependencies - map from role names (or lists) to depedencies@Deprecated public void setSubRoleChains(java.util.Set<aterm.ATermList> subRoleChains)
subRoles - subRoleChains - dependencies - @Deprecated public void setSubRoles(java.util.Set<Role> subRoles)
subRoles - The subRoles to set.public void setSuperRoles(java.util.Set<Role> superRoles)
superRoles - The superRoles to set.dependencies - A map from role names (or role lists) to dependency sets.public java.util.Set<Role> getFunctionalSupers()
public void addFunctionalSuper(Role r)
functionalSuper - The functionalSuper to set.public void setForceSimple(boolean b)
public boolean isForceSimple()
public boolean isSimple()
public java.util.Set<Role> getTransitiveSubRoles()
public void addTransitiveSubRole(Role r)
r - The transtive sub role to add.public void setFSM(TransitionGraph tg)
public TransitionGraph getFSM()
public DependencySet getExplainAsymmetric()
public DependencySet getExplainDomain(aterm.ATermAppl a)
public DependencySet getExplainFunctional()
public DependencySet getExplainInverseFunctional()
public DependencySet getExplainIrreflexive()
public DependencySet getExplainRange(aterm.ATermAppl a)
public DependencySet getExplainReflexive()
public DependencySet getExplainSub(aterm.ATerm r)
public DependencySet getExplainSuper(aterm.ATerm r)
public DependencySet getExplainSymmetric()
public DependencySet getExplainTransitive()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||