|
||||||||||
| 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
Title:
Description:
Copyright: Copyright (c) 2007
Company: Clark & Parsia, LLC.
| 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 |
|---|
public static java.util.logging.Logger log
| 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 Role addRole(aterm.ATermAppl r)
public boolean addRange(aterm.ATerm p,
aterm.ATermAppl a,
java.util.Set<aterm.ATermAppl> explain)
p - The propertya - A class expression for the domainexplain - A set of ATermAppls that explain the range axiom.
true if range add was successful, false
else
java.lang.IllegalArgumentException - if p is not a defined property.
public boolean addRange(aterm.ATerm p,
aterm.ATermAppl a)
p - The propertya - A class expression for the range
true if range add was successful, false
else
java.lang.IllegalArgumentException - if p is not a defined property.public Role addObjectRole(aterm.ATermAppl r)
public Role addDatatypeRole(aterm.ATermAppl r)
public Role addAnnotationRole(aterm.ATermAppl r)
public Role addOntologyRole(aterm.ATermAppl r)
public boolean addSubRole(aterm.ATerm sub,
aterm.ATerm sup)
public boolean addSubRole(aterm.ATerm sub,
aterm.ATerm sup,
DependencySet ds)
public boolean addEquivalentRole(aterm.ATerm s,
aterm.ATerm r)
public boolean addEquivalentRole(aterm.ATerm s,
aterm.ATerm r,
DependencySet ds)
public boolean addDisjointRole(aterm.ATerm s,
aterm.ATerm r,
DependencySet ds)
public boolean addDomain(aterm.ATerm p,
aterm.ATermAppl a,
java.util.Set<aterm.ATermAppl> explain)
p - The propertya - A class expression for the domainexplain - A set of ATermAppls that explain the domain axiom.
true if domain add was successful,
false else
java.lang.IllegalArgumentException - if p is not a defined property.
public boolean addDomain(aterm.ATerm p,
aterm.ATermAppl a)
p - The propertya - A class expression for the domain
true if domain add was successful,
false else
java.lang.IllegalArgumentException - if p is not a defined property.
public boolean addInverseRole(aterm.ATerm s,
aterm.ATerm r,
DependencySet ds)
public boolean isDomainAsserted(aterm.ATerm p,
aterm.ATermAppl a)
public boolean isRangeAsserted(aterm.ATerm p,
aterm.ATermAppl a)
public boolean isRole(aterm.ATerm r)
public void prepare()
public void propagateDomainRange()
public boolean removeDomain(aterm.ATerm p,
aterm.ATermAppl a)
public boolean removeRange(aterm.ATerm p,
aterm.ATermAppl a)
public java.lang.String toString()
toString in class java.lang.Objectpublic aterm.ATermList inverse(aterm.ATermList roles)
public java.util.Set<aterm.ATermAppl> getRoleNames()
public java.util.Set<Role> getReflexiveRoles()
public java.util.Collection<Role> getRoles()
public Taxonomy<aterm.ATermAppl> getTaxonomy()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||