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 a, java.util.Set<aterm.ATermAppl> explain)
          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)
           
 boolean addRange(aterm.ATerm p, aterm.ATermAppl a)
          Add an asserted property range axiom
 boolean addRange(aterm.ATerm p, aterm.ATermAppl a, java.util.Set<aterm.ATermAppl> explain)
          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)
           
 Role getDefinedRole(aterm.ATerm r)
          Return the role with the given name and throw and exception if it is not found.
 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
 Taxonomy<aterm.ATermAppl> getTaxonomy()
           
 aterm.ATermList inverse(aterm.ATermList roles)
          for each role in the list finds an inverse role and returns the new list.
 boolean isDomainAsserted(aterm.ATerm p, aterm.ATermAppl a)
           
 boolean isRangeAsserted(aterm.ATerm p, aterm.ATermAppl a)
           
 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 a)
           
 boolean removeRange(aterm.ATerm p, aterm.ATermAppl a)
           
 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 a,
                        java.util.Set<aterm.ATermAppl> explain)
Add a non-asserted property range axiom

Parameters:
p - The property
a - A class expression for the domain
explain - 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 a)
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

public Role addOntologyRole(aterm.ATermAppl r)

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 a,
                         java.util.Set<aterm.ATermAppl> explain)
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)

isDomainAsserted

public boolean isDomainAsserted(aterm.ATerm p,
                                aterm.ATermAppl a)

isRangeAsserted

public boolean isRangeAsserted(aterm.ATerm p,
                               aterm.ATermAppl a)

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 a)

removeRange

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

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:

getTaxonomy

public Taxonomy<aterm.ATermAppl> getTaxonomy()


Copyright © 2004 Evren Sirin. All Rights Reserved.