|
||||||||||
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 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 |
---|
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 range, java.util.Set<aterm.ATermAppl> explanation)
p
- The propertya
- A class expression for the domainexplanation
- A set of ATermAppl
s 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 range)
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)
@Deprecated 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 domain, java.util.Set<aterm.ATermAppl> explanation)
p
- The propertya
- A class expression for the domainexplain
- A set of ATermAppl
s 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 java.util.Iterator<aterm.ATermAppl> getAssertedDomains(Role r)
public java.util.Iterator<aterm.ATermAppl> getAssertedRanges(Role r)
@Deprecated public boolean isDomainAsserted(aterm.ATerm p, aterm.ATermAppl domain)
@Deprecated public boolean isRangeAsserted(aterm.ATerm p, aterm.ATermAppl range)
public boolean isRole(aterm.ATerm r)
public void prepare()
public void propagateDomainRange()
public boolean removeDomain(aterm.ATerm p, aterm.ATermAppl domain)
public boolean removeRange(aterm.ATerm p, aterm.ATermAppl range)
public java.lang.String toString()
toString
in class java.lang.Object
public 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> getObjectTaxonomy()
public Taxonomy<aterm.ATermAppl> getDataTaxonomy()
public Taxonomy<aterm.ATermAppl> getAnnotationTaxonomy()
public boolean isObjectTaxonomyPrepared()
public boolean isDataTaxonomyPrepared()
public boolean isAnnotationTaxonomyPrepared()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |