Package openllet.core.knowledge

Interface Base

    • Method Detail

      • getIndividuals

        java.util.Set<openllet.aterm.ATermAppl> getIndividuals()
        Returns:
        the set of all individuals. Returned set is unmodifiable!

      • isIndividual

        default boolean isIndividual​(openllet.aterm.ATerm ind)

      • getInstances

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

      • getAnnotations

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

      • handleUndefinedEntity

        static void handleUndefinedEntity​(java.lang.String s)

      • getOptTaxonomyBuilder

        java.util.Optional<TaxonomyBuilder> getOptTaxonomyBuilder()

      • setOptTaxonomyBuilder

        void setOptTaxonomyBuilder​(java.util.Optional<TaxonomyBuilder> builder)

      • ensureConsistency

        void ensureConsistency()

      • isSatisfiable

        boolean isSatisfiable​(openllet.aterm.ATermAppl c)

      • realize

        void realize()

      • prepare

        void prepare()

      • classify

        void classify()

      • isClassified

        boolean isClassified()
        Returns:
        true if the classification check has been done and nothing in the KB has changed after that.

      • isRealized

        boolean isRealized()

      • setBuilderProgressMonitor

        void setBuilderProgressMonitor​(ProgressMonitor builderProgressMonitor)

      • getSuperClasses

        java.util.Set<java.util.Set<openllet.aterm.ATermAppl>> getSuperClasses​(openllet.aterm.ATermAppl cParam,
                                                                       boolean direct)
        Returns the (named) superclasses of class c. Depending on the second parameter the resulting list will include either all or only the direct superclasses. A class d is a direct superclass of c iff
        1. d is superclass of c
        2. there is no other class x such that x is superclass of c and d is superclass of x
        The class c itself is not included in the list but all the other classes that are sameAs c are put into the list. Also note that the returned list will always have at least one element. The list will either include one other concept from the hierarchy or the TOP concept if no other class subsumes c. By definition TOP concept is superclass of every concept.

        *** This function will first classify the whole ontology ***

        Parameters:
        cParam - class whose superclasses are returned
        direct -
        Returns:
        A set of sets, where each set in the collection represents an equivalence class. The elements of the inner class are ATermAppl objects.

      • isSubClassOf

        boolean isSubClassOf​(openllet.aterm.ATermAppl subCls,
                     openllet.aterm.ATermAppl supCls)
        Parameters:
        subCls -
        supCls -
        Returns:
        true if class subCls is subclass of class supCls.

      • getProperties

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

      • getAnnotationSubjects

        default java.util.Set<openllet.aterm.ATermAppl> getAnnotationSubjects()
        Returns:
        the set of key values of the annotations map

      • getPropertyType

        default PropertyType getPropertyType​(openllet.aterm.ATerm r)

      • isClass

        default boolean isClass​(openllet.aterm.ATerm c)

      • isDatatypeProperty

        default boolean isDatatypeProperty​(openllet.aterm.ATerm p)

      • isDatatype

        default boolean isDatatype​(openllet.aterm.ATermAppl c)

      • isObjectProperty

        default boolean isObjectProperty​(openllet.aterm.ATerm p)

      • isABoxProperty

        default boolean isABoxProperty​(openllet.aterm.ATerm p)

      • isAnnotationProperty

        default boolean isAnnotationProperty​(openllet.aterm.ATerm p)

      • isProperty

        default boolean isProperty​(openllet.aterm.ATerm p)

      • getClasses

        default java.util.Set<openllet.aterm.ATermAppl> getClasses()
        Returns:
        the set of all named classes. Returned set is unmodifiable!

      • getAllClasses

        default java.util.Set<openllet.aterm.ATermAppl> getAllClasses()
        Returns:
        the set of all named classes including TOP and BOTTOM. Returned set is modifiable.

      • allClasses

        default java.util.stream.Stream<openllet.aterm.ATermAppl> allClasses()
        Returns:
        same as getAllClasses but can be lazy.
        Since:
        2.6.2

      • getRole

        default Role getRole​(openllet.aterm.ATerm term)
        Parameters:
        term -
        Returns:
        a role

      • getProperty

        default Role getProperty​(openllet.aterm.ATerm r)

      • getExplanationSet

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

      • setDoExplanation

        default void setDoExplanation​(boolean doExplanation)
        Parameters:
        doExplanation - The doExplanation to set.

      • doExplanation

        default boolean doExplanation()

      • getExplanation

        default java.lang.String getExplanation()

      • binaryInstanceRetrieval

        void binaryInstanceRetrieval​(openllet.aterm.ATermAppl c,
                             java.util.List<openllet.aterm.ATermAppl> candidates,
                             java.util.Collection<openllet.aterm.ATermAppl> results)