Examples of addIndividual()

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

89
90
91
92
93
94
95
96
97
98
99
    System.out.println( "Consistent? " + consistent + " (" + (e - s) + "ms)" );

    // 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();
View Full Code Here

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

1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );
    ATermAppl invP = term( "invP" );
    ATermAppl invQ = term( "invQ" );

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

    kb.addObjectProperty( p );
View Full Code Here

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

1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
    ATermAppl q = term( "q" );
    ATermAppl invP = term( "invP" );
    ATermAppl invQ = term( "invQ" );

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

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
View Full Code Here

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

1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
    ATermAppl invP = term( "invP" );
    ATermAppl invQ = term( "invQ" );

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

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( invP );
View Full Code Here

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

1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
    ATermAppl invQ = term( "invQ" );

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

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( invP );
    kb.addObjectProperty( invQ );
View Full Code Here

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

1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
    ATermAppl C = term( "C" );
    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );

    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 ) );
View Full Code Here

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

1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );

    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 );
View Full Code Here

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

1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
    ATermAppl t1eq = ATermUtils.makeAnd( ATermUtils.makeHasValue( p, i21 ), ATermUtils.makeHasValue( p, i22 ) );
    ATermAppl test = term("test");

    kb.addClass( t1 );
    kb.addObjectProperty( p );
    kb.addIndividual( i1 );
    kb.addIndividual( i21 );
    kb.addIndividual( i22 );
    kb.addIndividual( test );

    kb.addEquivalentClass( t1, t1eq );
View Full Code Here

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

1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
    ATermAppl test = term("test");

    kb.addClass( t1 );
    kb.addObjectProperty( p );
    kb.addIndividual( i1 );
    kb.addIndividual( i21 );
    kb.addIndividual( i22 );
    kb.addIndividual( test );

    kb.addEquivalentClass( t1, t1eq );
    kb.addSame( i1, i21 );
View Full Code Here

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

1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
    kb.addClass( t1 );
    kb.addObjectProperty( p );
    kb.addIndividual( i1 );
    kb.addIndividual( i21 );
    kb.addIndividual( i22 );
    kb.addIndividual( test );

    kb.addEquivalentClass( t1, t1eq );
    kb.addSame( i1, i21 );
    kb.addSame( i21, i1 );
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.