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)
| Constructor and Description |
|---|
ResourceAtom(VarPatternAdmin pattern,
Var predicateVar,
IdPredicate idPred,
Set<ValuePredicate> ps,
ReasonerQuery par) |
| 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() |
Set<ValuePredicate> |
getMultiPredicate() |
Set<TypeAtom> |
getSpecificTypeConstraints() |
Unifier |
getUnifier(Atom parentAtom)
find unifier with parent atom
|
Set<ValuePredicate> |
getValuePredicates() |
protected boolean |
hasEquivalentPredicatesWith(Binary at) |
int |
hashCode() |
boolean |
isAllowedToFormRuleHead() |
boolean |
isResource() |
boolean |
isRuleApplicable(InferenceRule child) |
boolean |
isSelectable() |
boolean |
requiresMaterialisation() |
void |
setParentQuery(ReasonerQuery q) |
String |
toString() |
getOntologyConcept, getPredicate, getPredicateVariable, getTypeId, getVarNames, isEquivalentbaseResolutionPriority, getApplicableRules, getIdPredicates, getNeighbours, getNonSelectableConstraints, getPartialSubstitutions, getPermutationUnifiers, getPredicates, getTypeConstraints, inferTypes, isAtom, isRecursive, isRelation, isRuleResolvable, isType, rewriteToUserDefinedcontainsVar, getParentQuery, getPattern, getVarName, graph, isUserDefinedNameclone, finalize, getClass, notify, notifyAll, wait, wait, waitisPredicatepublic ResourceAtom(VarPatternAdmin pattern, Var predicateVar, IdPredicate idPred, Set<ValuePredicate> ps, ReasonerQuery par)
public String toString()
toString in class AtomicBasepublic int equivalenceHashCode()
equivalenceHashCode in interface AtomicequivalenceHashCode in class Binaryprotected boolean hasEquivalentPredicatesWith(Binary at)
hasEquivalentPredicatesWith in class Binarypublic void setParentQuery(ReasonerQuery q)
setParentQuery in interface AtomicsetParentQuery in class Binaryq - query this atom is supposed to belong topublic Set<ValuePredicate> getMultiPredicate()
public PatternAdmin getCombinedPattern()
getCombinedPattern in interface AtomicgetCombinedPattern in class Binarypublic boolean isRuleApplicable(InferenceRule child)
isRuleApplicable in class Atompublic Atomic copy()
copy in interface Atomiccopy in class AtomicBasepublic boolean isResource()
isResource 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 Unifier getUnifier(Atom parentAtom)
AtomgetUnifier in class BinaryparentAtom - atom to be unified withpublic Set<ValuePredicate> getValuePredicates()
getValuePredicates in class Atompublic Set<TypeAtom> getSpecificTypeConstraints()
getSpecificTypeConstraints in class AtomCopyright © 2017 Grakn Labs Ltd. All rights reserved.