Package org.mindswap.pellet

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

1500
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
    kb.addIndividual( e );

    kb.addPropertyValue( r, a, b );
    kb.addPropertyValue( r, b, c );
    kb.addPropertyValue( r, b, d );
    kb.addPropertyValue( s, a, c );
    kb.addPropertyValue( s, c, b );
    kb.addPropertyValue( s, c, e );

    assertTrue( kb.hasPropertyValue( a, p, b ) );
    assertTrue( kb.hasPropertyValue( a, p, c ) );
View Full Code Here
1501
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
    kb.addPropertyValue( r, a, b );
    kb.addPropertyValue( r, b, c );
    kb.addPropertyValue( r, b, d );
    kb.addPropertyValue( s, a, c );
    kb.addPropertyValue( s, c, b );
    kb.addPropertyValue( s, c, e );

    assertTrue( kb.hasPropertyValue( a, p, b ) );
    assertTrue( kb.hasPropertyValue( a, p, c ) );
    assertTrue( kb.hasPropertyValue( a, p, d ) );
View Full Code Here
1502
1503
1504
1505
1506
1507
1508
1509
1510
1511
1512
    kb.addPropertyValue( r, a, b );
    kb.addPropertyValue( r, b, c );
    kb.addPropertyValue( r, b, d );
    kb.addPropertyValue( s, a, c );
    kb.addPropertyValue( s, c, b );
    kb.addPropertyValue( s, c, e );

    assertTrue( kb.hasPropertyValue( a, p, b ) );
    assertTrue( kb.hasPropertyValue( a, p, c ) );
    assertTrue( kb.hasPropertyValue( a, p, d ) );
    assertTrue( kb.hasPropertyValue( a, p, e ) );
View Full Code Here
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
    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
    assertTrue( kb.isConsistent() );

    // this query will force a and b to be merged which will cause
View Full Code Here
1786
1787
1788
1789
1790
1791
1792
1793
1794
1795
1796
    kb.addDatatypeProperty( p );

    kb.addIndividual( a );

    kb.addPropertyValue( p, a, oneInteger );
    assertTrue( kb.isConsistent() );

    assertTrue( kb.hasPropertyValue( a, p, oneDecimal ) );
    assertTrue( kb.hasPropertyValue( a, p, oneInteger ) );
    assertTrue( kb.hasPropertyValue( a, p, oneByte ) );
View Full Code Here
1903
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );

    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );

    ATermAppl notp1a = ATermUtils.makeNot( ATermUtils.makeHasValue( p1, a ) );

    // no caching so consistency checking will be used here
View Full Code Here
1904
1905
1906
1907
1908
1909
1910
1911
1912
1913
1914
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );

    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );

    ATermAppl notp1a = ATermUtils.makeNot( ATermUtils.makeHasValue( p1, a ) );

    // no caching so consistency checking will be used here
    assertFalse( kb.isType( a, notp1a ) );
View Full Code Here
1971
1972
1973
1974
1975
1976
1977
1978
1979
1980
1981
    kb.addObjectProperty( p );

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

    kb.addPropertyValue( p, a, b );

    kb.isConsistent();

    assertTrue( kb.getPropertyValues( q ).isEmpty() );
  }
View Full Code Here
524
525
526
527
528
529
530
531
532
533
534
    kb.addIndividual( term( "x3" ) );
    kb.addType( term( "x3" ), term( "D3" ) );
    kb.addIndividual( term( "x4" ) );
    kb.addType( term( "x4" ), term( "D4" ) );

    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x1" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x2" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x3" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x4" ) );

    kb.addDisjointClass( term( "E1" ), term( "E2" ) );
View Full Code Here
525
526
527
528
529
530
531
532
533
534
535
    kb.addType( term( "x3" ), term( "D3" ) );
    kb.addIndividual( term( "x4" ) );
    kb.addType( term( "x4" ), term( "D4" ) );

    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x1" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x2" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x3" ) );
    kb.addPropertyValue( term( "p" ), term( "x" ), term( "x4" ) );

    kb.addDisjointClass( term( "E1" ), term( "E2" ) );
    kb.addDisjointClass( term( "E1" ), term( "E4" ) );
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.