List of addDistVar() Examples

Examples of addDistVar()

com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()
Adds a distinguished variable to the query with its type - there can be more variable types to support punning. @param atom
com.clarkparsia.pellet.sparqldl.model.QueryImpl.addDistVar()
{@inheritDoc}

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

    kb.addSubClass( B, C );


    kb.addType( a, A );


    Query q1 = query( SubClassOfAtom( x, C ), TypeAtom( y, x ) );
    q1.addDistVar( x, VarType.CLASS );
    q1.addResultVar( x );


    QueryResult qr = QueryEngine.exec( q1 );


    List<ATermAppl> results = new ArrayList<ATermAppl>();

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

    for( QueryAtom atom : atoms ) {
      q.add( atom );
    }
    
    for( ATermAppl var : q.getUndistVars() ) {
      q.addDistVar( var, VarType.INDIVIDUAL );
    }
    
    return q;
  }

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

    kb.addSubClass( B, C );


    kb.addType( a, A );


    Query q1 = query( SubClassOfAtom( x, C ), TypeAtom( y, x ) );
    q1.addDistVar( x, VarType.CLASS );
    q1.addResultVar( x );


    QueryResult qr = QueryEngine.exec( q1 );


    List<ATermAppl> results = new ArrayList<ATermAppl>();

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

              newQuery.addResultVar( arg );
            }


            for( final VarType v : VarType.values() ) {
              if( query.getDistVarsForType( v ).contains( arg ) ) {
                newQuery.addDistVar( arg, v );
              }
            }
          }
        }

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

      for( QueryAtom atom : ((NotKnownQueryAtom) current).getAtoms() ) {
        newQuery.add( atom.apply( binding ) );
      }
      
      for( ATermAppl var : newQuery.getUndistVars() ) {
        newQuery.addDistVar( var, VarType.INDIVIDUAL );
      }
      
      QueryExec newEngine = new CombinedQueryEngine();
      
      boolean isNegationTrue = newEngine.exec( newQuery ).isEmpty();

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

    for( QueryAtom atom : atoms ) {
      q.add( atom );
    }
    
    for( ATermAppl var : q.getUndistVars() ) {
      q.addDistVar( var, VarType.INDIVIDUAL );
    }
    
    return q;
  }

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

        Query newQuery = new QueryImpl( kb, true );      
        for( QueryAtom atom : atoms ) {
          newQuery.add( atom.apply( binding ) );
        }      
        for( ATermAppl var : newQuery.getUndistVars() ) {
          newQuery.addDistVar( var, VarType.INDIVIDUAL );
          newQuery.addResultVar( var );
        }
        
        QueryExec newEngine = new CombinedQueryEngine();

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

        // Map ?c rdf:type owl:Class to SubClassOf(?c owl:Thing)
        if( obj.equals( OWL.Class.asNode() ) ) {
          query.add( QueryAtomFactory.SubClassOfAtom( s, TermFactory.TOP ) );
          if( ATermUtils.isVar( s ) ) {
            ensureDistinguished( subj );
            query.addDistVar( s, VarType.CLASS );
            if( handleVariableSPO ) {
              variablePredicates.remove( s );
              variableSubjects.add( s );
            }
          }

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

        //NamedIndividual(p)
        else if( obj.equals( OWL2.NamedIndividual.asNode() ) ) {
          query.add( QueryAtomFactory.TypeAtom(s, TermFactory.TOP ) );
          if( ATermUtils.isVar( s ) ) {
            ensureDistinguished( subj );
            query.addDistVar( s, VarType.CLASS );
            if( handleVariableSPO ) {
              variablePredicates.remove( s );
              variableSubjects.add( s );
            }
          }

View Full Code Here

Examples of com.clarkparsia.pellet.sparqldl.model.Query.addDistVar()

        // ObjectProperty(p)
        else if( obj.equals( OWL.ObjectProperty.asNode() ) ) {
          query.add( QueryAtomFactory.ObjectPropertyAtom( s ) );
          if( ATermUtils.isVar( s ) ) {
            ensureDistinguished( subj );
            query.addDistVar( s, VarType.PROPERTY );
            if( handleVariableSPO ) {
              variablePredicates.remove( s );
              variableSubjects.add( s );
            }
          }

View Full Code Here

0 1 2 3 4 5

TOP

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.