Package org.mindswap.pellet

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

655
656
657
658
659
660
661
662
663
664
665
    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
    kb.addSubClass( C, min( p, 2, TOP ) );

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

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

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

    assertTrue( kb.isConsistent() );

    kb.classify();
View Full Code Here
709
710
711
712
713
714
715
716
717
718
719
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

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

    assertTrue( kb.isConsistent() );
View Full Code Here
710
711
712
713
714
715
716
717
718
719
720
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

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

    assertTrue( kb.isConsistent() );

    kb.classify();
View Full Code Here
769
770
771
772
773
774
775
776
777
778
779
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );

    kb.classify();

    assertTrue( kb.isEquivalentClass( B, C ) );
    assertTrue( kb.isEquivalentClass( B, D ) );
View Full Code Here
708
709
710
711
712
713
714
715
716
717
718
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

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

    assertTrue( kb.isConsistent() );
View Full Code Here
709
710
711
712
713
714
715
716
717
718
719
    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );

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

    assertTrue( kb.isConsistent() );

    kb.classify();
View Full Code Here
768
769
770
771
772
773
774
775
776
777
778
    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, B );
    kb.addSubClass( D, C );
    kb.addEquivalentClass( D, B );

    kb.classify();

    assertTrue( kb.isEquivalentClass( B, C ) );
    assertTrue( kb.isEquivalentClass( B, D ) );
View Full Code Here
622
623
624
625
626
627
628
629
630
631
632
  @Test
  public void testCyclicTBox1() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl C = term( "C" );
    kb.addEquivalentClass( C, not( C ) );

    assertFalse( kb.isConsistent() );
  }

View Full Code Here
654
655
656
657
658
659
660
661
662
663
664
    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
    kb.addSubClass( C, min( p, 2, TOP ) );

    assertTrue( kb.isConsistent() );
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.