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