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 abstract class ResourceAtom
extends Binary

Atom implementation defining a resource atom corresponding to a HasAttributeProperty. 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

Field Summary

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

applicableRules

Constructor Summary

Constructors

Constructor and Description
ResourceAtom()

Method Summary

Modifier and Type	Method and Description
int	alphaEquivalenceHashCode()
Atomic	copy(ReasonerQuery parent)
static ResourceAtom	create(VarPattern pattern, Var attributeVar, Var relationVariable, ConceptId predicateId, Set<ValuePredicate> ps, ReasonerQuery parent)
protected Pattern	createCombinedPattern()
boolean	equals(Object obj)
java.util.stream.Stream<Predicate>	getInnerPredicates()
abstract com.google.common.collect.ImmutableSet<ValuePredicate>	getMultiPredicate()
abstract Var	getRelationVariable()
Unifier	getUnifier(Atom parentAtom, UnifierComparison unifierType) attempt to find a UNIQUE unifier with the parent atom
Set<Var>	getVarNames()
Class<? extends VarProperty>	getVarPropertyClass()
int	hashCode()
boolean	isResource()
boolean	isRuleApplicableViaAtom(Atom ruleAtom)
boolean	isSelectable()
boolean	isSpecific()
boolean	isUnifiableWith(Atom atom)
java.util.stream.Stream<ConceptMap>	materialise()
boolean	requiresMaterialisation()
Atom	rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with suitably user-defined names depending on provided parent
ResourceAtom	rewriteWithRelationVariable() rewrites the atom to one with user defined relation variable
Atom	rewriteWithTypeVariable()
IsaAtom	toIsaAtom() NB: this is somewhat ambiguous cause from {$x has resource $r;} we can extract: - $x isa ???; - $r isa resource; We pick the latter as the type information is available.
RelationshipAtom	toRelationshipAtom()
String	toString()
Set<String>	validateAsRuleHead(Rule rule)
Set<String>	validateOntologically()

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

checkValid, getPredicateVariable, getSchemaConcept, getTypeId, getTypePredicate, isAlphaEquivalent, isDirect, isStructurallyEquivalent, structuralEquivalenceHashCode

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

addType, atomOptions, getApplicableRules, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPossibleTypes, getPotentialRules, getRoleExpansionVariables, getTypeConstraints, getVarProperties, inferTypes, inferTypes, isAtom, isBounded, isDisconnected, isGround, isRecursive, isRuleResolvable, requiresDecomposition, requiresRoleExpansion, requiresSchema, rewriteToAtoms, rewriteWithTypeVariable

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

getCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, isUserDefined, 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

getParentQuery, getPattern, getVarName, isCompatibleWith, isRelation, isType

Constructor Detail

ResourceAtom

public ResourceAtom()

Method Detail

getRelationVariable

public abstract Var getRelationVariable()

getMultiPredicate

public abstract com.google.common.collect.ImmutableSet<ValuePredicate> getMultiPredicate()

create

public static ResourceAtom create(VarPattern pattern,
                                  Var attributeVar,
                                  Var relationVariable,
                                  ConceptId predicateId,
                                  Set<ValuePredicate> ps,
                                  ReasonerQuery parent)

copy

public Atomic copy(ReasonerQuery parent)

getVarPropertyClass

public Class<? extends VarProperty> getVarPropertyClass()

Specified by:

getVarPropertyClass in class Atom

toRelationshipAtom

public RelationshipAtom toRelationshipAtom()

Overrides:

toRelationshipAtom in class Atom

toIsaAtom

public IsaAtom toIsaAtom()

NB: this is somewhat ambiguous cause from {$x has resource $r;} we can extract: - $x isa ???; - $r isa resource; We pick the latter as the type information is available.

Overrides:

toIsaAtom in class Atom

Returns:

corresponding isa atom

toString

public String toString()

Overrides:

toString in class AtomicBase

equals

public final boolean equals(Object obj)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

alphaEquivalenceHashCode

public int alphaEquivalenceHashCode()

Specified by:

alphaEquivalenceHashCode in interface Atomic

Overrides:

alphaEquivalenceHashCode in class Binary

createCombinedPattern

protected Pattern createCombinedPattern()

Overrides:

createCombinedPattern in class Binary

isRuleApplicableViaAtom

public boolean isRuleApplicableViaAtom(Atom ruleAtom)

Specified by:

isRuleApplicableViaAtom in class Atom

isUnifiableWith

public boolean isUnifiableWith(Atom atom)

Specified by:

isUnifiableWith in class Atom

isResource

public boolean isResource()

isSelectable

public boolean isSelectable()

isSpecific

public boolean isSpecific()

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class Atom

Returns:

true if the atom requires materialisation in order to be referenced

validateAsRuleHead

public Set<String> validateAsRuleHead(Rule rule)

Specified by:

validateAsRuleHead in interface Atomic

Overrides:

validateAsRuleHead in class Atom

getVarNames

public Set<Var> getVarNames()

Specified by:

getVarNames in interface Atomic

Overrides:

getVarNames in class Binary

validateOntologically

public Set<String> validateOntologically()

getUnifier

public Unifier getUnifier(Atom parentAtom,
                          UnifierComparison unifierType)

Description copied from class: Atom

attempt to find a UNIQUE unifier with the parent atom

Overrides:

getUnifier in class Binary

Parameters:

parentAtom - atom to be unified with

unifierType - type of unifier to be computed

Returns:

corresponding unifier

getInnerPredicates

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

Overrides:

getInnerPredicates in class Binary

materialise

public java.util.stream.Stream<ConceptMap> materialise()

Overrides:

materialise in class Atom

rewriteWithRelationVariable

public ResourceAtom rewriteWithRelationVariable()

Description copied from class: Atom

rewrites the atom to one with user defined relation variable

Overrides:

rewriteWithRelationVariable in class Atom

Returns:

rewritten atom

rewriteWithTypeVariable

public Atom rewriteWithTypeVariable()

Specified by:

rewriteWithTypeVariable in class Atom

rewriteToUserDefined

public Atom rewriteToUserDefined(Atom parentAtom)

Description copied from class: Atom

rewrites the atom to one with suitably user-defined names depending on provided parent

Specified by:

rewriteToUserDefined in class Atom

Parameters:

parentAtom - parent atom that triggers rewrite

Returns:

rewritten atom