Examples of aterm.ATermAppl

aterm.ATermAppl
An ATermAppl represents a function application. @author Hayco de Jong (jong@cwi.nl) @author Pieter Olivier (olivierp@cwi.nl)


  @Test
  public void testInternalization() {
    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

    // either a or b with a dependency. if that dependency is not recorded
    // isMergable returns incorrect results


    KnowledgeBase kb = new KnowledgeBase();


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


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

View Full Code Here

   */
  @Test
  public void testNominalValueInteraction() {
    KnowledgeBase kb = new KnowledgeBase();


    ATermAppl t1 = term("T1");
    ATermAppl p = term("p");
    ATermAppl i1 = term("i1");
    ATermAppl i21 = term("i21");
    ATermAppl i22 = term("i22");
    ATermAppl t1eq = ATermUtils.makeAnd( ATermUtils.makeHasValue( p, i21 ), ATermUtils.makeHasValue( p, i22 ) );
    ATermAppl test = term("test");


    kb.addClass( t1 );
    kb.addObjectProperty( p );
    kb.addIndividual( i1 );
    kb.addIndividual( i21 );

View Full Code Here

    // if we visit b before c we will miss the value e and if we visit c
    // before b we miss the value d.


    KnowledgeBase kb = new KnowledgeBase();


    ATermAppl a = term( "a" );
    ATermAppl b = term( "b" );
    ATermAppl c = term( "c" );
    ATermAppl d = term( "d" );
    ATermAppl e = term( "e" );


    ATermAppl p = term( "p" );
    ATermAppl r = term( "r" );
    ATermAppl s = term( "s" );


    kb.addObjectProperty( p );
    kb.addObjectProperty( r );
    kb.addObjectProperty( s );

View Full Code Here

  @Test
  public void testLiteralMerge() {
    // Tests the issue described in #250
    KnowledgeBase kb = new KnowledgeBase();


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


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


    kb.addDatatypeProperty( p );

View Full Code Here

    // datatype returned to be empty causing the reasoner to conclude
    // subproperty relation hols even though it does not


    KnowledgeBase kb = new KnowledgeBase();


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


    ATermAppl[] ranges = {
      null, XSDInteger.getInstance().getName(), XSDString.getInstance().getName()
    };

View Full Code Here

    // Another variation of testDatatypeSubProperty1 where super
    // property has a range but not the sub property


    KnowledgeBase kb = new KnowledgeBase();


    ATermAppl C = term( "C" );


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


    kb.addClass( C );


    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );

View Full Code Here


  @Test
  public void testCachedNominalEdge() {
    KnowledgeBase kb = new KnowledgeBase();


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


    ATermAppl p = term( "p" );


    ATermAppl b = term( "b" );
    ATermAppl c = term( "c" );


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

View Full Code Here


  @Test
  public void testDisjoints() {
    KnowledgeBase kb = new KnowledgeBase();


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


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

View Full Code Here

   */
  @Test
  public void testDisjointDataProperties() {
    KnowledgeBase kb = new KnowledgeBase();


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


    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( q );
    kb.addRange( p, Datatypes.INT );
    kb.addRange( q, Datatypes.INT );

View Full Code Here

0 1 2 3 4 5 6 7 8 9

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

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.