ai.grakn.graql.internal.reasoner.atom.binary

Class ResourceAtom

java.lang.Object

ai.grakn.graql.internal.reasoner.atom.AtomicBase

ai.grakn.graql.internal.reasoner.atom.Atom

ai.grakn.graql.internal.reasoner.atom.binary.Binary

ai.grakn.graql.internal.reasoner.atom.binary.ResourceAtom

All Implemented Interfaces:

Atomic

public class ResourceAtom
extends Binary

Atom implementation defining a resource atom corresponding to a HasResourceProperty. The resource structure is the following: has($varName, $predicateVariable = resource variable), type($predicateVariable) or in graql terms: $varName has $predicateVariable; $predicateVariable isa ;

Author:

Kasper Piskorski

Constructor Summary

Constructors

Constructor and Description
ResourceAtom(VarPatternAdmin pattern, Var attributeVar, Var relationVariable, IdPredicate idPred, Set<ValuePredicate> ps, ReasonerQuery par)

Method Summary

Modifier and Type	Method and Description
int	computePriority(Set<Var> subbedVars) compute resolution priority based on provided substitution variables
Atomic	copy()
boolean	equals(Object obj)
int	equivalenceHashCode()
PatternAdmin	getCombinedPattern()
java.util.stream.Stream<Predicate>	getInnerPredicates()
Set<ValuePredicate>	getMultiPredicate()
Var	getRelationVariable()
Set<TypeAtom>	getSpecificTypeConstraints()
Unifier	getUnifier(Atom parentAtom)
Set<Var>	getVarNames()
int	hashCode()
boolean	isAllowedToFormRuleHead()
boolean	isResource()
boolean	isRuleApplicableViaAtom(Atom ruleAtom)
boolean	isSelectable()
boolean	isUserDefined()
boolean	requiresMaterialisation()
Atom	rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with user defined name
void	setParentQuery(ReasonerQuery q)
RelationshipAtom	toRelationshipAtom()
String	toString()
Set<String>	validateOntologically()

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.binary.Binary

getPredicateVariable, getSchemaConcept, getTypeId, getTypePredicate, isEquivalent

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.Atom

addType, atomOptions, baseResolutionPriority, getApplicableRules, getIdPredicate, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPredicate, getPredicates, getPredicates, getRoleExpansionVariables, getTypeConstraints, getVarProperties, inferTypes, isAtom, isRecursive, isRuleResolvable, requiresRoleExpansion

Methods inherited from class ai.grakn.graql.internal.reasoner.atom.AtomicBase

containsVar, getParentQuery, getPattern, getVarName, tx

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface ai.grakn.graql.admin.Atomic

isPredicate, isRelation, isType

Constructor Detail

ResourceAtom

public ResourceAtom(VarPatternAdmin pattern,
                    Var attributeVar,
                    Var relationVariable,
                    @Nullable
                    IdPredicate idPred,
                    Set<ValuePredicate> ps,
                    ReasonerQuery par)

Method Detail

toRelationshipAtom

public RelationshipAtom toRelationshipAtom()

Overrides:

toRelationshipAtom in class Atom

toString

public String toString()

Overrides:

toString in class AtomicBase

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

equivalenceHashCode

public int equivalenceHashCode()

Specified by:

equivalenceHashCode in interface Atomic

Overrides:

equivalenceHashCode in class Binary

setParentQuery

public void setParentQuery(ReasonerQuery q)

Specified by:

setParentQuery in interface Atomic

Overrides:

setParentQuery in class Binary

getMultiPredicate

public Set<ValuePredicate> getMultiPredicate()

getRelationVariable

public Var getRelationVariable()

getCombinedPattern

public PatternAdmin getCombinedPattern()

Specified by:

getCombinedPattern in interface Atomic

Overrides:

getCombinedPattern in class Binary

isRuleApplicableViaAtom

public boolean isRuleApplicableViaAtom(Atom ruleAtom)

Specified by:

isRuleApplicableViaAtom in class Atom

copy

public Atomic copy()

Specified by:

copy in interface Atomic

Specified by:

copy in class AtomicBase

isResource

public boolean isResource()

isSelectable

public boolean isSelectable()

isUserDefined

public boolean isUserDefined()

Specified by:

isUserDefined in interface Atomic

Overrides:

isUserDefined in class AtomicBase

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class Atom

Returns:

true if the atom requires materialisation in order to be referenced

isAllowedToFormRuleHead

public boolean isAllowedToFormRuleHead()

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class Binary

validateOntologically

public Set<String> validateOntologically()

computePriority

public int computePriority(Set<Var> subbedVars)

Description copied from class: Atom

compute resolution priority based on provided substitution variables

Overrides:

computePriority in class Atom

Parameters:

subbedVars - variables having a substitution

Returns:

resolution priority value

rewriteToUserDefined

public Atom rewriteToUserDefined(Atom parentAtom)

Description copied from class: Atom

rewrites the atom to one with user defined name

Overrides:

rewriteToUserDefined in class Atom

Parameters:

parentAtom - parent atom that triggers rewrite

Returns:

pair of (rewritten atom, unifiers required to unify child with rewritten atom)

getUnifier

public Unifier getUnifier(Atom parentAtom)

Overrides:

getUnifier in class Binary

Parameters:

parentAtom - atom to be unified with

Returns:

corresponding unifier

getInnerPredicates

public java.util.stream.Stream<Predicate> getInnerPredicates()

Overrides:

getInnerPredicates in class Binary

getSpecificTypeConstraints

public Set<TypeAtom> getSpecificTypeConstraints()

Overrides:

getSpecificTypeConstraints in class Atom

Returns:

set of type atoms that describe specific role players or resource owner