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)

      this.p = p;
    }


    @Override
    protected boolean isSubsumedBy(ATermAppl a, ATermAppl b) {
      ATermAppl someB = ATermUtils.makeSomeValues( p, b );


      return kb.isSubClassOf( a, someB );
    }

View Full Code Here

    assertEquals( "https://example.com/foo", FileUtils.toURI( "https://example.com/foo" ) );
  }


  @Test
  public void testQualifiedCardinalityObjectProperty() {
    ATermAppl sub = term( "sub" );
    ATermAppl sup = term( "sup" );


    classes( c, d, sub, sup );
    objectProperties( p, f );


    kb.addFunctionalProperty( f );

View Full Code Here


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


    ATermAppl c = restrict( Datatypes.INTEGER, minInclusive( literal( 10 ) ) );
    ATermAppl d = restrict( Datatypes.INTEGER, maxInclusive( literal( 20 ) ) );


    ATermAppl p = term( "p" );
    ATermAppl f = term( "f" );
    ATermAppl sub = Datatypes.SHORT;
    ATermAppl sup = Datatypes.INTEGER;


    kb.addDatatype(sub);
    kb.addDatatype(sup);
    kb.addDatatypeProperty( p );
    kb.addDatatypeProperty( f );

View Full Code Here


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


    ATermAppl c = term( "z" );
    ATermAppl d = term( "d" );
    ATermAppl e = term( "e" );
    ATermAppl notD = term( "notD" );


    ATermAppl p = term( "p" );


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


    kb.addObjectProperty( p );
    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( e );

View Full Code Here


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


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


    ATermAppl p = term( "p" );


    kb.addClass( c );
    kb.addClass( d );


    kb.addObjectProperty( p );

View Full Code Here

   * Test for the enhancement required in #252
   */
  public void testBooleanDatatypeConstructors() {
    KnowledgeBase kb = new KnowledgeBase();


    ATermAppl nni = Datatypes.NON_NEGATIVE_INTEGER;
    ATermAppl npi = Datatypes.NON_POSITIVE_INTEGER;
    ATermAppl ni = Datatypes.NEGATIVE_INTEGER;
    ATermAppl pi = Datatypes.POSITIVE_INTEGER;
    ATermAppl f = Datatypes.FLOAT;


    ATermAppl s = term( "s" );
    kb.addDatatypeProperty( s );


    assertSatisfiable( kb, some( s, pi ) );
    assertSatisfiable( kb, some( s, not ( pi ) ) );
    assertUnsatisfiable( kb, some( s, and( pi, ni ) ) );

View Full Code Here


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


    ATermAppl C = term( "c" );
    ATermAppl D = term( "d" );


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


    ATermAppl a = term( "a" );


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


    kb.addObjectProperty( p );

View Full Code Here


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


    ATermAppl c = term( "c" );
    ATermAppl d = term( "d" );
    ATermAppl sub = term( "sub" );
    ATermAppl sup = term( "sup" );


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


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


    kb.addClass( c );
    kb.addClass( d );
    kb.addClass( sub );
    kb.addClass( sup );

View Full Code Here


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


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


    kb.addIndividual( a );
    kb.addClass( c );
    kb.addSubClass( c, all( r, BOTTOM ) );
    kb.addSubClass( c, oneOf( a ) );

View Full Code Here

    assertEquals( kb.getInstances( C ), SetUtils.create( a, b ) );
  }


  @Test
  public void testAsymmetry() {
    ATermAppl p = term( "p" );


    KnowledgeBase kb = new KnowledgeBase();
    kb.addObjectProperty( p );
    kb.addAsymmetricProperty( p );

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.