| Package | Description |
|---|---|
| ai.grakn.concept |
Provides the meta-ontology interfaces and definitions.
|
| ai.grakn.graql.internal.reasoner.rule | |
| ai.grakn.graql.internal.reasoner.utils |
| Modifier and Type | Method and Description |
|---|---|
Rule |
Concept.asRule()
|
Rule |
RuleType.putRule(Pattern lhs,
Pattern rhs)
Adds a new Rule if it does not exist otherwise returns the existing rule.
|
Rule |
Rule.resource(Resource resource)
Creates a relation from this instance to the provided resource.
|
| Modifier and Type | Method and Description |
|---|---|
Collection<Rule> |
OntologyConcept.getRulesOfConclusion()
Return the collection of
Rule for which this OntologyConcept serves as a conclusion. |
Collection<Rule> |
OntologyConcept.getRulesOfHypothesis()
Return the collection of
Rule for which this OntologyConcept serves as a hypothesis. |
Collection<Rule> |
RuleType.instances() |
| Constructor and Description |
|---|
InferenceRule(Rule rule,
GraknGraph graph) |
| Modifier and Type | Method and Description |
|---|---|
static Rule |
ReasonerUtils.createPropertyChainRule(RelationType relation,
Label fromRoleLabel,
Label toRoleLabel,
LinkedHashMap<RelationType,javafx.util.Pair<Label,Label>> chain,
GraknGraph graph)
creates rule R(fromRole: x, toRole: xm) :- R1(fromRole: x, ...), , R2, ...
|
static Rule |
ReasonerUtils.createReflexiveRule(RelationType relType,
Label fromRoleLabel,
Label toRoleLabel,
GraknGraph graph)
create reflexive rule R(from: X, to: X) :- R(from: X,to: Y)
|
static Rule |
ReasonerUtils.createSubPropertyRule(RelationType parent,
RelationType child,
Map<Label,Label> roleMappings,
GraknGraph graph)
creates rule parent :- child
|
static Rule |
ReasonerUtils.createTransitiveRule(RelationType relType,
Label fromRoleLabel,
Label toRoleLabel,
GraknGraph graph)
create transitive rule R(from: X, to: Y) :- R(from: X,to: Z), R(from: Z, to: Y)
|
| Modifier and Type | Method and Description |
|---|---|
static Set<Rule> |
ReasonerUtils.getRules(GraknGraph graph) |
Copyright © 2017 Grakn Labs Ltd. All rights reserved.