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

Class OntologicalAtom

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

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

All Implemented Interfaces:

Atomic

Direct Known Subclasses:

HasAtom, PlaysAtom, RelatesAtom, SubAtom

public abstract class OntologicalAtom
extends TypeAtom

Base class for defining ontological Atom - ones referring to ontological elements.

Author:

Kasper Piskorski

Field Summary

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

applicableRules

Constructor Summary

Constructors

Constructor and Description
OntologicalAtom()

Method Summary

Modifier and Type	Method and Description
java.util.stream.Stream<InferenceRule>	getApplicableRules()
java.util.stream.Stream<Rule>	getPotentialRules()
boolean	isSelectable()
Atom	rewriteToUserDefined(Atom parentAtom) rewrites the atom to one with suitably user-defined names depending on provided parent
Atom	rewriteWithTypeVariable()
Set<TypeAtom>	unify(Unifier u)
Set<String>	validateAsRuleHead(Rule rule)

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

isRuleApplicableViaAtom, isType, isUnifiableWith, requiresMaterialisation

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, getInnerPredicates, getMultiUnifier, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPossibleTypes, getRoleExpansionVariables, getTypeConstraints, getVarProperties, getVarPropertyClass, inferTypes, inferTypes, isAtom, isBounded, isDisconnected, isGround, isRecursive, isRuleResolvable, materialise, requiresDecomposition, requiresRoleExpansion, requiresSchema, rewriteToAtoms, rewriteWithRelationVariable, rewriteWithTypeVariable, toIsaAtom, toRelationshipAtom

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

OntologicalAtom

public OntologicalAtom()

Method Detail

isSelectable

public boolean isSelectable()

Specified by:

isSelectable in interface Atomic

Overrides:

isSelectable in class TypeAtom

getPotentialRules

public java.util.stream.Stream<Rule> getPotentialRules()

Overrides:

getPotentialRules in class Atom

Returns:

set of potentially applicable rules - does shallow (fast) check for applicability

getApplicableRules

public java.util.stream.Stream<InferenceRule> getApplicableRules()

Overrides:

getApplicableRules in class Atom

Returns:

set of applicable rules - does detailed (slow) check for applicability

validateAsRuleHead

public Set<String> validateAsRuleHead(Rule rule)

Specified by:

validateAsRuleHead in interface Atomic

Overrides:

validateAsRuleHead in class Atom

unify

public Set<TypeAtom> unify(Unifier u)

Specified by:

unify in class TypeAtom

Parameters:

u - unifier to be applied

Returns:

set of type atoms resulting from applying the unifier

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