org.mindswap.pellet

Class RBox

java.lang.Object

org.mindswap.pellet.RBox

public class RBox
extends Object

Title:

Description:

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
static Logger	log

Constructor Summary

Constructors

Constructor and Description
RBox()

Method Summary

Modifier and Type	Method and Description
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, 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, 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()
Iterator<aterm.ATermAppl>	getAssertedDomains(Role r)
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()
Set<Role>	getReflexiveRoles()
Role	getRole(aterm.ATerm r) Return the role with the given name
Set<aterm.ATermAppl>	getRoleNames()
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)
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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

log

public static 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,
                        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:

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:

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,
                         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:

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:

IllegalArgumentException - if p is not a defined property.

addInverseRole

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

getAssertedDomains

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

getAssertedRanges

public 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 String toString()

Returns a string representation of the RBox where for each role subroles, superroles, and isTransitive information is given

Overrides:

toString in class 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 Set<aterm.ATermAppl> getRoleNames()

Returns:

Returns the roles.

getReflexiveRoles

public Set<Role> getReflexiveRoles()

getRoles

public 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()