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)

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


  public void visit(OWLDataMaxCardinalityRestriction restriction) {
    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

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


  public void visit(OWLDataMinCardinalityRestriction restriction) {
    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.makeOr( ops );
  }


  public void visit(OWLDataAllRestriction 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(OWLDataSomeRestriction restriction) {
    restriction.getProperty().accept( this );
    ATerm p = term;
    restriction.getFiller().accept( this );
    ATerm c = term;


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

View Full Code Here

              kb.addSubClass( st, ot );
            }
      break;


    case RDFS_subPropertyOf:
      ATerm subProp = null;
      if( s.isBlank() ) {
        Triple expr = getExpression( s );
        if( expr == null ) {
          addUnsupportedFeature( "Bnode in rdfs:subProperty axioms is not a valid property expression" );
        }

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

      if (pred.isIrreflexive()) {
        abox.setClash(Clash.unexplained(subj, ds.union(pred.getExplainIrreflexive(), abox.doExplanation()),
                        "Irreflexive property " + pred));
      }
      else {
        ATerm notSelfP = ATermUtils.makeNot(ATermUtils.makeSelf(pred.getName()));
        if (subj.hasType(notSelfP)) {
          abox.setClash(Clash.unexplained(subj, ds.union(subj.getDepends(notSelfP), abox.doExplanation()),
                          "Local irreflexive property " + pred));
        }
      }

View Full Code Here


    /*
     * Gather all data properties that appear in universal restrictions on this node. 
     */
    for( ATermAppl allDesc : x.getTypes( Node.ALL ) ) {
      final ATerm rTerm = allDesc.getArgument(0);
      
      /*
       * Skip object property chains
       */
      if (rTerm instanceof ATermList)

View Full Code Here


    Arrays.sort( a, 0, size, Comparators.termComparator );


    ATermList set = makeList( a[size - 1] );
    for( int i = size - 2; i >= 0; i-- ) {
      ATerm s = set.getFirst();
      if( !s.equals( a[i] ) ) {
              set = set.insert( a[i] );
            }
    }


    return set;

View Full Code Here

  static public ATermList toSet(ATerm[] a, int size) {
    Arrays.sort( a, 0, size, Comparators.termComparator );


    ATermList set = makeList( a[size - 1] );
    for( int i = size - 2; i >= 0; i-- ) {
      ATerm s = set.getFirst();
      if( !s.equals( a[i] ) ) {
              set = set.insert( a[i] );
            }
    }


    return set;

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.