Package openllet.core.knowledge

Interface PropertiesBase

    • Method Detail

      • currentIndividuals

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

      • addSubProperty

        default void addSubProperty​(openllet.aterm.ATerm sub,
                            openllet.aterm.ATermAppl sup)

      • addEquivalentProperty

        default void addEquivalentProperty​(openllet.aterm.ATermAppl p1,
                                   openllet.aterm.ATermAppl p2)

      • addDisjointProperties

        default void addDisjointProperties​(openllet.aterm.ATermList properties)

      • addDisjointProperty

        default void addDisjointProperty​(openllet.aterm.ATermAppl p1,
                                 openllet.aterm.ATermAppl p2)

      • addDisjointProperty

        default void addDisjointProperty​(openllet.aterm.ATermAppl p1,
                                 openllet.aterm.ATermAppl p2,
                                 DependencySet ds)

      • addInverseProperty

        default void addInverseProperty​(openllet.aterm.ATermAppl p1,
                                openllet.aterm.ATermAppl p2)

      • addTransitiveProperty

        default void addTransitiveProperty​(openllet.aterm.ATermAppl p)

      • addSymmetricProperty

        default void addSymmetricProperty​(openllet.aterm.ATermAppl p)

      • addAntisymmetricProperty

        @Deprecated
default void addAntisymmetricProperty​(openllet.aterm.ATermAppl p)
        Deprecated.
        Use addAsymmetricProperty(ATermAppl)
        Parameters:
        p -

      • addAsymmetricProperty

        default void addAsymmetricProperty​(openllet.aterm.ATermAppl p)

      • addReflexiveProperty

        default void addReflexiveProperty​(openllet.aterm.ATermAppl p)

      • addIrreflexiveProperty

        default void addIrreflexiveProperty​(openllet.aterm.ATermAppl p)

      • addFunctionalProperty

        default void addFunctionalProperty​(openllet.aterm.ATermAppl p)

      • addInverseFunctionalProperty

        default void addInverseFunctionalProperty​(openllet.aterm.ATerm p)

      • getAllSuperProperties

        default java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getAllSuperProperties​(openllet.aterm.ATermAppl prop)

      • getSuperProperties

        default java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSuperProperties​(openllet.aterm.ATermAppl prop)
        Return the super properties of p. Depending on the second parameter the result will include either all super properties or only the direct super properties.
        Parameters:
        prop -
        Returns:
        A set of sets, where each set in the collection represents a set of equivalent properties. The elements of the inner class are Role objects.

      • getSuperProperties

        default java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSuperProperties​(openllet.aterm.ATermAppl prop,
                                                                                  boolean direct)
        Return the super properties of p. Depending on the second parameter the result will include either all super properties or only the direct super properties.
        Parameters:
        prop -
        direct - If true return only the direct super properties, otherwise return all the super properties
        Returns:
        A set of sets, where each set in the collection represents a set of equivalent properties. The elements of the inner class are Role objects.

      • getAllSubProperties

        default java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getAllSubProperties​(openllet.aterm.ATermAppl prop)

      • getRoleTaxonomy

        default Taxonomy<openllet.aterm.ATermAppl> getRoleTaxonomy​(openllet.aterm.ATermAppl r)

      • getSubProperties

        default java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSubProperties​(openllet.aterm.ATermAppl prop,
                                                                                boolean direct)
        Return the sub properties of p. Depending on the second parameter the result will include either all subproperties or only the direct subproperties.
        Parameters:
        prop -
        direct - If true return only the direct subproperties, otherwise return all the subproperties
        Returns:
        A set of sets, where each set in the collection represents a set of equivalent properties. The elements of the inner class are ATermAppl objects.

      • getSubProperties

        default java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSubProperties​(openllet.aterm.ATermAppl prop)
        Return all the sub properties of p.
        Parameters:
        prop -
        Returns:
        A set of sets, where each set in the collection represents a set of equivalent properties. The elements of the inner class are ATermAppl objects.

      • getRoleTaxonomy

        default Taxonomy<openllet.aterm.ATermAppl> getRoleTaxonomy​(boolean objectTaxonomy)

      • getEquivalentProperties

        default java.util.Set<openllet.aterm.ATermAppl> getEquivalentProperties​(openllet.aterm.ATermAppl prop)
        Return all the properties that are equivalent to p.
        Parameters:
        prop -
        Returns:
        A set of ATermAppl objects.

      • getAllEquivalentProperties

        default java.util.Set<openllet.aterm.ATermAppl> getAllEquivalentProperties​(openllet.aterm.ATermAppl prop)

      • getInverses

        default java.util.Set<openllet.aterm.ATermAppl> getInverses​(openllet.aterm.ATerm name)
        Parameters:
        name -
        Returns:
        the named inverse property and all its equivalent properties.

      • getInverse

        default openllet.aterm.ATermAppl getInverse​(openllet.aterm.ATerm name)
        Returns the inverse of given property. This could possibly be an internal property created by the reasoner rather than a named property. In case the given property has more than one inverse any one of them can be returned.
        Parameters:
        name - Property whose inverse being sought
        Returns:
        Inverse property or null if given property is not defined or it is not an object property

      • isSubPropertyOf

        default boolean isSubPropertyOf​(openllet.aterm.ATermAppl sub,
                                openllet.aterm.ATermAppl sup)

      • isEquivalentProperty

        default boolean isEquivalentProperty​(openllet.aterm.ATermAppl p1,
                                     openllet.aterm.ATermAppl p2)

      • isInverse

        default boolean isInverse​(openllet.aterm.ATermAppl r1,
                          openllet.aterm.ATermAppl r2)

      • isTransitiveProperty

        default boolean isTransitiveProperty​(openllet.aterm.ATermAppl r)

      • isSymmetricProperty

        default boolean isSymmetricProperty​(openllet.aterm.ATermAppl p)

      • isFunctionalProperty

        default boolean isFunctionalProperty​(openllet.aterm.ATermAppl p)

      • isInverseFunctionalProperty

        default boolean isInverseFunctionalProperty​(openllet.aterm.ATermAppl p)

      • hasDomain

        default boolean hasDomain​(openllet.aterm.ATermAppl p,
                          openllet.aterm.ATermAppl c)

      • isReflexiveProperty

        default boolean isReflexiveProperty​(openllet.aterm.ATermAppl p)

      • isIrreflexiveProperty

        default boolean isIrreflexiveProperty​(openllet.aterm.ATermAppl p)

      • isAntisymmetricProperty

        @Deprecated
