|
||||||||||
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
Deprecated. |
static int |
ANTI_SYM
Use ASYM |
static int |
ASYM
|
static int |
COMPLEX_SUB
|
static int |
DATATYPE
Deprecated. |
static int |
FORCE_SIMPLE
|
static int |
FUNCTIONAL
|
static int |
INV_FUNCTIONAL
|
static int |
IRREFLEXIVE
|
static int |
OBJECT
Deprecated. |
static int |
ONTOLOGY
Deprecated. |
static int |
REFLEXIVE
|
static int |
SIMPLE
|
static int |
TRANSITIVE
|
static java.lang.String[] |
TYPES
Deprecated. |
static int |
UNTYPED
Deprecated. |
Constructor Summary | |
---|---|
Role(aterm.ATermAppl name)
|
|
Role(aterm.ATermAppl name,
PropertyType type)
|
Method Summary | |
---|---|
void |
addDisjointRole(Role r,
DependencySet ds)
|
boolean |
addDomain(aterm.ATermAppl a,
DependencySet ds)
|
void |
addFunctionalSuper(Role r)
|
boolean |
addRange(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(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 |
getExplainSubOrInv(Role r)
|
DependencySet |
getExplainSuper(aterm.ATerm r)
|
DependencySet |
getExplainSymmetric()
|
DependencySet |
getExplainTransitive()
|
TransitionGraph<Role> |
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()
|
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 |
isOntologyRole()
Deprecated. |
boolean |
isReflexive()
|
boolean |
isSimple()
|
boolean |
isSubRoleOf(Role r)
|
boolean |
isSuperRoleOf(Role r)
|
boolean |
isSymmetric()
|
boolean |
isTop()
|
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<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 |
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(PropertyType type)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
@Deprecated public static final java.lang.String[] TYPES
@Deprecated public static final int UNTYPED
@Deprecated public static final int OBJECT
@Deprecated public static final int DATATYPE
@Deprecated public static final int ANNOTATION
@Deprecated 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, PropertyType type)
Method Detail |
---|
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public 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 addDomain(aterm.ATermAppl a, DependencySet ds)
public boolean addRange(aterm.ATermAppl a, DependencySet ds)
public boolean isObjectRole()
public boolean isDatatypeRole()
@Deprecated 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 PropertyType 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(PropertyType 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 depedenciespublic 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<Role> tg)
public TransitionGraph<Role> 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 getExplainSubOrInv(Role r)
public DependencySet getExplainSuper(aterm.ATerm r)
public DependencySet getExplainSymmetric()
public DependencySet getExplainTransitive()
public boolean isTop()
public boolean isBottom()
public boolean isBuiltin()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |