Package org.mindswap.pellet

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

516
517
518
519
520
521
522
523
524
525
526
    kb.addIndividual( term( "x" ) );
    kb.addType( term( "x" ), term( "C" ) );
    kb.addIndividual( term( "x1" ) );
    kb.addType( term( "x1" ), term( "D1" ) );
    kb.addIndividual( term( "x2" ) );
    kb.addType( term( "x2" ), term( "D2" ) );
    kb.addIndividual( term( "x3" ) );
    kb.addType( term( "x3" ), term( "D3" ) );
    kb.addIndividual( term( "x4" ) );
    kb.addType( term( "x4" ), term( "D4" ) );
View Full Code Here
518
519
520
521
522
523
524
525
526
527
528
    kb.addType( term( "x" ), term( "C" ) );
    kb.addIndividual( term( "x1" ) );
    kb.addType( term( "x1" ), term( "D1" ) );
    kb.addIndividual( term( "x2" ) );
    kb.addType( term( "x2" ), term( "D2" ) );
    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" ) );
View Full Code Here
520
521
522
523
524
525
526
527
528
529
530
    kb.addType( term( "x1" ), term( "D1" ) );
    kb.addIndividual( term( "x2" ) );
    kb.addType( term( "x2" ), term( "D2" ) );
    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" ) );
View Full Code Here
550
551
552
553
554
555
556
557
558
559
560
    kb.addClass( term( "C" ) );
    kb.addClass( term( "D" ) );
    kb.addDisjointClass( term( "C" ), term( "D" ) );

    kb.addIndividual( term( "a" ) );
    kb.addType( term( "a" ), term( "C" ) );

    kb.addIndividual( term( "b" ) );
    kb.addType( term( "b" ), term( "D" ) );
View Full Code Here
553
554
555
556
557
558
559
560
561
562
563
    kb.addDisjointClass( term( "C" ), term( "D" ) );

    kb.addIndividual( term( "a" ) );
    kb.addType( term( "a" ), term( "C" ) );

    kb.addIndividual( term( "b" ) );
    kb.addType( term( "b" ), term( "D" ) );

    kb.classify();

    assertTrue( kb.getDifferents( term( "a" ) ).contains( term( "b" ) ) );
View Full Code Here
580
581
582
583
584
585
586
587
588
589
590
    kb.addInverseProperty( term( "R1" ), term( "invR1" ) );
    kb.addInverseProperty( term( "R2" ), term( "invR2" ) );
    kb.addInverseProperty( term( "S1" ), term( "invS1" ) );
    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" ) ) ) ) ) ) ) );
View Full Code Here
581
582
583
584
585
586
587
588
589
590
591
    kb.addInverseProperty( term( "R2" ), term( "invR2" ) );
    kb.addInverseProperty( term( "S1" ), term( "invS1" ) );
    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" ) ) ) ) ) ) ) );
View Full Code Here
189
190
191
192
193
194
195
196
197
198
199
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, all( inv( r ), D ) ) ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, all( inv( r ), D ) ) ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );

    assertTrue( kb.isSubClassOf( C, D ) );
View Full Code Here
191
192
193
194
195
196
197
198
199
200
201
    kb.addClass( D );
    kb.addSubClass( C, some( p, some( q, all( inv( r ), D ) ) ) );

    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( c );
    kb.addPropertyValue( p, a, b );
    kb.addPropertyValue( q, b, c );

    assertTrue( kb.isSubClassOf( C, D ) );
    assertTrue( kb.hasPropertyValue( a, r, c ) );
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.