Examples of addIndividual()

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

1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
    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

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

1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
    kb.addTransitiveProperty( s );

    kb.addSubProperty( r, p );
    kb.addSubProperty( s, p );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addIndividual( d );
    kb.addIndividual( e );
View Full Code Here

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

1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
1502
    kb.addSubProperty( r, p );
    kb.addSubProperty( s, p );

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

    kb.addPropertyValue( r, a, b );
View Full Code Here

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

103
104
105
106
107
108
109
110
111
112
113
   */
  @Test
  public void backtrackPreservesAssertedIndividuals() {
    KnowledgeBase kb = new KnowledgeBase();

    kb.addIndividual( term( "x" ) );

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

    kb.addDatatypeProperty( term( "p" ) );
View Full Code Here

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

129
130
131
132
133
134
135
136
137
138
139
    assertTrue( kb.isConsistent() );

    /*
     * Add the individual to the now completed ABox
     */
    kb.addIndividual( term( "y" ) );

    assertTrue( kb.isConsistent() );
    assertNotNull( kb.getABox().getIndividual( term( "y" ) ) );

    /*
 
View Full Code Here

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

243
244
245
246
247
248
249
250
251
252
253
    kb.addClass( notD );

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

    kb.addIndividual( x );
    kb.addIndividual( y3 );

    kb.addType( x, and( min( p, 2, and( d, e ) ), max( p, 2, d ) ) );
    kb.addType( y3, not( e ) );
    kb.addType( y3, some( inv( p ), value( x ) ) );
View Full Code Here

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

244
245
246
247
248
249
250
251
252
253
254
    kb.addDisjointClass( d, notD );
    // kb.addSubClass( c, or(e,not(d)) );

    kb.addIndividual( x );
    kb.addIndividual( y3 );

    kb.addType( x, and( min( p, 2, and( d, e ) ), max( p, 2, d ) ) );
    kb.addType( y3, not( e ) );
    kb.addType( y3, some( inv( p ), value( x ) ) );
    kb.addType( y3, or( d, c ) );
View Full Code Here

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

325
326
327
328
329
330
331
332
333
334
335
    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() );

    assertFalse( kb.isType( a, not( self( p ) ) ) );
View Full Code Here

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

363
364
365
366
367
368
369
370
371
372
373
    kb.addObjectProperty( r );
    kb.addObjectProperty( weakR );
    kb.addReflexiveProperty( r );
    kb.addRange( r, d );

    kb.addIndividual( x );
    kb.addType( x, self( p ) );
    kb.addType( x, not( some( weakR, value( x ) ) ) );
    kb.addIndividual( y );
    kb.addPropertyValue( weakR, y, x );
View Full Code Here

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

366
367
368
369
370
371
372
373
374
375
376
    kb.addRange( r, d );

    kb.addIndividual( x );
    kb.addType( x, self( p ) );
    kb.addType( x, not( some( weakR, value( x ) ) ) );
    kb.addIndividual( y );
    kb.addPropertyValue( weakR, y, x );

    assertTrue( kb.isConsistent() );

    assertTrue( kb.isSubClassOf( and( c, self( p ) ), some( p, c ) ) );
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.