Examples of aterm.ATerm

aterm.ATerm
This is the base interface for all ATerm interfaces, which will ultimately be implemented by two separate ATerm Factories (a native and a pure one). @author Hayco de Jong (jong@cwi.nl) @author Pieter Olivier (olivierp@cwi.nl)

  }


  
  public void visit(OWLDataSomeValuesFrom restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getFiller().accept( this );
    ATerm c = term;


    term = ATermUtils.makeSomeValues( p, c );
  }

View Full Code Here

        return null;
  }


  private Bool checkAllValuesClash(KnowledgeBase kb, ATermAppl av, CachedNode root,
      CachedNode otherRoot) {
    ATerm r = av.getArgument( 0 );
    if( r.getType() == ATerm.LIST )
      r = ((ATermList) r).getFirst();
    Role role = kb.getRole( r );


    if( !role.hasComplexSubRole() ) {
      if( otherRoot.hasRNeighbor( role ) ) {

View Full Code Here

  }


  public void visit(OWLTypedConstant constant) {
    String lexicalValue = constant.getLiteral();
    constant.getDataType().accept( this );
    ATerm datatype = term;


    term = ATermUtils.makeTypedLiteral( lexicalValue, datatype.toString() );
  }

View Full Code Here

    term = ATermUtils.makeOr( setOfTerms );
  }


  public void visit(OWLObjectSomeRestriction restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getFiller().accept( this );
    ATerm c = term;


    term = ATermUtils.makeSomeValues( p, c );
  }

View Full Code Here

    term = ATermUtils.makeSomeValues( p, c );
  }


  public void visit(OWLObjectAllRestriction restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getFiller().accept( this );
    ATerm c = term;


    term = ATermUtils.makeAllValues( p, c );
  }

View Full Code Here

    term = ATermUtils.makeAllValues( p, c );
  }


  public void visit(OWLObjectValueRestriction restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getValue().accept( this );
    ATermAppl ind = term;


    term = ATermUtils.makeHasValue( p, ind );
  }

View Full Code Here


  public void visit(OWLObjectExactCardinalityRestriction restriction) {
    addSimpleProperty( restriction.getProperty() );


    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeCard( p, n, desc );

View Full Code Here


  public void visit(OWLObjectMaxCardinalityRestriction restriction) {
    addSimpleProperty( restriction.getProperty() );


    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeMax( p, n, desc );

View Full Code Here


  public void visit(OWLObjectMinCardinalityRestriction restriction) {
    addSimpleProperty( restriction.getProperty() );


    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeMin( p, n, desc );

View Full Code Here

    term = ATermUtils.makeMin( p, n, desc );
  }


  public void visit(OWLDataExactCardinalityRestriction restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    int n = restriction.getCardinality();
    restriction.getFiller().accept( this );
    ATermAppl desc = term;


    term = ATermUtils.makeCard( p, n, desc );

View Full Code Here

0 1 2 3 4 5 6 7 8 9

TOP

Related Classes of aterm.ATerm

apigen.adt.ADT

apigen.adt.Alternative

apigen.adt.Type

apigen.gen.c.APIGenerator

apigen.gen.c.CDictionaryGenerator

aterm.pure.ATermApplImpl

aterm.pure.ATermBlobImpl

aterm.pure.ATermImpl

aterm.pure.ATermIntImpl

aterm.pure.ATermListImpl

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.