Package org.mindswap.pellet

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

236
237
238
239
240
241
242
243
244
245
246
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );

    kb.prepare();
   
    assertTrue( kb.getRole(q).isSimple() );

    assertFalse( kb.isSubClassOf( B, C ) );
    assertFalse( kb.hasPropertyValue( a, q, c ) );
View Full Code Here
277
278
279
280
281
282
283
284
285
286
287
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );

    kb.prepare();
   
    assertFalse( kb.getRole(p).isSimple() );

    assertTrue( kb.isSubClassOf( C, D ) );
    assertTrue( kb.hasPropertyValue( a, p, d ) );
View Full Code Here
321
322
323
324
325
326
327
328
329
330
331
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );

    kb.prepare();
   
    assertFalse( kb.getRole(r).isSimple() );

    assertTrue( kb.isSubClassOf( C, D ) );
    assertTrue( kb.hasPropertyValue( a, r, d ) );
View Full Code Here
504
505
506
507
508
509
510
511
512
513
514
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );
 
    kb.prepare();
   
    assertTrue( kb.getRole(q).isSimple() );
 
    assertFalse( kb.isSubClassOf( B, C ) );
    assertFalse( kb.hasPropertyValue( a, q, c ) );
View Full Code Here
544
545
546
547
548
549
550
551
552
553
554
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );
 
    kb.prepare();
   
    assertFalse( kb.getRole(r).isSimple() );
 
    assertTrue( kb.isSubClassOf( C, D ) );
    assertTrue( kb.hasPropertyValue( a, r, d ) );
View Full Code Here
811
812
813
814
815
816
817
818
819
820
821
    Reasoner reasoner = new Reasoner( OWL.manager );
    reasoner.setOntology( ont );

    KnowledgeBase kb = reasoner.getKB();
    kb.prepare();

    for( Role r : kb.getRBox().getRoles() ) {
      if( !ATermUtils.isBuiltinProperty( r.getName() ) ) {
        assertTrue( r.toString(), r.isSimple() );
        assertFalse( r.toString(), r.isTransitive() );
View Full Code Here
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
    assertFalse( kb.isType( c, D ) );
   
    // modify kb
    kb.addType( c, C );
    // call prepare first
    kb.prepare();
    // concistency check later
    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, D ) );
    assertTrue( kb.isType( b, D ) );
    assertTrue( kb.isType( c, D ) );
View Full Code Here
1554
1555
1556
1557
1558
1559
1560
1561
1562
1563
1564
    assertFalse( kb.isClassified() );
    assertFalse( kb.isRealized() );
   
    kb.getToldTaxonomy();
    kb.addIndividual( term( "a" ) );
    kb.prepare();
   
    assertFalse( kb.isClassified() );
    assertFalse( kb.isRealized() );
  }
 
View Full Code Here
1581
1582
1583
1584
1585
1586
1587
1588
1589
1590
1591
    assertFalse( kb.isClassified() );
    assertFalse( kb.isRealized() );
   
    kb.getToldTaxonomy();
    kb.addIndividual( term( "a" ) );
    kb.prepare();
   
    assertFalse( kb.isClassified() );
    assertFalse( kb.isRealized() );
  }
 
View Full Code Here
321
322
323
324
325
326
327
328
329
330
331
    kb.addIndividual( d );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
    kb.addPropertyValue( r, c, d );

    kb.prepare();
   
    assertFalse( kb.getRole(r).isSimple() );

    assertTrue( kb.isSubClassOf( C, D ) );
    assertTrue( kb.hasPropertyValue( a, 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.