Package org.mindswap.pellet

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

706
707
708
709
710
711
712
713
714
715
716
    ATermAppl A = term( "A" );
    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );

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

    kb.addEquivalentClass( A, B );
    kb.addEquivalentClass( B, or( B, not( B ) ) );
    kb.addSubClass( C, A );
View Full Code Here
707
708
709
710
711
712
713
714
715
716
717
    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );

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

    kb.addEquivalentClass( A, B );
    kb.addEquivalentClass( B, or( B, not( B ) ) );
    kb.addSubClass( C, A );
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 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
766
767
768
769
770
771
772
773
774
775
776
    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
831
832
833
834
835
836
837
838
839
840
841
    // 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
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
872
873
874
875
876
877
878
879
880
881
882
    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
896
897
898
899
900
901
902
903
904
905
906
    ATermAppl C = term( "C" );

    ATermAppl p = term( "p" );

    kb.addClass( C );

    kb.addObjectProperty( p );

    kb.addIndividual( a );
    kb.addIndividual( b );
View Full Code Here
932
933
934
935
936
937
938
939
940
941
942
      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
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.