| Modifier and Type | Method and Description |
|---|---|
Atom |
Atom.inferTypes()
infers types (type, role types) fo the atom if applicable/possible
|
Atom |
Atom.rewriteToUserDefined()
rewrites the atom to one with user defined name
|
| Modifier and Type | Method and Description |
|---|---|
java.util.stream.Stream<Atom> |
Atom.getNeighbours() |
| Modifier and Type | Method and Description |
|---|---|
Set<Unifier> |
Atom.getPermutationUnifiers(Atom headAtom) |
abstract Unifier |
Atom.getUnifier(Atom parentAtom)
find unifier with parent atom
|
| Constructor and Description |
|---|
Atom(Atom a) |
| Modifier and Type | Class and Description |
|---|---|
class |
Binary
Implementation for binary atoms with single id predicate for an ontology concept.
|
class |
RelationAtom
Atom implementation defining a relation atom corresponding to a combined
RelationProperty
and (optional) IsaProperty. |
class |
ResourceAtom
Atom implementation defining a resource atom corresponding to a
HasResourceProperty. |
class |
TypeAtom
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 and Type | Method and Description |
|---|---|
Atom |
RelationAtom.inferTypes() |
Atom |
RelationAtom.rewriteToUserDefined() |
| Modifier and Type | Method and Description |
|---|---|
Set<Unifier> |
RelationAtom.getPermutationUnifiers(Atom headAtom) |
Unifier |
ResourceAtom.getUnifier(Atom parentAtom) |
Unifier |
RelationAtom.getUnifier(Atom pAtom) |
Unifier |
Binary.getUnifier(Atom parentAtom) |
| Modifier and Type | Class and Description |
|---|---|
class |
HasAtom
TypeAtom corresponding to graql a
HasResourceTypeProperty property. |
class |
IsaAtom
TypeAtom corresponding to graql a
IsaProperty property. |
class |
PlaysAtom
TypeAtom corresponding to graql a
PlaysProperty property. |
class |
RelatesAtom
TypeAtom corresponding to a graql
RelatesProperty property. |
class |
ScopeAtom
TypeAtom corresponding to a graql
HasScopeProperty property. |
class |
SubAtom
TypeAtom corresponding to graql a
SubProperty property. |
| Modifier and Type | Method and Description |
|---|---|
Atom |
ReasonerAtomicQuery.getAtom() |
| Modifier and Type | Method and Description |
|---|---|
Set<Atom> |
ReasonerQueryImpl.selectAtoms()
atom selection function
|
Set<Atom> |
ReasonerAtomicQuery.selectAtoms() |
| Modifier and Type | Method and Description |
|---|---|
static ReasonerAtomicQuery |
ReasonerQueries.atomic(Atom atom) |
| Modifier and Type | Method and Description |
|---|---|
static ReasonerQueryImpl |
ReasonerQueries.create(Set<Atom> atoms,
GraknGraph graph) |
| Modifier and Type | Method and Description |
|---|---|
Atom |
InferenceRule.getRuleConclusionAtom() |
| Modifier and Type | Method and Description |
|---|---|
Unifier |
InferenceRule.getUnifier(Atom parentAtom) |
InferenceRule |
InferenceRule.propagateConstraints(Atom parentAtom,
Unifier unifier) |
boolean |
InferenceRule.requiresMaterialisation(Atom parentAtom)
rule requires materialisation in the context of resolving parentatom
if parent atom requires materialisation, head atom requires materialisation or if the head contains only fresh variables
|
InferenceRule |
InferenceRule.rewriteToUserDefined(Atom parentAtom)
rewrite the rule to a form with user defined variables
|
Copyright © 2017 Grakn Labs Ltd. All rights reserved.