default boolean isAntisymmetricProperty​(openllet.aterm.ATermAppl p)
        Deprecated.
        Use isAsymmetricProperty(ATermAppl)
        Parameters:
        p -
        Returns:
        DO NOT USE

      • isAsymmetricProperty

        default boolean isAsymmetricProperty​(openllet.aterm.ATermAppl p)

      • getObjectProperties

        default java.util.Set<openllet.aterm.ATermAppl> getObjectProperties()
        Returns:
        the set of all object properties.

      • getAnnotationProperties

        default java.util.Set<openllet.aterm.ATermAppl> getAnnotationProperties()

      • getTransitiveProperties

        default java.util.Set<openllet.aterm.ATermAppl> getTransitiveProperties()

      • getSymmetricProperties

        default java.util.Set<openllet.aterm.ATermAppl> getSymmetricProperties()

      • getAntisymmetricProperties

        @Deprecated
default java.util.Set<openllet.aterm.ATermAppl> getAntisymmetricProperties()
        Deprecated.
        Use getAntisymmetricProperties()
        Returns:
        DO NOT USE

      • getAsymmetricProperties

        default java.util.Set<openllet.aterm.ATermAppl> getAsymmetricProperties()

      • getReflexiveProperties

        default java.util.Set<openllet.aterm.ATermAppl> getReflexiveProperties()

      • getIrreflexiveProperties

        default java.util.Set<openllet.aterm.ATermAppl> getIrreflexiveProperties()

      • getFunctionalProperties

        default java.util.Set<openllet.aterm.ATermAppl> getFunctionalProperties()

      • getInverseFunctionalProperties

        default java.util.Set<openllet.aterm.ATermAppl> getInverseFunctionalProperties()

      • getDataProperties

        default java.util.Set<openllet.aterm.ATermAppl> getDataProperties()
        Returns:
        the set of all object properties.

      • getRanges

        default java.util.Set<openllet.aterm.ATermAppl> getRanges​(openllet.aterm.ATerm name)
        The results of this function is not guaranteed to be complete. Use ClassesBase.hasRange(ATermAppl, ATermAppl) to get complete answers.
        Parameters:
        name -
        Returns:
        the domain restrictions on the property.

      • getDomains

        default java.util.Set<openllet.aterm.ATermAppl> getDomains​(openllet.aterm.ATermAppl name)
        The results of this function is not guaranteed to be complete. Use hasDomain(ATermAppl, ATermAppl) to get complete answers.
        Parameters:
        name -
        Returns:
        the domain restrictions on the property.

      • getObjectPropertyValuesSet

        default java.util.Set<openllet.aterm.ATermAppl> getObjectPropertyValuesSet​(openllet.aterm.ATermAppl r,
                                                                           openllet.aterm.ATermAppl x)
        Return all property values for a given object property and subject value.
        Parameters:
        r -
        x -
        Returns:
        A list of ATermAppl objects

      • getObjectPropertyValues

        default java.util.List<openllet.aterm.ATermAppl> getObjectPropertyValues​(openllet.aterm.ATermAppl r,
                                                                         openllet.aterm.ATermAppl x)

      • objectPropertyValues

        default java.util.stream.Stream<openllet.aterm.ATermAppl> objectPropertyValues​(openllet.aterm.ATermAppl r,
                                                                               openllet.aterm.ATermAppl x)

      • getDataPropertyValues

        default java.util.List<openllet.aterm.ATermAppl> getDataPropertyValues​(openllet.aterm.ATermAppl r,
                                                                       openllet.aterm.ATermAppl x,
                                                                       openllet.aterm.ATermAppl datatype)
        Return all literal values for a given dataproperty that belongs to the specified datatype.
        Parameters:
        r -
        x -
        datatype -
        Returns:
        List of ATermAppl objects representing literals.

      • getIndividualsWithObjectProperty

        default java.util.List<openllet.aterm.ATermAppl> getIndividualsWithObjectProperty​(openllet.aterm.ATermAppl r,
                                                                                  openllet.aterm.ATermAppl o)
        List all subjects with the given value for the specified object property.
        Parameters:
        r -
        o - An ATerm object that is the URI of an _individual
        Returns:
        List of ATermAppl objects.

      • getIndividualsWithDataProperty

        default java.util.List<openllet.aterm.ATermAppl> getIndividualsWithDataProperty​(openllet.aterm.ATermAppl r,
                                                                                openllet.aterm.ATermAppl litValue)
        List all subjects with the given literal value for the specified _data property.
        Parameters:
        r - An ATerm object that contains the literal value in the form literal(lexicalValue, langIdentifier, datatypeURI). Should be created with ATermUtils.makeXXXLiteral() functions.
        litValue -
        Returns:
        List of ATermAppl objects.

      • getIndividualsWithAnnotation

        default java.util.Set<openllet.aterm.ATermAppl> getIndividualsWithAnnotation​(openllet.aterm.ATermAppl p,
                                                                             openllet.aterm.ATermAppl o)

      • getIndividualsWithProperty

        default java.util.List<openllet.aterm.ATermAppl> getIndividualsWithProperty​(openllet.aterm.ATermAppl r,
                                                                            openllet.aterm.ATermAppl x)
        List all subjects with a given property and property value.
        Parameters:
        r -
        x - If property is an object property an ATermAppl object that is the URI of the _individual, if the property is a _data property an ATerm object that contains the literal value (See {#link #getIndividualsWithDataProperty(ATermAppl, ATermAppl)} for details)
        Returns:
        List of ATermAppl objects.

      • getDataPropertyValues

        default java.util.List<openllet.aterm.ATermAppl> getDataPropertyValues​(openllet.aterm.ATermAppl r,
                                                                       openllet.aterm.ATermAppl x,
                                                                       java.lang.String lang)
        Return all literal values for a given dataproperty that has the specified language identifier.
        Parameters:
        r -
        x -
        lang -
        Returns:
        List of ATermAppl objects.

      • getDataPropertyValues

        default java.util.List<openllet.aterm.ATermAppl> getDataPropertyValues​(openllet.aterm.ATermAppl r,
                                                                       openllet.aterm.ATermAppl x)
        Return all literal values for a given dataproperty and subject value.
        Parameters:
        r -
        x -
        Returns:
        List of ATermAppl objects.

      • getPropertyValues

        default java.util.List<openllet.aterm.ATermAppl> getPropertyValues​(openllet.aterm.ATermAppl r,
                                                                   openllet.aterm.ATermAppl x)
        Return all property values for a given property and subject value.
        Parameters:
        r -
        x -
        Returns:
        List of ATermAppl objects.

      • getPropertyValues

        default java.util.Map<openllet.aterm.ATermAppl,​java.util.List<openllet.aterm.ATermAppl>> getPropertyValues​(openllet.aterm.ATermAppl pred)

      • getProperties

        default java.util.List<openllet.aterm.ATermAppl> getProperties​(openllet.aterm.ATermAppl s,
                                                               openllet.aterm.ATermAppl o)
        Parameters:
        s - subject
        o - object
        Returns:
        all properties asserted between a subject and object.

      • getSubAnnotationProperties

        default java.util.Set<openllet.aterm.ATermAppl> getSubAnnotationProperties​(openllet.aterm.ATermAppl p)
        Annotations properties will never be include into the taxonomy, so deel with that now.
        Parameters:
        p - is an annotation property.
        Returns:
        all property that are sub property of 'p'.

      • getAnnotations

        default java.util.Set<openllet.aterm.ATermAppl> getAnnotations​(openllet.aterm.ATermAppl s,
                                                               openllet.aterm.ATermAppl p)