Package org.mindswap.pellet

Examples of org.mindswap.pellet.KnowledgeBase.classify()

833
834
835
836
837
838
839
840
841
842
843
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl c = term( "c" );
    kb.addClass( c );
    kb.addSubClass( ATermUtils.BOTTOM, c );
    kb.classify();

    assertTrue( kb.isSubClassOf( ATermUtils.BOTTOM, c ) );
  }

  @Test
View Full Code Here
243
244
245
246
247
248
249
250
251
252
253
    ProfileUtils.printCounts( kb.getABox() );

    if( classify ) {
      t = timers.startTimer( "classify" );

      kb.classify();

      t.stop();
    }

    if( realize ) {
View Full Code Here
357
358
359
360
361
362
363
364
365
366
367
        kb.isConsistent();
        ProfileUtils.printCounts( kb.getABox() );
        break;

      case Classify:
        kb.classify();
        break;

      case Realize:
        kb.realize();
        break;
View Full Code Here
714
715
716
717
718
719
720
721
722
723
724
    kb.addEquivalentClass( B, or( B, not( B ) ) );
    kb.addSubClass( C, A );

    assertTrue( kb.isConsistent() );

    kb.classify();

    assertTrue( kb.isEquivalentClass( A, TOP ) );
    assertTrue( kb.isEquivalentClass( B, TOP ) );
    assertFalse( kb.isEquivalentClass( C, TOP ) );
  }
View Full Code Here
770
771
772
773
774
775
776
777
778
779
780
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );

    kb.classify();

    assertTrue( kb.isEquivalentClass( B, C ) );
    assertTrue( kb.isEquivalentClass( B, D ) );
    assertTrue( kb.isEquivalentClass( D, C ) );
  }
View Full Code Here
832
833
834
835
836
837
838
839
840
841
842
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl c = term( "c" );
    kb.addClass( c );
    kb.addSubClass( ATermUtils.BOTTOM, c );
    kb.classify();

    assertTrue( kb.isSubClassOf( ATermUtils.BOTTOM, c ) );
  }

  @Test
View Full Code Here
556
557
558
559
560
561
562
563
564
565
566
    kb.addType( term( "a" ), term( "C" ) );

    kb.addIndividual( term( "b" ) );
    kb.addType( term( "b" ), term( "D" ) );

    kb.classify();

    assertTrue( kb.getDifferents( term( "a" ) ).contains( term( "b" ) ) );
    assertTrue( kb.getDifferents( term( "b" ) ).contains( term( "a" ) ) );
  }
View Full Code Here
661
662
663
664
665
666
667
668
669
670
671
    // EL classifier
    kb.addSubClass( C, min( p, 2, TOP ) );

    assertTrue( kb.isConsistent() );

    kb.classify();

    assertTrue( kb.isEquivalentClass( A, TOP ) );
    assertFalse( kb.isEquivalentClass( B, TOP ) );
  }
 
View Full Code Here
686
687
688
689
690
691
692
693
694
695
696
    kb.addEquivalentClass( A, or( B, not( B ) ) );

    assertTrue( kb.isConsistent() );

    kb.classify();

    assertTrue( kb.isEquivalentClass( A, TOP ) );
    assertFalse( kb.isEquivalentClass( B, TOP ) );
  }
View Full Code Here
951
952
953
954
955
956
957
958
959
960
961
    KnowledgeBase kb = pellet.getKB();

    OWLOntology ont = loadOntology( base + "food.owl" );
    pellet.loadOntology( ont );

    kb.classify();

    kb.getTaxonomyBuilder().setProgressMonitor( monitor );

    kb.realize();
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.