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

Class TypeAtom

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.TypeAtom

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

IsaAtomBase, OntologicalAtom

public abstract class TypeAtom
extends Binary

Atom implementation defining type atoms of the general form: {isa|sub|plays|relates|has}($varName, $predicateVariable) Type atoms correspond to the following respective graql properties: IsaProperty, SubProperty, PlaysProperty RelatesProperty HasAttributeTypeProperty

Author:

Kasper Piskorski

Field Summary

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

applicableRules

Constructor Summary

Constructors

Constructor and Description
TypeAtom()

Method Summary

Modifier and Type	Method and Description
boolean	isRuleApplicableViaAtom(Atom ruleAtom)
boolean	isSelectable()
boolean	isType()
boolean	isUnifiableWith(Atom atom)
boolean	requiresMaterialisation()
abstract Set<TypeAtom>	unify(Unifier u)

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

alphaEquivalenceHashCode, checkValid, createCombinedPattern, getInnerPredicates, getPredicateVariable, getSchemaConcept, getTypeId, getTypePredicate, getUnifier, getVarNames, 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, getVarPropertyClass, inferTypes, inferTypes, isAtom, isBounded, isDisconnected, isGround, isRecursive, isRuleResolvable, materialise, requiresDecomposition, requiresRoleExpansion, requiresSchema, rewriteToAtoms, rewriteToUserDefined, rewriteWithRelationVariable, rewriteWithTypeVariable, rewriteWithTypeVariable, toIsaAtom, toRelationshipAtom, validateAsRuleHead

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

getCombinedPattern, getIdPredicate, getPredicate, getPredicates, getPredicates, isUserDefined, toString, tx

Methods inherited from class java.lang.Object

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

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

copy, getParentQuery, getPattern, getVarName, isCompatibleWith, isRelation, isResource, validateOntologically

Constructor Detail

TypeAtom

public TypeAtom()

Method Detail

isType

public boolean isType()

isUnifiableWith

public boolean isUnifiableWith(Atom atom)

Specified by:

isUnifiableWith in class Atom

isRuleApplicableViaAtom

public boolean isRuleApplicableViaAtom(Atom ruleAtom)

Specified by:

isRuleApplicableViaAtom in class Atom

isSelectable

public boolean isSelectable()

requiresMaterialisation

public boolean requiresMaterialisation()

Overrides:

requiresMaterialisation in class Atom

Returns:

true if the atom requires materialisation in order to be referenced

unify

public abstract Set<TypeAtom> unify(Unifier u)

Parameters:

u - unifier to be applied

Returns:

set of type atoms resulting from applying the unifier