Package openllet.core.boxes.rbox

Class RBoxImpl

java.lang.Object

openllet.core.boxes.rbox.RBoxImpl

All Implemented Interfaces:

RBox, openllet.shared.tools.Logging

public class RBoxImpl
extends java.lang.Object
implements RBox

Copyright: Copyright (c) 2007

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Constructor Summary

Constructors

Constructor	Description
RBoxImpl()

Method Summary

Modifier and Type	Method	Description
void	computeImmediateSubRoles(Role r, java.util.Map<openllet.aterm.ATerm,DependencySet> subs)
void	computeSubRoles(Role r, java.util.Set<Role> subRoles, java.util.Set<openllet.aterm.ATermList> subRoleChains, java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies, DependencySet ds)
Taxonomy<openllet.aterm.ATermAppl>	getAnnotationTaxonomy()
java.util.Iterator<openllet.aterm.ATermAppl>	getAssertedDomains(Role r)
java.util.Iterator<openllet.aterm.ATermAppl>	getAssertedRanges(Role r)
Taxonomy<openllet.aterm.ATermAppl>	getDataTaxonomy()
java.util.Map<Role,java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>>>	getDomainAssertions()
FSMBuilder	getFsmBuilder()
java.util.logging.Logger	getLogger()
Taxonomy<openllet.aterm.ATermAppl>	getObjectTaxonomy()
java.util.Map<Role,java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>>>	getRangeAssertions()
java.util.Set<Role>	getReflexiveRoles()
java.util.Map<openllet.aterm.ATermAppl,Role>	getRoles()
boolean	isAnnotationTaxonomyPrepared()
boolean	isDataTaxonomyPrepared()
boolean	isObjectTaxonomyPrepared()
void	propogateDomain(Role role, java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>> domains)
void	propogateRange(Role role, java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>> ranges)
void	setAnnotationTaxonomy(Taxonomy<openllet.aterm.ATermAppl> annotationTaxonomy)
void	setDataTaxonomy(Taxonomy<openllet.aterm.ATermAppl> dataTaxonomy)
void	setObjectTaxonomy(Taxonomy<openllet.aterm.ATermAppl> objectTaxonomy)
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

Methods inherited from interface openllet.shared.tools.Logging

logger

Methods inherited from interface openllet.core.boxes.rbox.RBox

addAnnotationRole, addDatatypeRole, addDisjointRole, addDomain, addDomain, addEquivalentRole, addEquivalentRole, addInverseRole, addObjectRole, addRange, addRange, addRole, addSubRole, addSubRole, getDefinedRole, getRole, ignoreTransitivity, inverse, isRole, prepare, propagateDomainRange, removeDomain, removeRange

Constructor Detail

RBoxImpl

public RBoxImpl()

Method Detail

getLogger

public java.util.logging.Logger getLogger()

Specified by:

getLogger in interface openllet.shared.tools.Logging

getObjectTaxonomy

public Taxonomy<openllet.aterm.ATermAppl> getObjectTaxonomy()

Specified by:

getObjectTaxonomy in interface RBox

setObjectTaxonomy

public void setObjectTaxonomy(Taxonomy<openllet.aterm.ATermAppl> objectTaxonomy)

Specified by:

setObjectTaxonomy in interface RBox

getDataTaxonomy

public Taxonomy<openllet.aterm.ATermAppl> getDataTaxonomy()

Specified by:

getDataTaxonomy in interface RBox

setDataTaxonomy

public void setDataTaxonomy(Taxonomy<openllet.aterm.ATermAppl> dataTaxonomy)

Specified by:

setDataTaxonomy in interface RBox

getAnnotationTaxonomy

public Taxonomy<openllet.aterm.ATermAppl> getAnnotationTaxonomy()

Specified by:

getAnnotationTaxonomy in interface RBox

setAnnotationTaxonomy

public void setAnnotationTaxonomy(Taxonomy<openllet.aterm.ATermAppl> annotationTaxonomy)

Specified by:

setAnnotationTaxonomy in interface RBox

getRoles

public java.util.Map<openllet.aterm.ATermAppl,Role> getRoles()

Specified by:

getRoles in interface RBox

isObjectTaxonomyPrepared

public boolean isObjectTaxonomyPrepared()

Specified by:

isObjectTaxonomyPrepared in interface RBox

isDataTaxonomyPrepared

public boolean isDataTaxonomyPrepared()

Specified by:

isDataTaxonomyPrepared in interface RBox

isAnnotationTaxonomyPrepared

public boolean isAnnotationTaxonomyPrepared()

Specified by:

isAnnotationTaxonomyPrepared in interface RBox

getReflexiveRoles

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

Specified by:

getReflexiveRoles in interface RBox

getDomainAssertions

public java.util.Map<Role,java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>>> getDomainAssertions()

Specified by:

getDomainAssertions in interface RBox

getRangeAssertions

public java.util.Map<Role,java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>>> getRangeAssertions()

Specified by:

getRangeAssertions in interface RBox

getFsmBuilder

public FSMBuilder getFsmBuilder()

Specified by:

getFsmBuilder in interface RBox

getAssertedDomains

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

Specified by:

getAssertedDomains in interface RBox

getAssertedRanges

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

Specified by:

getAssertedRanges in interface RBox

propogateDomain

public void propogateDomain(Role role,
                            java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>> domains)

Specified by:

propogateDomain in interface RBox

propogateRange

public void propogateRange(Role role,
                           java.util.Map<openllet.aterm.ATermAppl,java.util.Set<java.util.Set<openllet.aterm.ATermAppl>>> ranges)

Specified by:

propogateRange in interface RBox

computeImmediateSubRoles

public void computeImmediateSubRoles(Role r,
                                     java.util.Map<openllet.aterm.ATerm,DependencySet> subs)

Specified by:

computeImmediateSubRoles in interface RBox

computeSubRoles

public void computeSubRoles(Role r,
                            java.util.Set<Role> subRoles,
                            java.util.Set<openllet.aterm.ATermList> subRoleChains,
                            java.util.Map<openllet.aterm.ATerm,DependencySet> dependencies,
                            DependencySet ds)

Specified by:

computeSubRoles in interface RBox

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