Package org.mindswap.pellet

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

392
393
394
395
396
397
398
399
400
401
402
    ATermAppl r = term( "r" );

    kb.addIndividual( a );
    kb.addClass( c );
    kb.addSubClass( c, all( r, BOTTOM ) );
    kb.addSubClass( c, oneOf( a ) );

    kb.addObjectProperty( r );
    kb.addReflexiveProperty( r );

    assertSatisfiable( kb, c, false );
View Full Code Here
468
469
470
471
472
473
474
475
476
477
478
    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 ) );
    kb.addSubClass( D, card( p, COUNT, ATermUtils.TOP_LIT ) );
    kb.addSubClass( E, card( p, COUNT - 1, ATermUtils.TOP_LIT ) );

    kb.addIndividual( x );
    kb.addType( x, D );
View Full Code Here
469
470
471
472
473
474
475
476
477
478
479
      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 ) );
    kb.addSubClass( D, card( p, COUNT, ATermUtils.TOP_LIT ) );
    kb.addSubClass( E, card( p, COUNT - 1, ATermUtils.TOP_LIT ) );

    kb.addIndividual( x );
    kb.addType( x, D );
View Full Code Here
470
471
472
473
474
475
476
477
478
479
480
      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 ) );
    kb.addSubClass( D, card( p, COUNT, ATermUtils.TOP_LIT ) );
    kb.addSubClass( E, card( p, COUNT - 1, ATermUtils.TOP_LIT ) );

    kb.addIndividual( x );
    kb.addType( x, D );

    kb.addIndividual( y );
View Full Code Here
497
498
499
500
501
502
503
504
505
506
507
    kb.addObjectProperty( term( "p" ) );
    kb.addObjectProperty( term( "q" ) );
    kb.addFunctionalProperty( term( "q" ) );

    kb.addClass( term( "C" ) );
    kb.addSubClass( term( "C" ), ATermUtils.makeMax( term( "p" ), 2, ATermUtils.TOP ) );

    kb.addClass( term( "D1" ) );
    kb.addClass( term( "D2" ) );
    kb.addClass( term( "D3" ) );
    kb.addClass( term( "D4" ) );
View Full Code Here
507
508
509
510
511
512
513
514
515
516
517
    kb.addClass( term( "D4" ) );
    kb.addClass( term( "E1" ) );
    kb.addClass( term( "E2" ) );
    kb.addClass( term( "E3" ) );
    kb.addClass( term( "E4" ) );
    kb.addSubClass( term( "D1" ), ATermUtils.makeSomeValues( term( "q" ), term( "E1" ) ) );
    kb.addSubClass( term( "D2" ), ATermUtils.makeSomeValues( term( "q" ), term( "E2" ) ) );
    kb.addSubClass( term( "D3" ), ATermUtils.makeSomeValues( term( "q" ), term( "E3" ) ) );
    kb.addSubClass( term( "D4" ), ATermUtils.makeSomeValues( term( "q" ), term( "E4" ) ) );

    kb.addIndividual( term( "x" ) );
View Full Code Here
508
509
510
511
512
513
514
515
516
517
518
    kb.addClass( term( "E1" ) );
    kb.addClass( term( "E2" ) );
    kb.addClass( term( "E3" ) );
    kb.addClass( term( "E4" ) );
    kb.addSubClass( term( "D1" ), ATermUtils.makeSomeValues( term( "q" ), term( "E1" ) ) );
    kb.addSubClass( term( "D2" ), ATermUtils.makeSomeValues( term( "q" ), term( "E2" ) ) );
    kb.addSubClass( term( "D3" ), ATermUtils.makeSomeValues( term( "q" ), term( "E3" ) ) );
    kb.addSubClass( term( "D4" ), ATermUtils.makeSomeValues( term( "q" ), term( "E4" ) ) );

    kb.addIndividual( term( "x" ) );
    kb.addType( term( "x" ), term( "C" ) );
View Full Code Here
509
510
511
512
513
514
515
516
517
518
519
    kb.addClass( term( "E2" ) );
    kb.addClass( term( "E3" ) );
    kb.addClass( term( "E4" ) );
    kb.addSubClass( term( "D1" ), ATermUtils.makeSomeValues( term( "q" ), term( "E1" ) ) );
    kb.addSubClass( term( "D2" ), ATermUtils.makeSomeValues( term( "q" ), term( "E2" ) ) );
    kb.addSubClass( term( "D3" ), ATermUtils.makeSomeValues( term( "q" ), term( "E3" ) ) );
    kb.addSubClass( term( "D4" ), ATermUtils.makeSomeValues( term( "q" ), term( "E4" ) ) );

    kb.addIndividual( term( "x" ) );
    kb.addType( term( "x" ), term( "C" ) );
    kb.addIndividual( term( "x1" ) );
View Full Code Here
510
511
512
513
514
515
516
517
518
519
520
    kb.addClass( term( "E3" ) );
    kb.addClass( term( "E4" ) );
    kb.addSubClass( term( "D1" ), ATermUtils.makeSomeValues( term( "q" ), term( "E1" ) ) );
    kb.addSubClass( term( "D2" ), ATermUtils.makeSomeValues( term( "q" ), term( "E2" ) ) );
    kb.addSubClass( term( "D3" ), ATermUtils.makeSomeValues( term( "q" ), term( "E3" ) ) );
    kb.addSubClass( term( "D4" ), ATermUtils.makeSomeValues( term( "q" ), term( "E4" ) ) );

    kb.addIndividual( term( "x" ) );
    kb.addType( term( "x" ), term( "C" ) );
    kb.addIndividual( term( "x1" ) );
    kb.addType( term( "x1" ), term( "D1" ) );
View Full Code Here
583
584
585
586
587
588
589
590
591
592
593
    kb.addInverseProperty( term( "S2" ), term( "invS2" ) );

    kb.addIndividual( term( "o1" ) );
    kb.addIndividual( term( "o2" ) );

    kb.addSubClass( value( term( "o1" ) ), and( max( term( "invR1" ), 2, ATermUtils.TOP ), all(
        term( "invR1" ), some( term( "S1" ), some( term( "invS2" ), some( term( "R2" ),
            value( term( "o2" ) ) ) ) ) ) ) );

    kb.addSubClass( value( term( "o2" ) ), and( max( term( "invR2" ), 2, ATermUtils.TOP ), all(
        term( "invR2" ), some( term( "S2" ), some( term( "invS1" ), some( term( "R1" ),
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.