See: Description
| Interface | Description |
|---|---|
| Answer |
Interface for query result class.
|
| AnswerExplanation |
Base class for explanation classes.
|
| AskQueryAdmin |
Admin class for inspecting and manipulating an AskQuery
|
| Atomic |
Basic interface for logical atoms used in reasoning.
|
| Conjunction<T extends PatternAdmin> |
A class representing a conjunction (and) of patterns.
|
| DeleteQueryAdmin |
Admin class for inspecting and manipulating a DeleteQuery
|
| Disjunction<T extends PatternAdmin> |
A class representing a disjunction (or) of patterns.
|
| InsertQueryAdmin |
Admin class for inspecting and manipulating an InsertQuery
|
| MatchQueryAdmin |
Admin class for inspecting and manipulating a MatchQuery
|
| PatternAdmin |
Admin class for inspecting and manipulating a Pattern
|
| ReasonerQuery |
Interface for conjunctive reasoner queries.
|
| RelationPlayer |
A pair of role type and role player (where the role type may not be present)
|
| Unifier |
Interface for resolution unifier defined as a finite set of mappings between variables xi and terms ti:
θ = {x1/t1, x2/t2, ..., xi/ti}.
|
| UniqueVarProperty |
A unique property of a
VarPattern. |
| ValuePredicateAdmin |
Admin class for inspecting a ValuePredicate
|
| VarPatternAdmin |
Admin class for inspecting a
VarPattern |
| VarProperty |
A property of a
VarPatternAdmin, such as "isa movie" or "has name 'Jim'" |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.