Package org.mindswap.pellet

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

587
588
589
590
591
592
593
594
595
596
597
    kb.addSubClass( value( term( "o1" ) ), and( max( term( "invR1" ), 2, ATermUtils.TOP ), all(
        term( "invR1" ), some( term( "S1" ), some( term( "invS2" ), some( term( "R2" ),
            value( term( "o2" ) ) ) ) ) ) ) );

    kb.addSubClass( value( term( "o2" ) ), and( max( term( "invR2" ), 2, ATermUtils.TOP ), all(
        term( "invR2" ), some( term( "S2" ), some( term( "invS1" ), some( term( "R1" ),
            value( term( "o1" ) ) ) ) ) ) ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
657
658
659
660
661
662
663
664
665
666
667
    kb.addObjectProperty( p );

    kb.addEquivalentClass( A, or( B, not( B ) ) );
    // the following restriction is only to ensure we don't use the
    // EL classifier
    kb.addSubClass( C, min( p, 2, TOP ) );

    assertTrue( kb.isConsistent() );

    kb.classify();
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
    kb.addObjectProperty( r );
    kb.addSubProperty( list( p, q ), r );

    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, all( inv( r ), D ) ) ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addPropertyValue( p, a, b );
View Full Code Here
225
226
227
228
229
230
231
232
233
234
235
    kb.addSubProperty( list( p, q, r ), q );
   
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( B, some( p, some( q, some( r, D ) ) ) );
    kb.addSubClass( C, some( q, D ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
   
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( B, some( p, some( q, some( r, D ) ) ) );
    kb.addSubClass( C, some( q, D ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
View Full Code Here
267
268
269
270
271
272
273
274
275
276
277
    kb.addObjectProperty( r );
    kb.addSubProperty( list( p, q, r ), p );
   
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, some( r, all( inv( p ), D ) ) ) ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
View Full Code Here
311
312
313
314
315
316
317
318
319
320
321
    kb.addEquivalentProperty( r, r2 );
    kb.addSubProperty( list( p, q, r2 ), r );
   
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, some( r, all( inv( r ), D ) ) ) ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
View Full Code Here
493
494
495
496
497
498
499
500
501
502
503
    kb.addSubProperty( list( p, q2, r ), q );
   
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( B, some( p, some( q, some( r, D ) ) ) );
    kb.addSubClass( C, some( q, D ) );
 
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
View Full Code Here
494
495
496
497
498
499
500
501
502
503
504
   
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( B, some( p, some( q, some( r, D ) ) ) );
    kb.addSubClass( C, some( q, D ) );
 
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
View Full Code Here
534
535
536
537
538
539
540
541
542
543
544
    kb.addObjectProperty( r );
    kb.addSubProperty( list( p, q, r ), r );
   
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, some( r, all( inv( r ), D ) ) ) ) );
 
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
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.