Package org.mindswap.pellet

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

903
904
905
906
907
908
909
910
911
912
913
    kb.addObjectProperty( p );

    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addType( a, all( p, C ) );
    kb.addType( b, C );

    kb.addPropertyValue( p, a, b );

    kb.removeType( b, C );
View Full Code Here
904
905
906
907
908
909
910
911
912
913
914
    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addType( a, all( p, C ) );
    kb.addType( b, C );

    kb.addPropertyValue( p, a, b );

    kb.removeType( b, C );
View Full Code Here
939
940
941
942
943
944
945
946
947
948
949
      kb.addClass( C );
      kb.addIndividual( x );

      kb.addSubClass( C, A );

      kb.addType( x, C );
      kb.addType( x, B );

      Set<Set<ATermAppl>> expectedTypes = new HashSet<Set<ATermAppl>>();
      expectedTypes.add( Collections.singleton( ATermUtils.TOP ) );
      expectedTypes.add( Collections.singleton( A ) );
View Full Code Here
940
941
942
943
944
945
946
947
948
949
950
      kb.addIndividual( x );

      kb.addSubClass( C, A );

      kb.addType( x, C );
      kb.addType( x, B );

      Set<Set<ATermAppl>> expectedTypes = new HashSet<Set<ATermAppl>>();
      expectedTypes.add( Collections.singleton( ATermUtils.TOP ) );
      expectedTypes.add( Collections.singleton( A ) );
      expectedTypes.add( Collections.singleton( B ) );
View Full Code Here
87
88
89
90
91
92
93
94
95
96
97
    // peform ABox addition which results in a consistent KB
    ATermAppl concept = ATermUtils.makeTermAppl( mindswap + "GraduateStudent" );
    ATermAppl individual = ATermUtils.makeTermAppl( mindswappers + "JohnDoe" );
    kb.addIndividual( individual );
    kb.addType( individual, concept );

    // perform incremental consistency check
    s = System.currentTimeMillis();
    consistent = kb.isConsistent();
    e = System.currentTimeMillis();
View Full Code Here
811
812
813
814
815
816
817
818
819
820
821
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );

    kb.addIndividual( a );

    kb.addType( a, min( p, 3, TOP ) );
    kb.addType( a, max( q, 2, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );

    kb.addObjectProperty( p );
View Full Code Here
812
813
814
815
816
817
818
819
820
821
822
    ATermAppl q = term( "q" );

    kb.addIndividual( a );

    kb.addType( a, min( p, 3, TOP ) );
    kb.addType( a, max( q, 2, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
View Full Code Here
813
814
815
816
817
818
819
820
821
822
823
    kb.addIndividual( a );

    kb.addType( a, min( p, 3, TOP ) );
    kb.addType( a, max( q, 2, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
View Full Code Here
814
815
816
817
818
819
820
821
822
823
824
    kb.addIndividual( a );

    kb.addType( a, min( p, 3, TOP ) );
    kb.addType( a, max( q, 2, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );
    kb.addType( a, min( q, 1, TOP ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );

    assertTrue( kb.isConsistent() );
View Full Code Here
874
875
876
877
878
879
880
881
882
883
884
    kb.addClass( C );
    kb.addClass( D );

    kb.addIndividual( a );
    kb.addType( a, C );
    kb.addType( a, D );

    kb.removeType( a, D );

    assertTrue( kb.isConsistent() );
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.