public interface ReasonerQuery
Interface for conjunctive reasoner queries.
| Modifier and Type | Method and Description |
|---|---|
ReasonerQuery |
copy() |
Set<Atomic> |
getAtoms() |
MatchQuery |
getMatchQuery() |
Conjunction<PatternAdmin> |
getPattern() |
Unifier |
getUnifier(ReasonerQuery parent) |
Set<Var> |
getVarNames() |
Map<Var,OntologyConcept> |
getVarOntologyConceptMap() |
GraknGraph |
graph() |
boolean |
isRuleResolvable() |
java.util.stream.Stream<Answer> |
resolve(boolean materialise)
resolves the query
|
@CheckReturnValue ReasonerQuery copy()
@CheckReturnValue GraknGraph graph()
@CheckReturnValue Conjunction<PatternAdmin> getPattern()
@CheckReturnValue Set<Var> getVarNames()
@CheckReturnValue Set<Atomic> getAtoms()
@CheckReturnValue MatchQuery getMatchQuery()
@CheckReturnValue boolean isRuleResolvable()
@CheckReturnValue Unifier getUnifier(ReasonerQuery parent)
parent - query to unify wth@CheckReturnValue java.util.stream.Stream<Answer> resolve(boolean materialise)
materialise - materialisation flag@CheckReturnValue Map<Var,OntologyConcept> getVarOntologyConceptMap()
Copyright © 2017 Grakn Labs Ltd. All rights reserved.