| Package | Description |
|---|---|
| io.mindmaps | |
| io.mindmaps.concept | |
| io.mindmaps.graph.internal | |
| io.mindmaps.graql | |
| io.mindmaps.graql.internal.reasoner | |
| io.mindmaps.graql.internal.reasoner.rule | |
| io.mindmaps.migration.export |
| Modifier and Type | Method and Description |
|---|---|
Rule |
MindmapsGraph.addRule(String lhs,
String rhs,
RuleType type) |
Rule |
MindmapsGraph.getRule(String id) |
Rule |
MindmapsGraph.putRule(String id,
String lhs,
String rhs,
RuleType type)
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
Rule |
Rule.addConclusion(Type type) |
Rule |
Rule.addHypothesis(Type type) |
Rule |
Concept.asRule() |
Rule |
Rule.setExpectation(boolean expectation) |
Rule |
Rule.setMaterialise(boolean materialise) |
| Modifier and Type | Method and Description |
|---|---|
Collection<Rule> |
Type.getRulesOfConclusion() |
Collection<Rule> |
Type.getRulesOfHypothesis() |
Collection<Rule> |
RuleType.instances() |
| Modifier and Type | Method and Description |
|---|---|
Rule |
AbstractMindmapsGraph.addRule(String lhs,
String rhs,
RuleType type) |
Rule |
AbstractMindmapsGraph.getRule(String id) |
Rule |
AbstractMindmapsGraph.putRule(String itemIdentifier,
String lhs,
String rhs,
RuleType type)
Deprecated.
|
| Modifier and Type | Method and Description |
|---|---|
Set<Rule> |
Reasoner.getRules() |
| Modifier and Type | Method and Description |
|---|---|
static Rule |
Utility.createPropertyChainRule(String ruleId,
RelationType relation,
String fromRoleId,
String toRoleId,
LinkedHashMap<RelationType,javafx.util.Pair<String,String>> chain,
MindmapsGraph graph) |
static Rule |
Utility.createReflexiveRule(String ruleId,
RelationType relType,
MindmapsGraph graph)
create reflexive rule R(from: X, to: X) :- R(from: X,to: Y)
|
static Rule |
Utility.createSubPropertyRule(String ruleId,
RelationType parent,
RelationType child,
Map<String,String> roleMappings,
MindmapsGraph graph)
creates rule parent :- child
|
static Rule |
Utility.createTransitiveRule(String ruleId,
RelationType relType,
String fromRoleId,
String toRoleId,
MindmapsGraph graph)
create transitive rule R(from: X, to: Y) :- R(from: X,to: Z), R(from: Z, to: Y)
|
| Constructor and Description |
|---|
InferenceRule(Rule rl,
MindmapsGraph graph) |
| Modifier and Type | Method and Description |
|---|---|
static Var |
InstanceMapper.map(Rule rule) |
Copyright © 2016. All rights reserved.