public abstract class TypeAtom extends Binary
Atom implementation defining type atoms of the general form:
{isa|sub|plays|relates|has|has-scope}($varName, $predicateVariable)
Type atoms correspond to the following respective graql properties:
IsaProperty,
SubProperty,
PlaysProperty
RelatesProperty
HasResourceTypeProperty
HasScopeProperty
| Modifier | Constructor and Description |
|---|---|
protected |
TypeAtom(TypeAtom a) |
|
TypeAtom(VarPatternAdmin pattern,
Var predicateVar,
IdPredicate p,
ReasonerQuery par) |
| Modifier and Type | Method and Description |
|---|---|
int |
computePriority(Set<Var> subbedVars)
compute resolution priority based on provided substitution variables
|
boolean |
equals(Object obj) |
OntologyConcept |
getOntologyConcept() |
int |
hashCode() |
boolean |
isAllowedToFormRuleHead() |
boolean |
isRuleApplicable(InferenceRule child) |
boolean |
isSelectable() |
boolean |
isType() |
boolean |
requiresMaterialisation() |
abstract Set<TypeAtom> |
unify(Unifier u) |
equivalenceHashCode, getCombinedPattern, getPredicate, getPredicateVariable, getTypeId, getUnifier, getVarNames, hasEquivalentPredicatesWith, isEquivalent, setParentQuerybaseResolutionPriority, getApplicableRules, getIdPredicates, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getSpecificTypeConstraints, getTypeConstraints, getValuePredicates, inferTypes, isAtom, isRecursive, isRelation, isResource, isRuleResolvable, rewriteToUserDefinedcontainsVar, copy, getParentQuery, getPattern, getVarName, graph, isUserDefinedName, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitisPredicatepublic TypeAtom(VarPatternAdmin pattern, Var predicateVar, IdPredicate p, ReasonerQuery par)
protected TypeAtom(TypeAtom a)
public boolean isType()
public boolean isRuleApplicable(InferenceRule child)
isRuleApplicable in class Atompublic boolean isSelectable()
public boolean isAllowedToFormRuleHead()
isAllowedToFormRuleHead in class Atompublic boolean requiresMaterialisation()
requiresMaterialisation in class Atompublic int computePriority(Set<Var> subbedVars)
AtomcomputePriority in class AtomsubbedVars - variables having a substitutionpublic OntologyConcept getOntologyConcept()
getOntologyConcept in class BinaryCopyright © 2017 Grakn Labs Ltd. All rights reserved.