Package openllet.core.boxes.rbox

Interface Role

  • All Known Implementing Classes:
    RoleImpl
    public interface Role
    Definition of Role.
    Since:
    2.6.0

    • Method Detail

      • debugString

        java.lang.String debugString()

      • addSubRoleChain

        void addSubRoleChain​(openllet.aterm.ATermList chain)
        Add a sub role chain without dependency tracking information
        Parameters:
        chain -

      • addSubRoleChain

        void addSubRoleChain​(openllet.aterm.ATermList chain,
                     DependencySet ds)
        Add a sub role chain with dependency tracking.
        Parameters:
        chain - List of role names of at least length 2.
        ds -

      • removeSubRoleChain

        void removeSubRoleChain​(openllet.aterm.ATermList chain)

      • removeSubRoleChains

        void removeSubRoleChains()

      • addSubRole

        void addSubRole​(Role r)
        r is subrole of this role
        Parameters:
        r -

      • addSubRole

        void addSubRole​(Role r,
                DependencySet ds)
        Add sub role with depedency set.
        Parameters:
        r - subrole of this role
        ds -

      • removeDomain

        boolean removeDomain​(openllet.aterm.ATermAppl a,
                     DependencySet ds)

      • removeRange

        boolean removeRange​(openllet.aterm.ATermAppl a,
                    DependencySet ds)

      • resetDomainRange

        void resetDomainRange()

      • removeSubRole

        void removeSubRole​(Role r)

      • addSuperRole

        void addSuperRole​(Role r)
        r is superrole of this role
        Parameters:
        r -

      • addDomain

        boolean addDomain​(openllet.aterm.ATermAppl a,
                  DependencySet ds)

      • addRange

        boolean addRange​(openllet.aterm.ATermAppl a,
                 DependencySet ds)

      • isObjectRole

        boolean isObjectRole()

      • isDatatypeRole

        boolean isDatatypeRole()

      • isAnnotationRole

        boolean isAnnotationRole()
        Returns:
        true if a role is declared as datatype property

      • isUntypedRole

        boolean isUntypedRole()

      • getInverse

        Role getInverse()

      • hasNamedInverse

        boolean hasNamedInverse()

      • hasComplexSubRole

        boolean hasComplexSubRole()

      • isFunctional

        boolean isFunctional()

      • isInverseFunctional

        boolean isInverseFunctional()

      • isSymmetric

        boolean isSymmetric()

      • isAsymmetric

        boolean isAsymmetric()

      • isTransitive

        boolean isTransitive()

      • isReflexive

        boolean isReflexive()

      • isIrreflexive

        boolean isIrreflexive()

      • isAnon

        boolean isAnon()

      • getName

        openllet.aterm.ATermAppl getName()

      • getDomains

        java.util.Set<openllet.aterm.ATermAppl> getDomains()

      • getRanges

        java.util.Set<openllet.aterm.ATermAppl> getRanges()

      • getSubRoles

        java.util.Set<Role> getSubRoles()

      • getEquivalentProperties

        java.util.Set<Role> getEquivalentProperties()

      • isEquivalent

        boolean isEquivalent​(Role r)

      • getProperSubRoles

        java.util.Set<Role> getProperSubRoles()

      • getSubRoleChains

        java.util.Set<openllet.aterm.ATermList> getSubRoleChains()

      • getSuperRoles

        java.util.Set<Role> getSuperRoles()

      • getDisjointRoles

        java.util.Set<Role> getDisjointRoles()

      • getTypeName

        java.lang.String getTypeName()

      • isSubRoleOf

        boolean isSubRoleOf​(Role r)

      • isSuperRoleOf

        boolean isSuperRoleOf​(Role r)

      • setInverse

        void setInverse​(Role term)

      • setFunctional

        void setFunctional​(boolean b)

      • setFunctional

        void setFunctional​(boolean b,
                   DependencySet ds)

      • setInverseFunctional

        void setInverseFunctional​(boolean b)

      • setInverseFunctional

        void setInverseFunctional​(boolean b,
                          DependencySet ds)

      • setTransitive

        void setTransitive​(boolean b)

      • setTransitive

        void setTransitive​(boolean b,
                   DependencySet ds)

      • setReflexive

        void setReflexive​(boolean b)

      • setReflexive

        void setReflexive​(boolean b,
                  DependencySet ds)

      • setIrreflexive

        void setIrreflexive​(boolean b)

      • setIrreflexive

        void setIrreflexive​(boolean b,
                    DependencySet ds)

      • setAsymmetric

        void setAsymmetric​(boolean b)

      • setAsymmetric

        void setAsymmetric​(boolean b,
                   DependencySet ds)

      • setHasComplexSubRole

        void setHasComplexSubRole​(boolean b)

      • setSubRolesAndChains

        void setSubRolesAndChains​(java.util.Set<Role> subRoles,
                          java.util.Set<openllet.aterm.ATermList> subRoleChains,
                          java.util.Map<openllet.aterm.ATerm,​DependencySet> dependencies)
        Parameters:
        subRoles -
        subRoleChains -
        dependencies - map from role names (or lists) to dependencies A map from role names (or role lists) to dependency sets.

      • setSuperRoles

        void setSuperRoles​(java.util.Set<Role> superRoles)
        Parameters:
        superRoles - The _superRoles to set.

      • getFunctionalSupers

        java.util.Set<Role> getFunctionalSupers()
        Returns:
        Returns the functionalSuper.

      • addFunctionalSuper

        void addFunctionalSuper​(Role r)
        Parameters:
        r - The functionalSuper to set.

      • setForceSimple

        void setForceSimple​(boolean b)

      • setSimple

        void setSimple​(boolean b)

      • isForceSimple

        boolean isForceSimple()

      • isSimple

        boolean isSimple()

      • getTransitiveSubRoles

        java.util.Set<Role> getTransitiveSubRoles()
        Returns:
        Returns transitive sub roles.

      • addTransitiveSubRole

        void addTransitiveSubRole​(Role r)
        Parameters:
        r - The transtive sub role to add.

      • getExplainDomain

        DependencySet getExplainDomain​(openllet.aterm.ATermAppl a)

      • getExplainInverseFunctional

        DependencySet getExplainInverseFunctional()

      • getExplainRange

        DependencySet getExplainRange​(openllet.aterm.ATermAppl a)

      • getExplainSub

        DependencySet getExplainSub​(openllet.aterm.ATerm r)

      • getExplainSuper

        DependencySet getExplainSuper​(openllet.aterm.ATerm r)

      • isTop

        boolean isTop()

      • isBottom

        boolean isBottom()

      • isBuiltin

        boolean isBuiltin()