use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ReasoningTests method instanceTypeHierarchyRespected_queryHasSuperTypes.
// Expected result: Two answers obtained only if the rule query containing sub type is correctly executed.
@Test
public void instanceTypeHierarchyRespected_queryHasSuperTypes() {
QueryBuilder qb = testSet19.tx().graql().infer(true);
String queryString = "match " + "$x isa entity1;" + "$y isa entity1;" + "(role1: $x, role2: $y) isa relation1;";
String queryString2 = queryString + "$y has name 'a';";
List<Answer> answers = qb.<GetQuery>parse(queryString + " get;").execute();
assertEquals(answers.size(), 2);
List<Answer> answers2 = qb.<GetQuery>parse(queryString2 + " get;").execute();
assertEquals(answers2.size(), 2);
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ReasoningTests method generatingIsaEdgesDirectly.
// Expected result: Differentiated behaviour based on directedness of the isa.
@Test
public void generatingIsaEdgesDirectly() {
QueryBuilder qb = testSet2b.tx().graql().infer(true);
String queryString = "match $x isa derivedEntity; get;";
String queryString2 = "match $x isa! derivedEntity; get;";
String queryString3 = "match $x isa directDerivedEntity; get;";
List<Answer> answers = qb.<GetQuery>parse(queryString).execute();
List<Answer> answers2 = qb.<GetQuery>parse(queryString2).execute();
List<Answer> answers3 = qb.<GetQuery>parse(queryString3).execute();
assertEquals(answers.size(), 2);
assertEquals(answers2.size(), 2);
assertEquals(answers3.size(), 1);
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ReasoningTests method reasoningWithEntityTypes_WithNeqProperty.
// Expected result: Relations between all entity instances including relation between each instance and itself
@Test
public void reasoningWithEntityTypes_WithNeqProperty() {
QueryBuilder qb = testSet24.tx().graql().infer(true);
QueryBuilder qbm = testSet24.tx().graql().infer(true).materialise(true);
String queryString = "match (role1:$x1, role2:$x2) isa relation2; get;";
List<Answer> answers = qb.<GetQuery>parse(queryString).execute();
assertEquals(answers.size(), 6);
List<Answer> answers2 = qbm.<GetQuery>parse(queryString).execute();
assertEquals(answers2.size(), 6);
assertTrue(answers.containsAll(answers2));
assertTrue(answers2.containsAll(answers));
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ReasoningTests method queryingForGenericType_ruleDefinesNewType.
// Expected result: The query should return 3 results: one for meta type, one for db, one for inferred type.
@Test
public void queryingForGenericType_ruleDefinesNewType() {
QueryBuilder qb = testSet2.tx().graql().infer(true);
String queryString = "match $x isa $type; get;";
List<Answer> answers = qb.<GetQuery>parse(queryString).execute();
assertEquals(answers.size(), 4);
answers.forEach(ans -> assertEquals(ans.size(), 2));
}
use of ai.grakn.graql.admin.Answer in project grakn by graknlabs.
the class ReasoningTests method generatingFreshRelation.
// TODO: currently disallowed by rule validation
@Ignore
// Expected result: The query should return three different instances of relation1 with unique ids.
@Test
public void generatingFreshRelation() {
QueryBuilder qb = testSet6.tx().graql().infer(true);
String queryString = "match $x isa relation1; get;";
List<Answer> answers = qb.<GetQuery>parse(queryString).execute();
assertEquals(answers.size(), 3);
}
Aggregations