Package org.mindswap.pellet

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

831
832
833
834
835
836
837
838
839
840
841
    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
936
937
938
939
940
941
942
943
944
945
946
      kb.addClass( A );
      kb.addClass( B );
      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>>();
View Full Code Here
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
      KnowledgeBase kb = new KnowledgeBase();

      kb.addClass( A );
      kb.addObjectProperty( p );
     
      kb.addSubClass( TOP, all( p, A ) );
     
      Role r = kb.getRole( p );

      assertTrue( kb.isConsistent() );
      assertTrue( r.getRanges().contains( A ) );
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
    kb.addClass( term( "D" ) );

    kb.addDatatypeProperty( term( "p" ) );
    kb.addFunctionalProperty( term( "p" ) );

    kb.addSubClass( term( "C" ), ATermUtils.makeSomeValues( term( "p" ), ATermUtils
        .makeValue( ATermUtils.makePlainLiteral( "0" ) ) ) );
    kb.addSubClass( term( "D" ), ATermUtils.makeSomeValues( term( "p" ), ATermUtils
        .makeValue( ATermUtils.makePlainLiteral( "1" ) ) ) );

    kb.addType( term( "x" ), ATermUtils.makeOr( ATermUtils.makeList( new ATerm[] {
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
    kb.addDatatypeProperty( term( "p" ) );
    kb.addFunctionalProperty( term( "p" ) );

    kb.addSubClass( term( "C" ), ATermUtils.makeSomeValues( term( "p" ), ATermUtils
        .makeValue( ATermUtils.makePlainLiteral( "0" ) ) ) );
    kb.addSubClass( term( "D" ), ATermUtils.makeSomeValues( term( "p" ), ATermUtils
        .makeValue( ATermUtils.makePlainLiteral( "1" ) ) ) );

    kb.addType( term( "x" ), ATermUtils.makeOr( ATermUtils.makeList( new ATerm[] {
        term( "C" ), term( "D" ) } ) ) );
View Full Code Here
269
270
271
272
273
274
275
276
277
278
279
    kb.addObjectProperty( p );

    kb.addRange( p, d );

    kb.addSubClass( c, and( self( p ), some( p, TOP ) ) );

    assertTrue( kb.isConsistent() );

    assertTrue( kb.isSatisfiable( c ) );
    assertTrue( kb.isSubClassOf( c, d ) );
View Full Code Here
322
323
324
325
326
327
328
329
330
331
332
    kb.addClass( D );

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

    kb.addSubClass( C, or( not( self( p ) ), not( self( q ) ) ) );

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

    assertTrue( kb.isConsistent() );
View Full Code Here
353
354
355
356
357
358
359
360
361
362
363
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( sub );
    kb.addClass( sup );
    kb.addSubClass( sub, sup );
    kb.addSubClass( some( weakR, TOP ), self( weakR ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( r );
    kb.addObjectProperty( weakR );
View Full Code Here
354
355
356
357
358
359
360
361
362
363
364
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( sub );
    kb.addClass( sup );
    kb.addSubClass( sub, sup );
    kb.addSubClass( some( weakR, TOP ), self( weakR ) );

    kb.addObjectProperty( p );
    kb.addObjectProperty( r );
    kb.addObjectProperty( weakR );
    kb.addReflexiveProperty( r );
View Full Code Here
391
392
393
394
395
396
397
398
399
400
401
    ATermAppl c = term( "c" );
    ATermAppl r = term( "r" );

    kb.addIndividual( a );
    kb.addClass( c );
    kb.addSubClass( c, all( r, BOTTOM ) );
    kb.addSubClass( c, oneOf( a ) );

    kb.addObjectProperty( r );
    kb.addReflexiveProperty( r );
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.