Package org.mindswap.pellet

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

268
269
270
271
272
273
274
275
276
277
278
    kb.addClass( c );
    kb.addClass( d );

    kb.addObjectProperty( p );

    kb.addRange( p, d );

    kb.addSubClass( c, and( self( p ), some( p, TOP ) ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
361
362
363
364
365
366
367
368
369
370
371
    kb.addObjectProperty( p );
    kb.addObjectProperty( r );
    kb.addObjectProperty( weakR );
    kb.addReflexiveProperty( r );
    kb.addRange( r, d );

    kb.addIndividual( x );
    kb.addType( x, self( p ) );
    kb.addType( x, not( some( weakR, value( x ) ) ) );
    kb.addIndividual( y );
View Full Code Here
1568
1569
1570
1571
1572
1573
1574
1575
1576
1577
1578
        kb.addDatatypeProperty( p );
        kb.addDatatypeProperty( q );

        if( rangeP != null ) {
          kb.addRange( p, rangeP );
        }
        if( rangeQ != null ) {
          kb.addRange( q, rangeQ );
        }
View Full Code Here
1571
1572
1573
1574
1575
1576
1577
1578
1579
1580
1581
        if( rangeP != null ) {
          kb.addRange( p, rangeP );
        }
        if( rangeQ != null ) {
          kb.addRange( q, rangeQ );
        }

        assertTrue( kb.isConsistent() );

        assertFalse( kb.isSubPropertyOf( p, q ) );
View Full Code Here
1604
1605
1606
1607
1608
1609
1610
1611
1612
1613
1614
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

    kb.addDomain( p, C );

    kb.addRange( q, XSDInteger.getInstance().getName() );

    kb.addSubClass( C, some( q, TOP_LIT ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
1724
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );

    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );
    kb.addRange( p, Datatypes.INT );
    kb.addRange( q, Datatypes.INT );

    assertFalse( "p and q should not be disjoint!", kb.isDisjointProperty( p, q ) );
  }
View Full Code Here
1725
1726
1727
1728
1729
1730
1731
1732
1733
1734
1735
    ATermAppl q = term( "q" );

    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );
    kb.addRange( p, Datatypes.INT );
    kb.addRange( q, Datatypes.INT );

    assertFalse( "p and q should not be disjoint!", kb.isDisjointProperty( p, q ) );
  }

View Full Code Here
1851
1852
1853
1854
1855
1856
1857
1858
1859
1860
1861
    kb.addIndividual( a );

    kb.addType( a, A );

    kb.addSubClass( A, min( p, 1, TOP_LIT ) );
    kb.addRange( p, oneOf( lit1 ) );

    kb.addSubClass( A, some( q, TOP_LIT ) );
    kb.addRange( q, oneOf( lit2 ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
1854
1855
1856
1857
1858
1859
1860
1861
1862
1863
1864
    kb.addSubClass( A, min( p, 1, TOP_LIT ) );
    kb.addRange( p, oneOf( lit1 ) );

    kb.addSubClass( A, some( q, TOP_LIT ) );
    kb.addRange( q, oneOf( lit2 ) );

    assertTrue( kb.isConsistent() );


    assertEquals( singletonList( lit1 ), kb.getDataPropertyValues( p, a ) );
View Full Code Here
464
465
466
467
468
469
470
471
472
473
474
    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( E );

    kb.addDatatypeProperty( p );
    kb.addRange( p, ATermUtils.makeRestrictedDatatype( XSDInteger.getInstance().getName(), new ATermAppl[] {
      ATermUtils.makeFacetRestriction( Facet.XSD.MIN_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral( Byte.toString( MIN ), XSDByte.getInstance().getName() ) ),
      ATermUtils.makeFacetRestriction( Facet.XSD.MAX_INCLUSIVE.getName(), ATermUtils.makeTypedLiteral( Byte.toString( MAX ), XSDByte.getInstance().getName() ) )
    }) );

    kb.addSubClass( C, card( p, COUNT + 1, ATermUtils.TOP_LIT ) );
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.