Package org.mindswap.pellet

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

237
238
239
240
241
242
243
244
245
246
247
    ATermAppl y3 = term( "y3" );

    kb.addObjectProperty( p );
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( e );
    kb.addClass( notD );

    kb.addDisjointClass( d, notD );
    // kb.addSubClass( c, or(e,not(d)) );
View Full Code Here
238
239
240
241
242
243
244
245
246
247
248
    kb.addObjectProperty( p );
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( e );
    kb.addClass( notD );

    kb.addDisjointClass( d, notD );
    // kb.addSubClass( c, or(e,not(d)) );

    kb.addIndividual( x );
View Full Code Here
263
264
265
266
267
268
269
270
271
272
273
    ATermAppl c = term( "c" );
    ATermAppl d = term( "d" );

    ATermAppl p = term( "p" );

    kb.addClass( c );
    kb.addClass( d );

    kb.addObjectProperty( p );

    kb.addRange( p, d );
View Full Code Here
264
265
266
267
268
269
270
271
272
273
274
    ATermAppl d = term( "d" );

    ATermAppl p = term( "p" );

    kb.addClass( c );
    kb.addClass( d );

    kb.addObjectProperty( p );

    kb.addRange( p, d );
View Full Code Here
317
318
319
320
321
322
323
324
325
326
327
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );

    ATermAppl a = term( "a" );

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

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
View Full Code Here
318
319
320
321
322
323
324
325
326
327
328
    ATermAppl q = term( "q" );

    ATermAppl a = term( "a" );

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

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

    kb.addSubClass( C, or( not( self( p ) ), not( self( q ) ) ) );
View Full Code Here
350
351
352
353
354
355
356
357
358
359
360
    ATermAppl weakR = term( "weakR" );

    ATermAppl x = term( "x" );
    ATermAppl y = term( "y" );

    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( sub );
    kb.addClass( sup );
    kb.addSubClass( sub, sup );
    kb.addSubClass( some( weakR, TOP ), self( weakR ) );
View Full Code Here
351
352
353
354
355
356
357
358
359
360
361
    ATermAppl x = term( "x" );
    ATermAppl y = term( "y" );

    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( sub );
    kb.addClass( sup );
    kb.addSubClass( sub, sup );
    kb.addSubClass( some( weakR, TOP ), self( weakR ) );
View Full Code Here
352
353
354
355
356
357
358
359
360
361
362
    ATermAppl x = term( "x" );
    ATermAppl y = term( "y" );

    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 );
View Full Code Here
353
354
355
356
357
358
359
360
361
362
363
    ATermAppl y = term( "y" );

    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 );
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.