@manta-eu/react 0.1.0 → 0.1.2

package/dist/{rdfox-explain → explain-fact}/tree-model.js

@@ -7,7 +7,7 @@ import { aggregateBindingSegments } from "../rules/rule-narrative-aggregates.js"
 import { buildFilterRow } from "../rules/rule-narrative-filters.js";
 import { labeledEntitySegment } from "../rules/rule-narrative-format.js";
 import { createRuleNarrativeRenderer } from "../rules/rule-narrative-renderer.js";
-export function isRDFoxExplainOutput(value) {
+export function isExplainFactOutput(value) {
     if (typeof value !== "object" || value === null || Array.isArray(value))
         return false;
     return Object.values(value).every((entry) => typeof entry === "object" && entry !== null);
@@ -26,12 +26,13 @@ export function subjectTypeTerm(tree, subject) {
     const typeFact = Object.values(tree.byId).find((node) => isTypeFact(node) && node.spo?.subject === subject);
     return typeFact?.spo?.object;
 }
-export function consumingRuleNode(tree, node) {
-    if (node.id === tree.root.id) {
-        return node.rule ? node : undefined;
-    }
+export function ruleForSelection(tree, node) {
+    if (node.rule)
+        return { node, relation: "produces" };
     const parent = node.parentId ? tree.byId[node.parentId] : undefined;
-    return parent?.rule ? parent : undefined;
+    if (!parent?.rule)
+        return undefined;
+    return { node: parent, relation: "uses", highlightedAtomIndex: node.bodyIndex };
 }
 // The named graph may follow the closing bracket with no space: ":p[_:b, 1]:Graph".
 const bracketFactPattern = /^([^[\s]+)\[(.*)\]/;
@@ -99,17 +100,19 @@ export function normalize(output) {
         const ruleInstance = firstRuleInstance(entry.fact);
         const rule = ruleInstance?.rule;
         const supports = ruleInstanceViews(entry.fact);
+        const kind = factNodeKind(entry.fact);
         const node = {
             id,
-            kind: factNodeKind(entry.fact),
+            kind,
             display: entry.fact.fact ?? entry.key,
             rule,
+            ruleIri: ruleInstance?.["rule-iri"],
             groundedRule: ruleInstance?.["grounded-rule"],
             parentId,
             childIds: [],
             bodyIndex,
             spo: typeof entry.fact.fact === "string" ? parseFactStatement(entry.fact.fact) : undefined,
-            provenance: provenanceForFact(entry.fact, rule),
+            provenance: provenanceForFact(entry.fact, kind, rule),
             ...(isPresent(supports) && { supports }),
         };
         byId[id] = node;
@@ -235,16 +238,22 @@ function ruleInstanceViews(fact) {
         .filter((instance) => typeof instance.rule === "string")
         .map((instance) => ({
         rule: instance.rule,
+        ruleIri: instance["rule-iri"],
         groundedRule: instance["grounded-rule"],
         bodyFacts: instance["body-facts"] ?? [],
     }));
 }
-function provenanceForFact(fact, rule) {
+function provenanceForFact(fact, kind, rule) {
     return match(fact.type)
         .returnType()
         .with("false", () => "absent")
         .with("explicit", () => "explicit")
-        .otherwise(() => (rule && ruleHeadValueIsComputed(rule) ? "computed" : "derived"));
+        .otherwise(() => {
+        if (rule)
+            return ruleHeadValueIsComputed(rule) ? "computed" : "derived";
+        const unsupported = kind === "derived-fact" && fact["rule-instances-complete"] === true;
+        return unsupported && !isPresent(fact["rule-instances"] ?? []) ? "unsupported" : "derived";
+    });
 }
 function ruleHeadValueIsComputed(rule) {
     const ast = parseDatalogRuleCached(rule).ast;

package/dist/explain-fact/use-fact-measure.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"use-fact-measure.d.ts","sourceRoot":"","sources":["../../src/explain-fact/use-fact-measure.ts"],"names":[],"mappings":"AACA,OAAO,EAAuB,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAGvE,wBAAgB,cAAc,CAAC,SAAS,CAAC,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAE1E;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAmB5F"}