Package org.mindswap.pellet

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

459
460
461
462
463
464
465
466
467
468
469
    ATermAppl p = term( "p" );

    ATermAppl x = term( "x" );
    ATermAppl y = term( "y" );

    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( E );

    kb.addDatatypeProperty( p );
    kb.addRange( p, ATermUtils.makeRestrictedDatatype( XSDInteger.getInstance().getName(), new ATermAppl[] {
View Full Code Here
460
461
462
463
464
465
466
467
468
469
470
    ATermAppl x = term( "x" );
    ATermAppl y = term( "y" );

    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() ) ),
View Full Code Here
461
462
463
464
465
466
467
468
469
470
471
    ATermAppl x = term( "x" );
    ATermAppl y = term( "y" );

    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() ) )
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" ) );
View Full Code Here
500
501
502
503
504
505
506
507
508
509
510
    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" ) );
    kb.addClass( term( "E1" ) );
    kb.addClass( term( "E2" ) );
View Full Code Here
501
502
503
504
505
506
507
508
509
510
511
    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" ) );
    kb.addClass( term( "E1" ) );
    kb.addClass( term( "E2" ) );
    kb.addClass( term( "E3" ) );
View Full Code Here
502
503
504
505
506
507
508
509
510
511
512
    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" ) );
    kb.addClass( term( "E1" ) );
    kb.addClass( term( "E2" ) );
    kb.addClass( term( "E3" ) );
    kb.addClass( term( "E4" ) );
View Full Code Here
503
504
505
506
507
508
509
510
511
512
513
    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" ) );
    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" ) ) );
View Full Code Here
504
505
506
507
508
509
510
511
512
513
514
    kb.addClass( term( "D1" ) );
    kb.addClass( term( "D2" ) );
    kb.addClass( term( "D3" ) );
    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" ) ) );
View Full Code Here
505
506
507
508
509
510
511
512
513
514
515
    kb.addClass( term( "D1" ) );
    kb.addClass( term( "D2" ) );
    kb.addClass( term( "D3" ) );
    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" ) ) );
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.