it.unibz.inf.ontop.datalog
Code IndexAdd Codota to your IDE (free)

Best code snippets using it.unibz.inf.ontop.datalog(Showing top 15 results out of 315)

origin: ontop/ontop

public static DatalogProgram program(Collection<CQIE> rules){
  DatalogProgram datalogProgram = DATALOG_FACTORY.getDatalogProgram();
  datalogProgram.appendRule(rules);
  return datalogProgram;
}

origin: ontop/ontop

/***
 * This expands all Join that can be directly added as conjuncts to a
 * query's body. Nested Join trees inside left joins are not touched.
 * 
 * @param query
 * @return
 */
public static void unfoldJoinTrees(CQIE query) {
  unfoldJoinTrees(query.getBody(), true);
}
origin: ontop/ontop

  @Override
  public boolean hasModifiers() {
    return modifiers.hasModifiers();
  }
}
origin: ontop/ontop

  @Override
  public String toString() {
    if (dependencies != null)
      return dependencies.toString();
    
    return "(empty)";
  }
}
origin: ontop/ontop

/**
 * Rule-level variable generator.
 */
public VariableGenerator(CQIE initialRule) {
  count = 0;
  knownVariables = initialRule.getReferencedVariables();
}
origin: ontop/ontop

  @Override
  public Function f(Function firstAtom, Function secondAtom) {
    return DATALOG_FACTORY.getSPARQLJoin(firstAtom, secondAtom, TRUE_EQ);
  }
}, firstAtom);
origin: ontop/ontop

private void appendRule(Function head, List<Function> body) {
  CQIE rule = DATALOG_FACTORY.getCQIE(head, body);
  program.appendRule(rule);
}
origin: ontop/ontop

private void printQueryProjection(DatalogProgram datalog, StringBuilder sb) {
  sb.append(SELECT + " ");
  if (queryModifiers.isDistinct()) {
    sb.append(DISTINCT + " ");
  }
  CQIE mainQuery = datalog.getRules().get(0);  // assume the first rule contains the projection
  for (Term term : mainQuery.getHead().getTerms()) {
    sb.append(toSparql(term));
    sb.append(" ");
  }
  sb.append("\n");
}
origin: ontop/ontop

@Override
public Term getTerm(int index) {
  return terms.get(index);
}
origin: ontop/ontop

private boolean sizesCollected(){
return this.programAfterRewriting != null && this.programAfterUnfolding != null 
  && this.programAfterRewriting.getRules() != null && this.programAfterUnfolding.getRules() != null;
}

origin: ontop/ontop

public static CQIE rule(Function head, Function... body){
  return DATALOG_FACTORY.getCQIE(head, body);
}

origin: ontop/ontop

public Substitution computeHomomorphsim(TMappingRule other) {
  return cqc.computeHomomorphsim(stripped, other.stripped);
}

origin: ontop/ontop

public static void foldJoinTrees(CQIE query) {
  foldJoinTrees(query.getBody(), false);
}
origin: ontop/ontop

public static CQIE rule(Function head, List<Function> body){
  return DATALOG_FACTORY.getCQIE(head, body);
}

origin: ontop/ontop

public DatalogDependencyGraphGenerator(DatalogProgram program) {
  this(program.getRules());
}
it.unibz.inf.ontop.datalog

Most used classes

  • CQIE
  • DatalogFactory
  • DatalogProgram
  • EQNormalizer
  • MutableQueryModifiers
    Old-style mutable interface for QueryModifiers. Please prefer the new QueryModifiers interface that
  • DatalogNormalizer,
  • LinearInclusionDependencies,
  • CQContainmentCheckUnderLIDs,
  • CQContainmentCheck,
  • Datalog2QueryMappingConverter,
  • DatalogProgram2QueryConverter,
  • IntermediateQuery2DatalogTranslator,
  • CQCUtilities,
  • DatalogRule2QueryConverter,
  • DatalogTools,
  • DatalogProgramRenderer,
  • DatalogProgramSyntaxFactory,
  • DatalogToSparqlTranslator,
  • EventGeneratingList

For IntelliJ IDEA and
Android Studio

  • Codota IntelliJ IDEA pluginCodota Android Studio pluginCode IndexSign in
  • EnterpriseFAQAboutContact Us
  • Terms of usePrivacy policyCodeboxFind Usages
Add Codota to your IDE (free)