Package org.mindswap.pellet

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

1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
    // first add the ABox assertions to make sure none is ignored
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, a, b );

    // add the subproperty axiom later
    kb.addSubProperty( p, q );
    kb.addInverseProperty( p, invP );
    kb.addInverseProperty( q, invQ );

    // force b to be merged to one of c or d
    kb.addType( b, or( value( c ), value( d ) ) );
View Full Code Here
1488
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
    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
1489
1490
1491
1492
1493
1494
1495
1496
1497
1498
1499
    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
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
    // first add the ABox assertions to make sure none is ignored
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, a, b );

    // add the subproperty axiom later
    kb.addSubProperty( p, q );
    kb.addInverseProperty( p, invP );
    kb.addInverseProperty( q, invQ );

    // force b to be merged to one of c or d
    kb.addType( b, or( value( c ), value( d ) ) );
View Full Code Here
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
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
263
264
265
266
267
268
269
270
271
272
273
    ATermAppl d = term( "d" );
   
    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( r );
    kb.addSubProperty( list( p, q, r ), p );
   
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, some( r, all( inv( p ), D ) ) ) ) );
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
    kb.addObjectProperty( p );
    kb.addObjectProperty( q );
    kb.addObjectProperty( r );
    kb.addObjectProperty( r2 );
    kb.addEquivalentProperty( r, r2 );
    kb.addSubProperty( list( p, q, r2 ), r );
   
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, some( r, all( inv( r ), D ) ) ) ) );
View Full Code Here
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
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
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.