Package openllet.core.boxes.rbox

Interface RBox

  • All Superinterfaces:
    openllet.shared.tools.Logging
    All Known Implementing Classes:
    RBoxImpl
    public interface RBox
extends openllet.shared.tools.Logging
    Definition of an rbox.
    Since:
    2.6.0

    • Method Detail

      • getObjectTaxonomy

        Taxonomy<openllet.aterm.ATermAppl> getObjectTaxonomy()

      • setObjectTaxonomy

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

      • getDataTaxonomy

        Taxonomy<openllet.aterm.ATermAppl> getDataTaxonomy()

      • setDataTaxonomy

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

      • getAnnotationTaxonomy

        Taxonomy<openllet.aterm.ATermAppl> getAnnotationTaxonomy()

      • setAnnotationTaxonomy

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

      • getRoles

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

      • getReflexiveRoles

        java.util.Set<Role> getReflexiveRoles()

      • getDomainAssertions

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

      • getRangeAssertions

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

      • isObjectTaxonomyPrepared

        boolean isObjectTaxonomyPrepared()

      • isDataTaxonomyPrepared

        boolean isDataTaxonomyPrepared()

      • isAnnotationTaxonomyPrepared

        boolean isAnnotationTaxonomyPrepared()

      • getRole

        default Role getRole​(openllet.aterm.ATerm r)
        Parameters:
        r - Name (URI) of the role
        Returns:
        the role with the given name

      • getDefinedRole

        default Role getDefinedRole​(openllet.aterm.ATerm r)
        Parameters:
        r - Name (URI) of the role
        Returns:
        the role with the given name and throw and exception if it is not found.

      • addRole

        default Role addRole​(openllet.aterm.ATermAppl r)

      • propogateDomain

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

      • propogateRange

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

      • computeImmediateSubRoles

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

      • computeSubRoles

        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)

      • addRange

        default boolean addRange​(openllet.aterm.ATerm p,
                         openllet.aterm.ATermAppl range,
                         java.util.Set<openllet.aterm.ATermAppl> explanation)
        Add a non-asserted property range axiom
        Parameters:
        p - The property
        range -
        explanation -
        a - A class expression for the domain
        clashExplanation - 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

        default boolean addRange​(openllet.aterm.ATerm p,
                         openllet.aterm.ATermAppl range)
        Add an asserted property range axiom
        Parameters:
        p - The property
        range - 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

        default Role addObjectRole​(openllet.aterm.ATermAppl r)

      • addDatatypeRole

        default Role addDatatypeRole​(openllet.aterm.ATermAppl r)

      • addAnnotationRole

        default Role addAnnotationRole​(openllet.aterm.ATermAppl r)

      • addSubRole

        default boolean addSubRole​(openllet.aterm.ATerm sub,
                           openllet.aterm.ATerm sup)

      • addSubRole

        default boolean addSubRole​(openllet.aterm.ATerm sub,
                           openllet.aterm.ATerm sup,
                           DependencySet ds)

      • addEquivalentRole

        default boolean addEquivalentRole​(openllet.aterm.ATerm s,
                                  openllet.aterm.ATerm r)

      • addEquivalentRole

        default boolean addEquivalentRole​(openllet.aterm.ATerm s,
                                  openllet.aterm.ATerm r,
                                  DependencySet ds)

      • addDisjointRole

        default boolean addDisjointRole​(openllet.aterm.ATerm s,
                                openllet.aterm.ATerm r,
                                DependencySet ds)

      • addDomain

        default boolean addDomain​(openllet.aterm.ATerm p,
                          openllet.aterm.ATermAppl domain,
                          java.util.Set<openllet.aterm.ATermAppl> explanation)
        Add a non-asserted property domain axiom
        Parameters:
        p - The property
        domain - A class expression for the domain
        explanation - 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

        default boolean addDomain​(openllet.aterm.ATerm p,
                          openllet.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

        default boolean addInverseRole​(openllet.aterm.ATerm s,
                               openllet.aterm.ATerm r,
                               DependencySet ds)

      • getAssertedDomains

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

      • getAssertedRanges

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

      • isRole

        default boolean isRole​(openllet.aterm.ATerm r)
        Parameters:
        r -
        Returns:
        true if the term is declared as a role

      • prepare

        default void prepare()

      • propagateDomainRange

        default void propagateDomainRange()

      • removeDomain

        default boolean removeDomain​(openllet.aterm.ATerm p,
                             openllet.aterm.ATermAppl domain)

      • removeRange

        default boolean removeRange​(openllet.aterm.ATerm p,
                            openllet.aterm.ATermAppl range)

      • ignoreTransitivity

        default void ignoreTransitivity​(Role role)

      • inverse

        default openllet.aterm.ATermList inverse​(openllet.aterm.ATermList roles)
        For each role in the list finds an inverse role and returns the new list.
        Parameters:
        roles -
        Returns:
        inverses of the roles