org.mindswap.pellet
Class RBox

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

public class RBox
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
static java.util.logging.Logger log
           
 
Constructor Summary
RBox()
           
 
Method Summary
 Role addAnnotationRole(aterm.ATermAppl r)
           
 Role addDatatypeRole(aterm.ATermAppl r)
           
 boolean addDisjointRole(aterm.ATerm s, aterm.ATerm r, DependencySet ds)
           
 boolean addDomain(aterm.ATerm p, aterm.ATermAppl a)
          Add an asserted property domain axiom
 boolean addDomain(aterm.ATerm p, aterm.ATermAppl domain, java.util.Set<aterm.ATermAppl> explanation)
          Add a non-asserted property domain axiom
 boolean addEquivalentRole(aterm.ATerm s, aterm.ATerm r)
           
 boolean addEquivalentRole(aterm.ATerm s, aterm.ATerm r, DependencySet ds)
           
 boolean addInverseRole(aterm.ATerm s, aterm.ATerm r, DependencySet ds)
           
 Role addObjectRole(aterm.ATermAppl r)
           
 Role addOntologyRole(aterm.ATermAppl r)
          Deprecated. 
 boolean addRange(aterm.ATerm p, aterm.ATermAppl range)
          Add an asserted property range axiom
 boolean addRange(aterm.ATerm p, aterm.ATermAppl range, java.util.Set<aterm.ATermAppl> explanation)
          Add a non-asserted property range axiom
 Role addRole(aterm.ATermAppl r)
           
 boolean addSubRole(aterm.ATerm sub, aterm.ATerm sup)
           
 boolean addSubRole(aterm.ATerm sub, aterm.ATerm sup, DependencySet ds)
           
 Taxonomy<aterm.ATermAppl> getAnnotationTaxonomy()
           
 java.util.Iterator<aterm.ATermAppl> getAssertedDomains(Role r)
           
 java.util.Iterator<aterm.ATermAppl> getAssertedRanges(Role r)
           
 Taxonomy<aterm.ATermAppl> getDataTaxonomy()
           
 Role getDefinedRole(aterm.ATerm r)
          Return the role with the given name and throw and exception if it is not found.
 Taxonomy<aterm.ATermAppl> getObjectTaxonomy()
           
 java.util.Set<Role> getReflexiveRoles()
           
 Role getRole(aterm.ATerm r)
          Return the role with the given name
 java.util.Set<aterm.ATermAppl> getRoleNames()
           
 java.util.Collection<Role> getRoles()
          getRoles
 aterm.ATermList inverse(aterm.ATermList roles)
          for each role in the list finds an inverse role and returns the new list.
 boolean isAnnotationTaxonomyPrepared()
           
 boolean isDataTaxonomyPrepared()
           
 boolean isDomainAsserted(aterm.ATerm p, aterm.ATermAppl domain)
          Deprecated. 
 boolean isObjectTaxonomyPrepared()
           
 boolean isRangeAsserted(aterm.ATerm p, aterm.ATermAppl range)
          Deprecated. 
 boolean isRole(aterm.ATerm r)
          check if the term is declared as a role
 void prepare()
           
 void propagateDomainRange()
           
 boolean removeDomain(aterm.ATerm p, aterm.ATermAppl domain)
           
 boolean removeRange(aterm.ATerm p, aterm.ATermAppl range)
           
 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
 

Field Detail

log

public static java.util.logging.Logger log
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:

addRole

public Role addRole(aterm.ATermAppl r)

addRange

public boolean addRange(aterm.ATerm p,
                        aterm.ATermAppl range,
                        java.util.Set<aterm.ATermAppl> explanation)
Add a non-asserted property range axiom

Parameters:
p - The property
a - A class expression for the domain
explanation - A set of ATermAppls that explain the range axiom.
Returns:
true if range add was successful, false else
Throws:
java.lang.IllegalArgumentException - if p is not a defined property.

addRange

public boolean addRange(aterm.ATerm p,
                        aterm.ATermAppl range)
