public class Role extends Object
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| Modifier and Type | Field and Description |
|---|---|
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 String[] |
TYPES
Deprecated.
|
static int |
UNTYPED
Deprecated.
|
| Constructor and Description |
|---|
Role(aterm.ATermAppl name) |
Role(aterm.ATermAppl name,
PropertyType type) |
@Deprecated public static final 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
ASYMpublic static int SIMPLE
public static int COMPLEX_SUB
public static int FORCE_SIMPLE
public Role(aterm.ATermAppl name)
public Role(aterm.ATermAppl name,
PropertyType type)
public 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 Set<aterm.ATermAppl> getDomains()
public Set<aterm.ATermAppl> getRanges()
public boolean isEquivalent(Role r)
public Set<aterm.ATermList> getSubRoleChains()
public DependencySet getExplainDisjointRole(Role role)
public PropertyType getType()
public 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(Set<Role> subRoles, Set<aterm.ATermList> subRoleChains, Map<aterm.ATerm,DependencySet> dependencies)
subRoleChains - dependencies - map from role names (or lists) to depedenciespublic void setSuperRoles(Set<Role> superRoles)
superRoles - The superRoles to set.dependencies - A map from role names (or role lists) to dependency sets.public void addFunctionalSuper(Role r)
functionalSuper - The functionalSuper to set.public void setForceSimple(boolean b)
public boolean isForceSimple()
public boolean isSimple()
public 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()
Copyright © 2019. All rights reserved.