Package org.mindswap.pellet

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

1729
1730
1731
1732
1733
1734
1735
1736
1737
1738
1739
    kb.addClass( C );
    kb.addClass( D );
    kb.addClass( E );

    kb.addSubClass( C, D );

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

    kb.addType( a, C );
View Full Code Here
392
393
394
395
396
397
398
399
400
401
402
    kb.addIndividual( i );
    kb.addIndividual( j );
    kb.addIndividual( k );

    kb.addSubClass( TOP, oneOf( i, j, k ) );
    kb.addSubClass( TOP, min( r, 3, TOP ) );

    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
View Full Code Here
393
394
395
396
397
398
399
400
401
402
403
    kb.addIndividual( i );
    kb.addIndividual( j );
    kb.addIndividual( k );

    kb.addSubClass( TOP, oneOf( i, j, k ) );
    kb.addSubClass( TOP, min( r, 3, TOP ) );

    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );
View Full Code Here
423
424
425
426
427
428
429
430
431
432
433
    kb.addIndividual( i );
    kb.addIndividual( j );
    kb.addIndividual( k );
    kb.addDatatypeProperty( p );
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 3, TOP ) );
    kb.addSubClass( TOP, or( value( i ), value( j ), value( k ) ) );
    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );
View Full Code Here
424
425
426
427
428
429
430
431
432
433
434
    kb.addIndividual( j );
    kb.addIndividual( k );
    kb.addDatatypeProperty( p );
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 3, TOP ) );
    kb.addSubClass( TOP, or( value( i ), value( j ), value( k ) ) );
    kb.addPropertyValue( p, i, d );

    AtomIVariable x = new AtomIVariable( "x" ), y = new AtomIVariable( "y" );
    AtomDVariable z = new AtomDVariable( "z" );
View Full Code Here
475
476
477
478
479
480
481
482
483
484
485
    KnowledgeBase kb = new KnowledgeBase();
    kb.addIndividual( i );
    kb.addIndividual( j );
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 1, TOP ) );
    kb.addSubClass( TOP, oneOf( i, j ) );

    kb.addRule( new Rule( Collections.singletonList( new DifferentIndividualsAtom( x, y ) ),
        Collections.singletonList( new IndividualPropertyAtom( r, x, y ) ) ) );
View Full Code Here
476
477
478
479
480
481
482
483
484
485
486
    KnowledgeBase kb = new KnowledgeBase();
    kb.addIndividual( i );
    kb.addIndividual( j );
    kb.addObjectProperty( r );
    kb.addSubClass( TOP, min( r, 1, TOP ) );
    kb.addSubClass( TOP, oneOf( i, j ) );

    kb.addRule( new Rule( Collections.singletonList( new DifferentIndividualsAtom( x, y ) ),
        Collections.singletonList( new IndividualPropertyAtom( r, x, y ) ) ) );

    kb.realize();
View Full Code Here
791
792
793
794
795
796
797
798
799
800
801
    ATermAppl D = term( "D" );
    AtomIVariable x = new AtomIVariable( "x" );

    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, D );
    kb.addIndividual( i );
    kb.addType( i, C );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();
View Full Code Here
816
817
818
819
820
821
822
823
824
825
826
    ATermAppl D = term( "D" );
    AtomIVariable x = new AtomIVariable( "x" );

    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, D );
    kb.addIndividual( i );
    kb.addType( i, D );

    List<RuleAtom> body = new ArrayList<RuleAtom>();
    List<RuleAtom> head = new ArrayList<RuleAtom>();
View Full Code Here
493
494
495
496
497
498
499
500
501
502
503
    kb.addSubProperty( list( p, q2, r ), q );
   
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( B, some( p, some( q, some( r, D ) ) ) );
    kb.addSubClass( C, some( q, D ) );
 
    kb.addIndividual( a );
    kb.addIndividual( b );
    kb.addIndividual( 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.