org.mindswap.pellet
Class RBox

java.lang.Object
  extended by org.mindswap.pellet.RBox

public class RBox
extends java.lang.Object


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

RBox

public RBox()
Method Detail

getRole

public Role getRole(aterm.ATerm r)
Return the role with the given name

Parameters:
r - Name (URI) of the role
Returns:

getDefinedRole

public Role getDefinedRole(aterm.ATerm r)
Return the role with the given name and throw and exception if it is not found.

Parameters:
r - Name (URI) of the role
Returns:

isConsistent

public boolean isConsistent()

addRole

public Role addRole(aterm.ATermAppl r)

addObjectRole

public Role addObjectRole(aterm.ATermAppl r)

addDatatypeRole

public Role addDatatypeRole(aterm.ATermAppl r)

addLinkRole

public Role addLinkRole(aterm.ATermAppl r)

addAnnotationRole

public Role addAnnotationRole(aterm.ATermAppl r)

addOntologyRole

public Role addOntologyRole(aterm.ATermAppl r)

addSubRole

public void addSubRole(aterm.ATerm s,
                       aterm.ATerm r)

addSameRole

public void addSameRole(aterm.ATerm s,
                        aterm.ATerm r)

addInverseRole

public void addInverseRole(aterm.ATerm s,
                           aterm.ATerm r)

isRole

public boolean isRole(aterm.ATerm r)
check if the term is declared as a role


computeRoleHierarchy

public void computeRoleHierarchy()

toString

public java.lang.String toString()
Returns a string representation of the RBox where for each role subroles, superroles, and isTransitive information is given

Overrides:
toString in class java.lang.Object

inverseRoleList

public java.util.Set inverseRoleList(java.util.Set roles)
for each role in the list finds an inverse role and returns the new list.


getRoleNames

public java.util.Set getRoleNames()
Returns:
Returns the roles.

getFunctionalRoles

public java.util.Set getFunctionalRoles()
Returns:
Returns the functionalRoles.

getRoles

public java.util.Collection getRoles()
getRoles

Returns:

getTaxonomy

public Taxonomy getTaxonomy()


Copyright © 2007-2009 Natalya Keberle. All Rights Reserved.