ai.grakn.graql.internal.reasoner

Class Utility

java.lang.Object

ai.grakn.graql.internal.reasoner.Utility

public class Utility
extends Object

Constructor Summary

Constructors

Constructor and Description
Utility()

Method Summary

Modifier and Type	Method and Description
static boolean	checkTypesCompatible(Type parent, Type child)
static void	computeRoleCombinations(Set<String> vars, Set<RoleType> roles, Map<String,String> roleMap, Set<Map<String,String>> roleMaps)
static String	createFreshVariable(Set<String> vars, String var) generate a fresh variable avoiding global variables and variables from the same query
static Rule	createPropertyChainRule(RelationType relation, String fromRoleName, String toRoleName, LinkedHashMap<RelationType,javafx.util.Pair<String,String>> chain, GraknGraph graph)
static Rule	createReflexiveRule(RelationType relType, GraknGraph graph) create reflexive rule R(from: X, to: X) :- R(from: X,to: Y)
static Rule	createSubPropertyRule(RelationType parent, RelationType child, Map<String,String> roleMappings, GraknGraph graph) creates rule parent :- child
static Rule	createTransitiveRule(RelationType relType, String fromRoleName, String toRoleName, GraknGraph graph) create transitive rule R(from: X, to: Y) :- R(from: X,to: Z), R(from: Z, to: Y)
static Set<RoleType>	getCompatibleRoleTypes(Type type, Type relType)
static Set<RoleType>	getNonMetaSuperRoleTypes(RoleType role)
static RoleType	getNonMetaTopRole(RoleType role)
static void	printAnswers(Set<Map<String,Concept>> answers)
static <T> Set<T>	subtractSets(Set<T> A, Set<T> B)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Utility

public Utility()

Method Detail

printAnswers

public static void printAnswers(Set<Map<String,Concept>> answers)

getCompatibleRoleTypes

public static Set<RoleType> getCompatibleRoleTypes(Type type,
                                                   Type relType)

computeRoleCombinations

public static void computeRoleCombinations(Set<String> vars,
                                           Set<RoleType> roles,
                                           Map<String,String> roleMap,
                                           Set<Map<String,String>> roleMaps)

createFreshVariable

public static String createFreshVariable(Set<String> vars,
                                         String var)

generate a fresh variable avoiding global variables and variables from the same query

Parameters:

vars - vars to be avoided

var - variable to be generated a fresh replacement

Returns:

fresh variables

createTransitiveRule

public static Rule createTransitiveRule(RelationType relType,
                                        String fromRoleName,
                                        String toRoleName,
                                        GraknGraph graph)

create transitive rule R(from: X, to: Y) :- R(from: X,to: Z), R(from: Z, to: Y)

Parameters:

relType - transitive relation type

fromRoleName - from directional role type type name

toRoleName - to directional role type type name

graph - graph

Returns:

rule instance

createReflexiveRule

public static Rule createReflexiveRule(RelationType relType,
                                       GraknGraph graph)

create reflexive rule R(from: X, to: X) :- R(from: X,to: Y)

Parameters:

relType - reflexive relation type

graph - graph

Returns:

rule instance

createSubPropertyRule

public static Rule createSubPropertyRule(RelationType parent,
                                         RelationType child,
                                         Map<String,String> roleMappings,
                                         GraknGraph graph)

creates rule parent :- child

Parameters:

parent - relation type of parent

child - relation type of child

roleMappings - map of corresponding role type type names

graph - graph

Returns:

rule instance

createPropertyChainRule

public static Rule createPropertyChainRule(RelationType relation,
                                           String fromRoleName,
                                           String toRoleName,
                                           LinkedHashMap<RelationType,javafx.util.Pair<String,String>> chain,
                                           GraknGraph graph)

getNonMetaSuperRoleTypes

public static Set<RoleType> getNonMetaSuperRoleTypes(RoleType role)

getNonMetaTopRole

public static RoleType getNonMetaTopRole(RoleType role)

checkTypesCompatible

public static boolean checkTypesCompatible(Type parent,
                                           Type child)

subtractSets

public static <T> Set<T> subtractSets(Set<T> A,
                                      Set<T> B)