Krishnan Govindraj

Checking whether a concludable unifies with a conclusion now considers value constraints

1

## What is the goal of this PR? The current rule-validation incorrectly flags valid & useful scenarios as a negative cycle, such as in #6538 These occur when the conclusion...

Introduce Resolvable Conjunctions, Disjunctions ; Refactor resolvables

2

## What is the goal of this PR? The reasoner views Conjunctions as a set of Resolvables. Because conjunctions are concepts in the lower 'pattern' domain and Resolvables are concepts...

## Description In the rule-validation logic, we have assertions which would fail in the presence of nested negations in rules. These would fail during testing but would not in prod...

'Greedy' reasoner planner with dummy costs & Old planner emulator.

1

## What is the goal of this PR? We move the reasoner-planner to an architecture which enables recursive computation of costs through triggered rules. We also implement a version which...

Variable role resolution non-deterministically receives too few answers

1

## Description The BDD scenario "converting a fixed role to a variable bound with 'sub role' (?)(Variable Role Resolution)" fails non-deterministically with `error java.lang.AssertionError: Expected [27] answers, but got [24]...

## Problem to Solve I had the following rule: ``` rule nitro-rule: when{ $c isa atom_c; $n isa atom_n; $o1 isa atom_o; $o2 isa atom_o; (participant: $n, participant: $o1) isa...

Answer count model for reasoner planner

1

## What is the goal of this PR? This PR introduces the stats based answer count estimation which is the basis of the costs of reasoner plans. For a given...

## Description The query, ``` match $p isa ent, has $a; not { $p2 isa thing, has $a; not {$p is $p2;}; }; ``` fails with an error saying $p...

## Problem to Solve There are multiple implementations of comparisons between values of comparable data-types. Risking inconsistencies and subtle bugs. ## Proposed Solution Define a the standard comparisons for values...

Redesign schema modification capabilities

1

## Usage and product changes We redesign schema modification to allow much more flexible in-place changes to the database schema. We relax various schema invariants within a schema write transaction,...