use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ReasoningTests method reasoningWithResourceValueComparison.
// Expected result: Timeline is correctly recognised via applying resource comparisons in the rule body
@Test
public void reasoningWithResourceValueComparison() {
QueryBuilder qb = testSet25.tx().graql().infer(true);
String queryString = "match (predecessor:$x1, successor:$x2) isa message-succession; get;";
List<Answer> answers = qb.<GetQuery>parse(queryString).execute();
assertEquals(answers.size(), 10);
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ExplanationTest method testExplainingConjunctions.
@Test
public void testExplainingConjunctions() {
GraknTx expGraph = explanationKB.tx();
QueryBuilder eiqb = expGraph.graql().infer(true);
String queryString = "match " + "(role1: $x, role2: $w) isa inferredRelation;" + "$x has name $xName;" + "$w has name $wName; get;";
GetQuery query = eiqb.parse(queryString);
List<Answer> answers = query.execute();
testExplanation(answers);
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ExplanationTest method testExplainingNonRuleResolvableQuery.
@Test
public void testExplainingNonRuleResolvableQuery() {
String queryString = "match $x isa city, has name $n; get;";
GetQuery query = iqb.parse(queryString);
List<Answer> answers = query.execute();
answers.forEach(ans -> assertEquals(ans.getExplanation().isEmpty(), true));
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ExplanationTest method testExplainingQueryContainingContradiction2.
@Test
public void testExplainingQueryContainingContradiction2() {
GraknTx expGraph = explanationKB.tx();
QueryBuilder eiqb = expGraph.graql().infer(true);
Concept a1 = getConcept(expGraph, "name", "a1");
Concept a2 = getConcept(expGraph, "name", "a2");
String queryString = "match " + "(role1: $x, role2: $y) isa relation1;" + "$x id '" + a1.getId() + "';" + "$y id '" + a2.getId() + "'; get;";
GetQuery query = eiqb.parse(queryString);
List<Answer> answers = query.execute();
assertEquals(answers.size(), 0);
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class GenealogyTest method testSon.
/*
test for the last rule-file:
match (mother: $x);
match (son: $x);
match (grandfather: $x); (grandparent: $x, grandchild: $y);
*/
@Test
public void testSon() {
String queryString = "match (son: $x);$x has gender $g; get;";
GetQuery query = iqb.parse(queryString);
List<Answer> answers = query.execute();
assertEquals(answers.size(), 18);
assertCollectionsEqual(answers, qb.<GetQuery>parse(queryString).execute());
assertTrue(checkResource(answers, "g", "male"));
}
Aggregations