Package aterm

Examples of aterm.ATermAppl

450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
    byte MAX = 127;
    int COUNT = MAX - MIN + 1;

    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );
    ATermAppl E = term( "E" );

    ATermAppl p = term( "p" );

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

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

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

    assertFalse( kb.isConsistent() );
  }
View Full Code Here
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
   */
  @Test
  public void testTopClass2() {
    KnowledgeBase kb = new KnowledgeBase();

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

    ATermAppl p = term( "p" );

    kb.addClass( A );
    kb.addClass( B );
    kb.addClass( C );
    kb.addObjectProperty( p );
View Full Code Here
677
678
679
680
681
682
683
684
685
686
687
688
  public void testTopClass2EL() {
    // This test was failing due to the issue explained in #157 at some point but not anymore
    // The issue explained in #157 is still valid even though this test passes
    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 ) ) );
View Full Code Here
701
702
703
704
705
706
707
708
709
710
711
712
713
   */
  @Test
  public void testTopClass3() {
    KnowledgeBase kb = new KnowledgeBase();

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

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

View Full Code Here
760
761
762
763
764
765
766
767
768
769
770
771
772
  @Test
  public void testCyclicTBox2() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl B = term( "B" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

    kb.addClass( B );
    kb.addClass( C );
    kb.addClass( D );
    kb.addSubClass( C, B );
View Full Code Here
806
807
808
809
810
811
812
813
814
815
816
817
818
  @Test
  public void testComplexTypes() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl a = term( "a" );
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );

    kb.addIndividual( a );

    kb.addType( a, min( p, 3, TOP ) );
    kb.addType( a, max( q, 2, TOP ) );
View Full Code Here
830
831
832
833
834
835
836
837
838
839
840
    // See also: http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/7

    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl c = term( "c" );
    kb.addClass( c );
    kb.addSubClass( ATermUtils.BOTTOM, c );
    kb.classify();

    assertTrue( kb.isSubClassOf( ATermUtils.BOTTOM, c ) );
View Full Code Here
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
  @Test
  @Ignore("Known to fail because different lexical forms are stored in one canonical literal")
  public void testCanonicalLiteral() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl a = term( "a" );
    ATermAppl p = term( "p" );
    ATermAppl q = term( "q" );
    ATermAppl plain = ATermUtils.makePlainLiteral( "lit" );
    ATermAppl typed = ATermUtils.makeTypedLiteral( "lit", XSDString.getInstance().getName() );

    kb.addIndividual( a );
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );
View Full Code Here
867
868
869
870
871
872
873
874
875
876
877
878
879
  @Test
  public void testSimpleABoxRemove() {
    KnowledgeBase kb = new KnowledgeBase();

    ATermAppl a = term( "a" );
    ATermAppl C = term( "C" );
    ATermAppl D = term( "D" );

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

    kb.addIndividual( a );
View Full Code Here
TOP

Related Classes of aterm.ATermAppl

  • apigen.adt.Alternative
  • apigen.gen.c.APIGenerator
  • aterm.pure.ATermApplImpl
  • aterm.pure.ATermListImpl
  • aterm.pure.ATermPlaceholderImpl
  • aterm.test.TestFib
  • com.clarkparsia.pellet.datatypes.DatatypeReasonerImpl
  • com.clarkparsia.pellet.datatypes.InfiniteNamedDatatype
  • com.clarkparsia.pellet.datatypes.NamedDataRangeExpander
  • com.clarkparsia.pellet.datatypes.test.DatatypeReasonerTests
    • Copyright © 2018 www.massapicom. 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.