Add an asserted property range axiom

Parameters:
p - The property
a - A class expression for the range
Returns:
true if range add was successful, false else
Throws:
java.lang.IllegalArgumentException - if p is not a defined property.

addObjectRole

public Role addObjectRole(aterm.ATermAppl r)

addDatatypeRole

public Role addDatatypeRole(aterm.ATermAppl r)

addAnnotationRole

public Role addAnnotationRole(aterm.ATermAppl r)

addOntologyRole

@Deprecated
public Role addOntologyRole(aterm.ATermAppl r)
Deprecated. 


addSubRole

public boolean addSubRole(aterm.ATerm sub,
                          aterm.ATerm sup)

addSubRole

public boolean addSubRole(aterm.ATerm sub,
                          aterm.ATerm sup,
                          DependencySet ds)

addEquivalentRole

public boolean addEquivalentRole(aterm.ATerm s,
                                 aterm.ATerm r)

addEquivalentRole

public boolean addEquivalentRole(aterm.ATerm s,
                                 aterm.ATerm r,
                                 DependencySet ds)

addDisjointRole

public boolean addDisjointRole(aterm.ATerm s,
                               aterm.ATerm r,
                               DependencySet ds)

addDomain

public boolean addDomain(aterm.ATerm p,
                         aterm.ATermAppl domain,
                         java.util.Set<aterm.ATermAppl> explanation)
Add a non-asserted property domain axiom

Parameters:
p - The property
a - A class expression for the domain
explain - A set of ATermAppls that explain the domain axiom.
Returns:
true if domain add was successful, false else
Throws:
java.lang.IllegalArgumentException - if p is not a defined property.

addDomain

public boolean addDomain(aterm.ATerm p,
                         aterm.ATermAppl a)
Add an asserted property domain axiom

Parameters:
p - The property
a - A class expression for the domain
Returns:
true if domain add was successful, false else
Throws:
java.lang.IllegalArgumentException - if p is not a defined property.

addInverseRole

public boolean addInverseRole(aterm.ATerm s,
                              aterm.ATerm r,
                              DependencySet ds)

getAssertedDomains

public java.util.Iterator<aterm.ATermAppl> getAssertedDomains(Role r)

getAssertedRanges

public java.util.Iterator<aterm.ATermAppl> getAssertedRanges(Role r)

isDomainAsserted

@Deprecated
public boolean isDomainAsserted(aterm.ATerm p,
                                           aterm.ATermAppl domain)
Deprecated. 


isRangeAsserted

@Deprecated
public boolean isRangeAsserted(aterm.ATerm p,
                                          aterm.ATermAppl range)
Deprecated. 


isRole

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


prepare

public void prepare()

propagateDomainRange

public void propagateDomainRange()

removeDomain

public boolean removeDomain(aterm.ATerm p,
                            aterm.ATermAppl domain)

removeRange

public boolean removeRange(aterm.ATerm p,
                           aterm.ATermAppl range)

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

inverse

public aterm.ATermList inverse(aterm.ATermList roles)
for each role in the list finds an inverse role and returns the new list.


getRoleNames

public java.util.Set<aterm.ATermAppl> getRoleNames()
Returns:
Returns the roles.

getReflexiveRoles

public java.util.Set<Role> getReflexiveRoles()

getRoles

public java.util.Collection<Role> getRoles()
getRoles

Returns:

getObjectTaxonomy

public Taxonomy<aterm.ATermAppl> getObjectTaxonomy()

getDataTaxonomy

public Taxonomy<aterm.ATermAppl> getDataTaxonomy()

getAnnotationTaxonomy

public Taxonomy<aterm.ATermAppl> getAnnotationTaxonomy()

isObjectTaxonomyPrepared

public boolean isObjectTaxonomyPrepared()

isDataTaxonomyPrepared

public boolean isDataTaxonomyPrepared()

isAnnotationTaxonomyPrepared

public boolean isAnnotationTaxonomyPrepared()


Copyright © 2004 Evren Sirin. All Rights Reserved.