Examples of addSubProperty()

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

488
489
490
491
492
493
494
495
496
497
498
    kb.addObjectProperty( q2 );
    kb.addObjectProperty( q );
    kb.addObjectProperty( r );
   
    kb.addEquivalentProperty( q, q2 );
    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 ) ) ) );
View Full Code Here

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

530
531
532
533
534
535
536
537
538
539
540
    ATermAppl d = term( "d" );
   
    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    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 ) ) ) ) );
 
View Full Code Here

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

1487
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
    kb.addObjectProperty( s );
   
    kb.addTransitiveProperty( r );
    kb.addTransitiveProperty( s );
   
    kb.addSubProperty( r, p );
    kb.addSubProperty( s, p );   

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

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

1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
   
    kb.addTransitiveProperty( r );
    kb.addTransitiveProperty( s );
   
    kb.addSubProperty( r, p );
    kb.addSubProperty( s, p );   

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

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

1621
1622
1623
1624
1625
1626
1627
1628
1629
1630
1631
    kb.addEquivalentClass( C, some( p, TOP ) );
    kb.addEquivalentClass( E, some( q, TOP ) );

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

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

    kb.addType( a, C );
View Full Code Here

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

1678
1679
1680
1681
1682
1683
1684
1685
1686
1687
1688
   
    // verify realization occurred
    assertEquals( 2, realizeTimer.getCount() );
   
    // make an ABox change causing p = q and as a result C = E
    kb.addSubProperty( p, q );

    // check consistency again
    assertTrue( kb.isConsistent() );
   
    // both classification and realization results are invalidated
View Full Code Here

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

488
489
490
491
492
493
494
495
496
497
498
    kb.addObjectProperty( q2 );
    kb.addObjectProperty( q );
    kb.addObjectProperty( r );
   
    kb.addEquivalentProperty( q, q2 );
    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 ) ) ) );
View Full Code Here

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

530
531
532
533
534
535
536
537
538
539
540
    ATermAppl d = term( "d" );
   
    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    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 ) ) ) ) );
 
View Full Code Here

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

183
184
185
186
187
188
189
190
191
192
193
    ATermAppl c = term( "c" );

    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    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 ) ) ) );
View Full Code Here

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

220
221
222
223
224
225
226
227
228
229
230
    ATermAppl d = term( "d" );
   
    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( r );
    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 ) ) ) );
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.