Package org.mindswap.pellet

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

1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
    kb.addDatatypeProperty( p );
    kb.addFunctionalProperty( p );
   
    // a has a p-successor which is an integer
    kb.addType( a, some( p, XSDInteger.getInstance().getName() ) );
    // bogus axiom to force full datatype reasoning
    kb.addType( a, max( p, 2, TOP_LIT ) );
   
    // b has an asserted p value which is a string
    kb.addPropertyValue( p, b, literal( "b" ) );
View Full Code Here
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
    kb.addFunctionalProperty( p );
   
    // a has a p-successor which is an integer
    kb.addType( a, some( p, XSDInteger.getInstance().getName() ) );
    // bogus axiom to force full datatype reasoning
    kb.addType( a, max( p, 2, TOP_LIT ) );
   
    // b has an asserted p value which is a string
    kb.addPropertyValue( p, b, literal( "b" ) );

    // check consistency whihc
View Full Code Here
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
    kb.addClass( C );
    kb.addClass( D );

    kb.addIndividual( a );
    kb.addType( a, C );
    kb.addType( a, D );

    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertTrue( kb.isType( a, D ) );
View Full Code Here
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
    kb.addClass( C );
    kb.addClass( D );

    kb.addIndividual( a );
    kb.addType( a, C );
    kb.addType( a, D );

    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, C ) );
    assertTrue( kb.isType( a, D ) );
View Full Code Here
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
   
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
   
    kb.addType( a, C );
           
    // kb will be in classified state
    kb.classify();
   
    assertTrue( kb.isType( a, D ) );
View Full Code Here
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
    assertTrue( kb.isType( a, D ) );
    assertFalse( kb.isType( b, D ) );
    assertFalse( kb.isType( c, D ) );
   
    // modify ABox
    kb.addType( b, C );
   
    // call consistency check directly
    assertTrue( kb.isConsistent() );
    assertTrue( kb.isType( a, D ) );
    assertTrue( kb.isType( b, D ) );
View Full Code Here
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
    assertTrue( kb.isType( a, D ) );
    assertTrue( kb.isType( b, D ) );
    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 ) );
View Full Code Here
1626
1627
1628
1629
1630
1631
1632
1633
1634
1635
1636
    kb.addSubProperty( q, p );

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

    kb.addType( a, C );
    kb.addPropertyValue( p, a, b );

    // do the first consistency test
    // ABox: C(a), p(a, b)
    // TBox: C = some(p, TOP), E = some(q, TOP)
View Full Code Here
1649
1650
1651
1652
1653
1654
1655
1656
1657
1658
1659
    // make sure counts are ok
    assertEquals( 1, classifyTimer.getCount() );
    assertEquals( 1, realizeTimer.getCount() );

    // make an ABox change
    kb.addType( b, E );

    // check consistency again
    assertTrue( kb.isConsistent() );
   
    // classification results should remain but realization
View Full Code Here
1734
1735
1736
1737
1738
1739
1740
1741
1742
1743
1744
    kb.addSubClass( C, D );

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

    kb.addType( a, C );

    // copy before ConsistencyDone
    assertFalse( kb.copy().isConsistencyDone() );
   
    // do the first consistency test
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.