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 testRemovePruned() {
    KnowledgeBase kb = new KnowledgeBase();


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


    ATermAppl p = term( "p" );


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


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

View Full Code Here


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


    ATermAppl A = term( "A" );


    ATermAppl p = term( "p" );


    ATermAppl a = term( "a" );


    ATermAppl oneDecimal = literal( "1", Datatypes.DECIMAL );
    ATermAppl oneInteger = literal( "1", Datatypes.INTEGER );
    ATermAppl oneByte = literal( "1", Datatypes.BYTE );
    ATermAppl oneFloat = literal( "1", Datatypes.FLOAT );


    kb.addClass( A );


    kb.addDatatypeProperty( p );

View Full Code Here


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


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


    ATermAppl zeroDecimal = literal( "0", Datatypes.DECIMAL );
    ATermAppl zeroInteger = literal( "0", Datatypes.INTEGER );
    ATermAppl zeroByte = literal( "0", Datatypes.BYTE );
    ATermAppl zeroFloat = literal( "0", Datatypes.FLOAT );


    kb.addClass( A );
    kb.addDatatypeProperty( p );
    kb.addIndividual( a );

View Full Code Here


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


    ATermAppl A = term( "A" );


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


    ATermAppl a = term( "a" );


    ATermAppl lit1 = literal( "test" );
    ATermAppl lit2 = literal( "1", Datatypes.DECIMAL );


    kb.addClass( A );


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

View Full Code Here


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


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


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


    kb.addDisjointClasses( Arrays.asList( A, self(p) ) );

View Full Code Here

  public void testDisjointPropertiesCache() {
    // test case for issue #336 to verify AbstractConceptCache.isMergable does
    // not return incorrect results.
    KnowledgeBase kb = new KnowledgeBase();


    ATermAppl p1 = term( "p1" );
    ATermAppl p2 = term( "p2" );


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


    kb.addObjectProperty( p1 );
    kb.addObjectProperty( p2 );
    kb.addDisjointProperty( p1, p2 );


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


    kb.addPropertyValue( p1, a, c );
    kb.addPropertyValue( p2, b, a );


    ATermAppl notp1a = ATermUtils.makeNot( ATermUtils.makeHasValue( p1, a ) );


    // no caching so consistency checking will be used here
    assertFalse( kb.isType( a, notp1a ) );
    assertTrue( kb.isType( b, notp1a ) );

View Full Code Here

    // where one is primitive and the other is non-primitive CD classifier was
    // picking primitive flag and returning incorrect classification results.


    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 );

View Full Code Here

  public void testUndefinedProperty() {
    // Test for #351. Calling getPropertyValues for an undefinde property should not throw NPE


    KnowledgeBase kb = new KnowledgeBase();


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


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


    kb.addObjectProperty( p );


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

View Full Code Here

  public void test370() {
    // test case for issue #370.
    dataProperties( p );
    individuals( a );


    ATermAppl dt = restrict( Datatypes.DECIMAL,
        minExclusive( literal( "0.99", Datatypes.DECIMAL ) ),
        maxExclusive( literal( "1.01", Datatypes.DECIMAL ) ) );


    kb.addType( a, min( p, 3, dt ) );

View Full Code Here

  public void test375() {
    // test case for issue #375.
    classes( A, B, C );
    dataProperties( p );


    ATermAppl dt = restrict( Datatypes.INTEGER, minExclusive( literal( 1 ) ) );


    kb.addRange( p, XSDInteger.getInstance().getName() );
    kb.addSubClass( A, C );
    kb.addEquivalentClass( A, some( p, dt ) );
    kb.addSubClass( B, C );

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.