@Override public int getArity() { return functor.getArity(); }
@Override public int getArity() { return functor.getArity(); }
protected ImmutableFunctionalTermImpl(Predicate functor, ImmutableList<? extends ImmutableTerm> terms) { super(functor); // No problem since the list is immutable this.terms = terms; string = null; if (functor.getArity() != terms.size()) { throw new IllegalArgumentException("Arity violation: " + functor + " was expecting " + functor.getArity() + ", not " + terms.size()); } }
protected AtomPredicateImpl(Predicate datalogPredicate) { super(datalogPredicate.getName(), datalogPredicate.getArity(), datalogPredicate.getTypes() ); if (datalogPredicate instanceof BuiltinPredicate) { throw new IllegalArgumentException("The predicate must corresponds to a data atom!"); } } }
Optional<RelationDefinition> td = Optional.ofNullable(metadata.getRelation(tableId)); IntStream.range(0, predicate.getArity()) .forEach(i -> {
if (function.isDataTypeFunction()) { if (TYPE_FACTORY.isString(functionSymbol) && (functionSymbol.getArity() == 2)) {
Optional<RelationDefinition> td = Optional.ofNullable(metadata.getRelation(tableId)); IntStream.range(0, predicate.getArity()) .forEach(i -> {
Optional<RelationDefinition> td = Optional.ofNullable(metadata.getRelation(tableId)); IntStream.range(0, predicate.getArity()) .forEach(i -> {
public void insertDataTyping(CQIE rule) throws UnknownDatatypeException { Function atom = rule.getHead(); Predicate predicate = atom.getFunctionSymbol(); if (predicate.getArity() == 2) { // we check both for data and object property Term term = atom.getTerm(1); // the second argument only Map<String, List<IndexedPosition>> termOccurenceIndex = createIndex(rule.getBody()); // Infer variable datatypes insertVariableDataTyping(term, atom, 1, termOccurenceIndex); // Infer operation datatypes from variable datatypes insertOperationDatatyping(term, atom, 1); } }
if (functionSymbol.getArity() == 1) { if (functionSymbol.getName().equals("Count")) { return false;
if (functionSymbol.getArity() == 1) { if (functionSymbol.getName().equals("Count")) { return false;