Package org.mindswap.pellet

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

506
507
508
509
510
511
512
513
514
515
516
    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" ) ) );
    kb.addSubClass( term( "D4" ), ATermUtils.makeSomeValues( term( "q" ), term( "E4" ) ) );
View Full Code Here
507
508
509
510
511
512
513
514
515
516
517
    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" ) ) );
    kb.addSubClass( term( "D4" ), ATermUtils.makeSomeValues( term( "q" ), term( "E4" ) ) );
View Full Code Here
547
548
549
550
551
552
553
554
555
556
557
  @Test
  public void testDifferentFrom2() {
    KnowledgeBase kb = new KnowledgeBase();

    kb.addClass( term( "C" ) );
    kb.addClass( term( "D" ) );
    kb.addDisjointClass( term( "C" ), term( "D" ) );

    kb.addIndividual( term( "a" ) );
    kb.addType( term( "a" ), term( "C" ) );
View Full Code Here
548
549
550
551
552
553
554
555
556
557
558
  @Test
  public void testDifferentFrom2() {
    KnowledgeBase kb = new KnowledgeBase();

    kb.addClass( term( "C" ) );
    kb.addClass( term( "D" ) );
    kb.addDisjointClass( term( "C" ), term( "D" ) );

    kb.addIndividual( term( "a" ) );
    kb.addType( term( "a" ), term( "C" ) );
View Full Code Here
650
651
652
653
654
655
656
657
658
659
660
    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );

    ATermAppl p = term( "p" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );
    kb.addObjectProperty( p );

    kb.addEquivalentClass( A, or( B, not( B ) ) );
View Full Code Here
651
652
653
654
655
656
657
658
659
660
661
    ATermAppl C = term( "C" );

    ATermAppl p = term( "p" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );
    kb.addObjectProperty( p );

    kb.addEquivalentClass( A, or( B, not( B ) ) );
    // the following restriction is only to ensure we don't use the
View Full Code Here
652
653
654
655
656
657
658
659
660
661
662
    ATermAppl p = term( "p" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );
    kb.addObjectProperty( p );

    kb.addEquivalentClass( A, or( B, not( B ) ) );
    // the following restriction is only to ensure we don't use the
    // EL classifier
View Full Code Here
680
681
682
683
684
685
686
687
688
689
690
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl A = term( "A" );
    ATermAppl B = term( "B" );

    kb.addClass( A );
    kb.addClass( B );

    kb.addEquivalentClass( A, or( B, not( B ) ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
681
682
683
684
685
686
687
688
689
690
691
    ATermAppl A = term( "A" );
    ATermAppl B = term( "B" );

    kb.addClass( A );
    kb.addClass( B );

    kb.addEquivalentClass( A, or( B, not( B ) ) );

    assertTrue( kb.isConsistent() );
View Full Code Here
705
706
707
708
709
710
711
712
713
714
715
    ATermAppl A = term( "A" );
    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

    kb.addEquivalentClass( A, B );
    kb.addEquivalentClass( B, or( B, not( B ) ) );
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.