@manta-eu/client 0.2.0 → 0.3.0

package/src/shared/tools/index.ts

@@ -13,22 +13,22 @@ export type {
   ActionPlanShowcaseInput,
   ActionPlanShowcaseOutput,
   ActionPlanStatus,
-  AddRDFoxFactsInput,
-  AddRDFoxFactsOutput,
+  AddFactsInput,
+  AddFactsOutput,
   CancelScheduleInput,
   CancelScheduleOutput,
   ExecuteActionPlanInput,
   ExecuteActionPlanOutput,
-  ExplainRDFoxRulesInput,
-  ExplainRDFoxRulesOutput,
+  ExplainFactToolInput,
+  ExplainFactToolOutput,
   GenerateChartInput,
   GenerateChartOutput,
-  GetRDFoxRulesInput,
-  GetRDFoxRulesOutput,
+  GetRulesInput,
+  GetRulesOutput,
   ListScheduledTasksInput,
   ListScheduledTasksOutput,
-  RDFoxFactsInput,
-  RDFoxFactsOutput,
+  QueryKnowledgeGraphInput,
+  QueryKnowledgeGraphOutput,
   ScheduleTaskInput,
   ScheduleTaskOutput,
   ShowEntitiesInput,

package/src/shared/tools/metadata.ts

@@ -6,30 +6,30 @@ import { iriLocalName } from "../rdf-namespaces";
 import type { ToolMetadata, ToolName } from "./types";
 
 export const toolMetadata: ToolMetadata = {
-  getRDFoxFacts: {
-    name: "getRDFoxFacts",
-    category: "rdfox",
+  queryKnowledgeGraph: {
+    name: "queryKnowledgeGraph",
+    category: "knowledge-graph",
     humanName: "Query knowledge base",
-    description: "Retrieve facts from RDFox knowledge base using SPARQL",
+    description: "Retrieve facts from the knowledge graph using SPARQL",
     getHumanName: (input) => {
       return input?.humanIntent || "Querying...";
     },
   },
-  addRDFoxFacts: {
-    name: "addRDFoxFacts",
-    category: "rdfox",
+  addFacts: {
+    name: "addFacts",
+    category: "knowledge-graph",
     humanName: "Add facts",
-    description: "Add facts to RDFox knowledge base as Turtle",
+    description: "Add facts to the knowledge graph as Turtle",
     getHumanName: (input) => {
       return input?.humanIntent || "Adding facts...";
     },
   },
-  getRDFoxRules: {
-    name: "getRDFoxRules",
-    category: "rdfox",
+  getRules: {
+    name: "getRules",
+    category: "knowledge-graph",
     humanName: "Check rules",
     description:
-      "Retrieve Datalog rules from RDFox with optional filters (named graph, rdf:type, limit) to avoid context overflow",
+      "Retrieve Datalog rules from the knowledge graph with optional filters (named graph, rdf:type, limit) to avoid context overflow",
     getHumanName: (input) => {
       const parts: string[] = [];
       if (input?.namedGraphIri) parts.push(`plan: ${input.namedGraphIri}`);
@@ -38,9 +38,9 @@ export const toolMetadata: ToolMetadata = {
       return `Checking rules ${parts.join(" + ")}`;
     },
   },
-  explainRDFoxRules: {
-    name: "explainRDFoxRules",
-    category: "rdfox",
+  explainFact: {
+    name: "explainFact",
+    category: "knowledge-graph",
     humanName: "Explain reasoning",
     description: "Explain how facts are derived using rules",
     getHumanName: () => "Explaining reasoning...",
@@ -88,20 +88,20 @@ export const toolMetadata: ToolMetadata = {
       return input?.namedGraphIri ? `Execute plan: ${input.namedGraphIri}` : "Executing action plan...";
     },
   },
-  manageRDFoxRules: {
-    name: "manageRDFoxRules",
-    category: "rdfox",
+  manageRules: {
+    name: "manageRules",
+    category: "knowledge-graph",
     humanName: "Manage rules",
-    description: "Add, change, or remove Datalog rules in RDFox knowledge base",
+    description: "Add, change, or remove Datalog rules in the knowledge graph",
     getHumanName: (input) => {
       return input?.humanIntent || "Managing rules...";
     },
   },
-  manageRDFoxFacts: {
-    name: "manageRDFoxFacts",
-    category: "rdfox",
+  manageFacts: {
+    name: "manageFacts",
+    category: "knowledge-graph",
     humanName: "Manage facts",
-    description: "Add, change facts in RDFox knowledge",
+    description: "Add or change facts in the knowledge graph",
     getHumanName: (input) => {
       return input?.humanIntent || "Managing facts...";
     },

package/src/shared/tools/types.ts

@@ -10,17 +10,17 @@ export type { TestTripleInput };
 export type SparqlJsonBinding = SparqlBinding;
 
 export type ToolName =
-  | "getRDFoxFacts"
-  | "addRDFoxFacts"
-  | "getRDFoxRules"
-  | "explainRDFoxRules"
+  | "queryKnowledgeGraph"
+  | "addFacts"
+  | "getRules"
+  | "explainFact"
   | "scheduleTask"
   | "listScheduledTasks"
   | "cancelSchedule"
   | "generateChart"
   | "executeActionPlan"
-  | "manageRDFoxRules"
-  | "manageRDFoxFacts"
+  | "manageRules"
+  | "manageFacts"
   | "actionPlanShowcase"
   | "showEntities"
   | "checkAutoPilotStatus"
@@ -28,7 +28,7 @@ export type ToolName =
   | "markAsLowRisk"
   | "readUploadedFile";
 
-export type ToolCategory = "rdfox" | "scheduler" | "charts" | "action" | "auto-pilot";
+export type ToolCategory = "knowledge-graph" | "scheduler" | "charts" | "action" | "auto-pilot";
 
 export type ToolInputSchema<T = unknown> = z.ZodSchema<T>;
 
@@ -39,36 +39,36 @@ export type ToolErrorResult = {
   content: string;
 };
 
-export type RDFoxFactsInput = {
+export type QueryKnowledgeGraphInput = {
   humanIntent: string;
   sparql: string;
   keepPrefixes?: boolean;
 };
 
-export type RDFoxFactsOutput = JsonLdGraphDocument | SparqlJsonResults | ToolErrorResult;
+export type QueryKnowledgeGraphOutput = JsonLdGraphDocument | SparqlJsonResults | ToolErrorResult;
 
-export type AddRDFoxFactsInput = {
+export type AddFactsInput = {
   facts: string;
   humanIntent: string;
 };
 
-export type AddRDFoxFactsOutput = string | ToolErrorResult;
+export type AddFactsOutput = string | ToolErrorResult;
 
-export type GetRDFoxRulesInput = {
+export type GetRulesInput = {
   namedGraphIri?: string;
   rdfTypes?: string[];
   limit?: number;
 };
 
-export type GetRDFoxRulesOutputSuccess = {
+export type GetRulesOutputSuccess = {
   rules: string[] | string | Record<string, unknown>[]; // TODO: standardize on RuleInfo type
   totalCount: number;
   truncated?: boolean;
 };
 
-export type GetRDFoxRulesOutput = GetRDFoxRulesOutputSuccess | ToolErrorResult;
+export type GetRulesOutput = GetRulesOutputSuccess | ToolErrorResult;
 
-export type ExplainRDFoxRulesInput = {
+export type ExplainFactToolInput = {
   subject: string;
   predicate?: string;
   object: string;
@@ -76,7 +76,7 @@ export type ExplainRDFoxRulesInput = {
 
 export type ToolObjectOutput = object | ToolErrorResult;
 
-export type ExplainRDFoxRulesOutput = ToolObjectOutput;
+export type ExplainFactToolOutput = ToolObjectOutput;
 
 export type ScheduleTaskInput = {
   when: "scheduled" | "delayed" | "cron";
@@ -151,7 +151,7 @@ export type ExecuteActionPlanOutput =
     }
   | ToolErrorResult;
 
-export type ManageRDFoxRulesInput = {
+export type ManageRulesInput = {
   humanIntent: string;
   operation: "add" | "change" | "remove";
   ruleIri?: string;
@@ -161,17 +161,17 @@ export type ManageRDFoxRulesInput = {
   dryRun?: boolean;
   stageOnly?: boolean;
 };
-export type ManageRDFoxRulesSuccess = {
+export type ManageRulesSuccess = {
   success: true;
   ruleIri: string;
   parsedRule: DatalogRule | null;
   content: string;
 };
 
-export type ManageRDFoxRulesOutput =
-  | (ManageRDFoxRulesSuccess & { dryRun: true })
-  | (ManageRDFoxRulesSuccess & { staged: true })
-  | (ManageRDFoxRulesSuccess & {
+export type ManageRulesOutput =
+  | (ManageRulesSuccess & { dryRun: true })
+  | (ManageRulesSuccess & { staged: true })
+  | (ManageRulesSuccess & {
       ruleText: string;
       inferenceVerified: boolean;
       inferenceVerification: InferenceVerificationResult | null;
@@ -183,7 +183,7 @@ export type ManageRDFoxRulesOutput =
     })
   | ToolErrorResult;
 
-export type ManageRDFoxFactsInput = {
+export type ManageFactsInput = {
   humanIntent: string;
   facts: string;
   namedGraphIri?: string;
@@ -191,7 +191,7 @@ export type ManageRDFoxFactsInput = {
   etag?: string;
 };
 
-export type ManageRDFoxFactsOutput =
+export type ManageFactsOutput =
   | {
       content: string;
       is_error: boolean;
@@ -265,17 +265,17 @@ export type AutoPilotOutput = ({ success: true } & AutoPilotActionPlan) | ToolEr
 export type CheckAutoPilotStatusOutput = AutoPilotActionPlan | ToolErrorResult;
 
 export type ToolDefinitions = {
-  getRDFoxFacts: ToolDefinition<RDFoxFactsInput, RDFoxFactsOutput>;
-  addRDFoxFacts: ToolDefinition<AddRDFoxFactsInput, AddRDFoxFactsOutput>;
-  getRDFoxRules: ToolDefinition<GetRDFoxRulesInput, GetRDFoxRulesOutput>;
-  explainRDFoxRules: ToolDefinition<ExplainRDFoxRulesInput, ExplainRDFoxRulesOutput>;
+  queryKnowledgeGraph: ToolDefinition<QueryKnowledgeGraphInput, QueryKnowledgeGraphOutput>;
+  addFacts: ToolDefinition<AddFactsInput, AddFactsOutput>;
+  getRules: ToolDefinition<GetRulesInput, GetRulesOutput>;
+  explainFact: ToolDefinition<ExplainFactToolInput, ExplainFactToolOutput>;
   scheduleTask: ToolDefinition<ScheduleTaskInput, ScheduleTaskOutput>;
   listScheduledTasks: ToolDefinition<ListScheduledTasksInput, ListScheduledTasksOutput>;
   cancelSchedule: ToolDefinition<CancelScheduleInput, CancelScheduleOutput>;
   generateChart: ToolDefinition<GenerateChartInput, GenerateChartOutput>;
   executeActionPlan: ToolDefinition<ExecuteActionPlanInput, ExecuteActionPlanOutput>;
-  manageRDFoxRules: ToolDefinition<ManageRDFoxRulesInput, ManageRDFoxRulesOutput>;
-  manageRDFoxFacts: ToolDefinition<ManageRDFoxFactsInput, ManageRDFoxFactsOutput>;
+  manageRules: ToolDefinition<ManageRulesInput, ManageRulesOutput>;
+  manageFacts: ToolDefinition<ManageFactsInput, ManageFactsOutput>;
   actionPlanShowcase: ToolDefinition<ActionPlanShowcaseInput, ActionPlanShowcaseOutput>;
   showEntities: ToolDefinition<ShowEntitiesInput, ShowEntitiesOutput>;
   checkAutoPilotStatus: ToolDefinition<AutoPilotInput, CheckAutoPilotStatusOutput>;

package/src/shared/writable-shape-query.ts

@@ -1,6 +1,6 @@
 import { DataFactory } from "ldkit/rdf";
 import { SELECT } from "ldkit/sparql";
-import { sh, shaclGraphIri, writeLifecycle } from "./rdf-namespaces";
+import { sh, shaclGraph, writeLifecycle } from "./rdf-namespaces";
 
 const dataFactory = new DataFactory();
 const property = dataFactory.namedNode(sh.property);
@@ -12,7 +12,7 @@ export function buildActionShapePropertyQuery(actionShapeIris: string[]): string
   const actionShapes = actionShapeIris.map((iri) => dataFactory.namedNode(iri));
 
   return SELECT`DISTINCT ?actionShape ?parent ?path ?node ?flag`.WHERE`
-    GRAPH ${dataFactory.namedNode(shaclGraphIri)} {
+    GRAPH ${dataFactory.namedNode(shaclGraph)} {
       VALUES ?actionShape { ${actionShapes} }
       ?actionShape (${property}/${node})* ?parent .
       ?parent ${property} ?propertyShape .