Package org.mindswap.pellet

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

763
764
765
766
767
768
769
770
771
772
773
    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );
View Full Code Here
764
765
766
767
768
769
770
771
772
773
774
    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );
View Full Code Here
765
766
767
768
769
770
771
772
773
774
775
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );

    kb.classify();
View Full Code Here
830
831
832
833
834
835
836
837
838
839
840
    // See also: http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/7

    KnowledgeBase kb = new KnowledgeBase();

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

    assertTrue( kb.isSubClassOf( ATermUtils.BOTTOM, c ) );
  }
View Full Code Here
870
871
872
873
874
875
876
877
878
879
880
    ATermAppl a = term( "a" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

    kb.addClass( C );
    kb.addClass( D );

    kb.addIndividual( a );
    kb.addType( a, C );
    kb.addType( a, D );
View Full Code Here
871
872
873
874
875
876
877
878
879
880
881
    ATermAppl a = term( "a" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

    kb.addClass( C );
    kb.addClass( D );

    kb.addIndividual( a );
    kb.addType( a, C );
    kb.addType( a, D );
View Full Code Here
895
896
897
898
899
900
901
902
903
904
905
    ATermAppl C = term( "C" );

    ATermAppl p = term( "p" );

    kb.addClass( C );

    kb.addObjectProperty( p );

    kb.addIndividual( a );
    kb.addIndividual( b );
View Full Code Here
931
932
933
934
935
936
937
938
939
940
941
      ATermAppl C = ATermUtils.makeTermAppl( "C" );
      ATermAppl x = ATermUtils.makeTermAppl( "x" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
      kb.addClass( C );
      kb.addIndividual( x );

      kb.addSubClass( C, A );
View Full Code Here
932
933
934
935
936
937
938
939
940
941
942
      ATermAppl x = ATermUtils.makeTermAppl( "x" );

      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
      kb.addClass( C );
      kb.addIndividual( x );

      kb.addSubClass( C, A );
View Full Code Here
933
934
935
936
937
938
939
940
941
942
943
      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addClass( B );
      kb.addClass( C );
      kb.addIndividual( x );

      kb.addSubClass( C, A );

      kb.addType( x, C );
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.