|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.RBox
public class RBox
Constructor Summary | |
---|---|
RBox()
|
Method Summary | |
---|---|
Role |
addAnnotationRole(aterm.ATermAppl r)
|
Role |
addDatatypeRole(aterm.ATermAppl r)
|
void |
addInverseRole(aterm.ATerm s,
aterm.ATerm r)
|
Role |
addLinkRole(aterm.ATermAppl r)
|
Role |
addObjectRole(aterm.ATermAppl r)
|
Role |
addOntologyRole(aterm.ATermAppl r)
|
Role |
addRole(aterm.ATermAppl r)
|
void |
addSameRole(aterm.ATerm s,
aterm.ATerm r)
|
void |
addSubRole(aterm.ATerm s,
aterm.ATerm r)
|
void |
computeRoleHierarchy()
|
Role |
getDefinedRole(aterm.ATerm r)
Return the role with the given name and throw and exception if it is not found. |
java.util.Set |
getFunctionalRoles()
|
Role |
getRole(aterm.ATerm r)
Return the role with the given name |
java.util.Set |
getRoleNames()
|
java.util.Collection |
getRoles()
getRoles |
Taxonomy |
getTaxonomy()
|
java.util.Set |
inverseRoleList(java.util.Set roles)
for each role in the list finds an inverse role and returns the new list. |
boolean |
isConsistent()
|
boolean |
isRole(aterm.ATerm r)
check if the term is declared as a role |
java.lang.String |
toString()
Returns a string representation of the RBox where for each role subroles, superroles, and isTransitive information is given |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public RBox()
Method Detail |
---|
public Role getRole(aterm.ATerm r)
r
- Name (URI) of the role
public Role getDefinedRole(aterm.ATerm r)
r
- Name (URI) of the role
public boolean isConsistent()
public Role addRole(aterm.ATermAppl r)
public Role addObjectRole(aterm.ATermAppl r)
public Role addDatatypeRole(aterm.ATermAppl r)
public Role addLinkRole(aterm.ATermAppl r)
public Role addAnnotationRole(aterm.ATermAppl r)
public Role addOntologyRole(aterm.ATermAppl r)
public void addSubRole(aterm.ATerm s, aterm.ATerm r)
public void addSameRole(aterm.ATerm s, aterm.ATerm r)
public void addInverseRole(aterm.ATerm s, aterm.ATerm r)
public boolean isRole(aterm.ATerm r)
public void computeRoleHierarchy()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.Set inverseRoleList(java.util.Set roles)
public java.util.Set getRoleNames()
public java.util.Set getFunctionalRoles()
public java.util.Collection getRoles()
public Taxonomy getTaxonomy()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |