Interface TaxonomyBuilder

    • Method Detail

      • classify

        boolean classify()
        Classify the KB.
        Returns:
        true if classification success
      • classify

        void classify​(openllet.aterm.ATermAppl c)
      • realize

        boolean realize()
        Realize the KB by finding the instances of each class.
        Returns:
        true if operation success
      • realize

        void realize​(openllet.aterm.ATermAppl x)
      • getTaxonomy

        Taxonomy<openllet.aterm.ATermAppl> getTaxonomy()
      • getToldTaxonomy

        Taxonomy<openllet.aterm.ATermAppl> getToldTaxonomy()
      • getToldDisjoints

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