Package org.mindswap.pellet

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

1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addSubClass( TOP, and( or( B, not( A ) ), or( C, not( B ) ) ) );

    assertSubClass( kb, A, B );

    assertSubClass( kb, B, C );
View Full Code Here
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
    kb.addClass( C );
    kb.addIndividual( a );
    kb.addIndividual( b );

    kb.addSubClass( C, oneOf( a, b ) );
    kb.addEquivalentClass( A, oneOf( a ) );
    kb.addEquivalentClass( B, oneOf( b ) );
    kb.addDisjointClass( A, B );

    assertTrue( kb.isConsistent() );
View Full Code Here
111
112
113
114
115
116
117
118
119
120
121
    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
113
114
115
116
117
118
119
120
121
122
123
    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
270
271
272
273
274
275
276
277
278
279
280
    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
323
324
325
326
327
328
329
330
331
332
333
    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
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 );
View Full Code Here
355
356
357
358
359
360
361
362
363
364
365
    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
1606
1607
1608
1609
1610
1611
1612
1613
1614
1615
1616
    kb.addDomain( p, C );

    kb.addRange( q, XSDInteger.getInstance().getName() );

    kb.addSubClass( C, some( q, TOP_LIT ) );

    assertTrue( kb.isConsistent() );

    assertFalse( kb.isSubPropertyOf( p, q ) );
    assertFalse( kb.isSubPropertyOf( q, p ) );
View Full Code Here
1670
1671
1672
1673
1674
1675
1676
1677
1678
1679
1680
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );

    kb.addSubClass( B, A );
    kb.addSubClass( D, C );
    kb.addComplementClass( B, C );

    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.