Examples with Answer ai.grakn.graql.admin.Answer used on opensource projects

Example 31 with Answer

use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.

the class GrpcServerIT method whenExecutingTwoSequentialQueries_ResultsAreTheSame.

@Test
public void whenExecutingTwoSequentialQueries_ResultsAreTheSame() throws InterruptedException {
    Set<Answer> answers1;
    Set<Answer> answers2;
    try (GraknTx tx = remoteSession.open(GraknTxType.READ)) {
        answers1 = tx.graql().match(var("x").sub("thing")).get().stream().collect(toSet());
        answers2 = tx.graql().match(var("x").sub("thing")).get().stream().collect(toSet());
    }
    assertEquals(answers1, answers2);
}

Example 32 with Answer

use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.

the class AtomicState method propagateAnswer.

@Override
ResolutionState propagateAnswer(AnswerState state) {
    Answer answer = state.getAnswer();
    ReasonerAtomicQuery query = getQuery();
    if (answer.isEmpty())
        return null;
    if (state.getRule() != null && query.getAtom().requiresRoleExpansion()) {
        return new RoleExpansionState(answer, getUnifier(), query.getAtom().getRoleExpansionVariables(), getParentState());
    }
    return new AnswerState(answer, getUnifier(), getParentState());
}

Example 33 with Answer

use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.

the class AtomicState method ruleAnswer.

private Answer ruleAnswer(Answer baseAnswer, InferenceRule rule, Unifier unifier) {
    ReasonerAtomicQuery query = getQuery();
    Answer answer = baseAnswer.merge(rule.getHead().getRoleSubstitution()).unify(unifier);
    if (answer.isEmpty())
        return answer;
    return answer.merge(query.getSubstitution()).project(query.getVarNames()).explain(new RuleExplanation(query, rule));
}

Example 34 with Answer

use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.

the class AtomicState method materialisedAnswer.

private Answer materialisedAnswer(Answer baseAnswer, InferenceRule rule, Unifier unifier) {
    Answer answer = baseAnswer;
    ReasonerAtomicQuery query = getQuery();
    QueryCache<ReasonerAtomicQuery> cache = getCache();
    ReasonerAtomicQuery subbedQuery = ReasonerQueries.atomic(query, answer);
    ReasonerAtomicQuery ruleHead = ReasonerQueries.atomic(rule.getHead(), answer);
    Set<Var> queryVars = query.getVarNames().size() < ruleHead.getVarNames().size() ? unifier.keySet() : ruleHead.getVarNames();
    boolean queryEquivalentToHead = subbedQuery.isEquivalent(ruleHead);
    // check if the specific answer to ruleHead already in cache/db
    Answer headAnswer = cache.getAnswer(ruleHead, answer).project(queryVars).unify(unifier);
    // if not and query different than rule head do the same with the query
    Answer queryAnswer = headAnswer.isEmpty() && queryEquivalentToHead ? cache.getAnswer(query, answer) : new QueryAnswer();
    // ensure no duplicates created - only materialise answer if it doesn't exist in the db
    if (headAnswer.isEmpty() && queryAnswer.isEmpty()) {
        Answer materialisedSub = ruleHead.materialise(answer).findFirst().orElse(null);
        if (!queryEquivalentToHead)
            cache.recordAnswer(ruleHead, materialisedSub);
        answer = materialisedSub.project(queryVars).unify(unifier);
    } else {
        answer = headAnswer.isEmpty() ? queryAnswer : headAnswer;
    }
    if (answer.isEmpty())
        return answer;
    return answer.merge(query.getSubstitution()).explain(new RuleExplanation(query, rule));
}

Example 35 with Answer

use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.

the class DefineQueryTest method whenExecutingADefineQuery_ResultContainsAllInsertedVars.

@Test
public void whenExecutingADefineQuery_ResultContainsAllInsertedVars() {
    Var type = var("type");
    Var type2 = var("type2");
    // Note that two variables refer to the same type. They should both be in the result
    DefineQuery query = qb.define(type.label("my-type").sub("entity"), type2.label("my-type"));
    Answer result = query.execute();
    assertThat(result.vars(), containsInAnyOrder(type, type2));
    assertEquals(result.get(type), result.get(type2));
}