rust-kgdb 0.6.9 → 0.6.13

package/index.js

@@ -83,6 +83,20 @@ const {
   AgentScope,
   // Sandbox Layer (v0.6.7+)
   WasmSandbox,
+  // Context Theory (v0.6.11+) - Type-theoretic schema validation
+  SchemaContext,
+  TypeJudgment,
+  QueryValidator,
+  ProofDAG,
+  // Schema Caching (v0.6.12+) - Cross-agent schema sharing
+  SchemaCache,
+  SCHEMA_CACHE,
+  // Schema-Aware GraphDB (v0.6.13+) - Auto schema extraction on load
+  SchemaAwareGraphDB,
+  createSchemaAwareGraphDB,
+  wrapWithSchemaAwareness,
+  // Configuration
+  CONFIG,
 } = require('./hypermind-agent')
 
 module.exports = {
@@ -135,4 +149,18 @@ module.exports = {
   AgentScope,
   // Sandbox Layer (v0.6.7+)
   WasmSandbox,
+  // Context Theory (v0.6.11+) - Type-theoretic schema validation
+  SchemaContext,
+  TypeJudgment,
+  QueryValidator,
+  ProofDAG,
+  // Schema Caching (v0.6.12+) - Cross-agent schema sharing
+  SchemaCache,
+  SCHEMA_CACHE,
+  // Schema-Aware GraphDB (v0.6.13+) - Auto schema extraction on load
+  SchemaAwareGraphDB,
+  createSchemaAwareGraphDB,
+  wrapWithSchemaAwareness,
+  // Configuration (v0.6.11+) - Centralized tunable parameters
+  CONFIG,
 }

package/ontology/agent-memory.ttl

@@ -0,0 +1,421 @@
+# =============================================================================
+# HyperMind Agent Memory Ontology v1.0.0
+# =============================================================================
+#
+# Namespace: http://hypermind.ai/memory#
+#
+# This ontology defines the formal vocabulary for HyperMind agent memory,
+# enabling episodic memory storage and retrieval linked to the knowledge graph.
+#
+# Architecture:
+#   Working Memory (ephemeral)  -->  Episodic Memory (temporal)  -->  Long-Term KG
+#       (CPU registers)              (execution history)              (persistent)
+#
+# All memory is stored as RDF in the same quad store as business data,
+# enabling single SPARQL queries to traverse both memory and knowledge.
+#
+# =============================================================================
+
+@prefix am: <http://hypermind.ai/memory#> .
+@prefix owl: <http://www.w3.org/2002/07/owl#> .
+@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
+@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+@prefix dcterms: <http://purl.org/dc/terms/> .
+@prefix prov: <http://www.w3.org/ns/prov#> .
+
+# =============================================================================
+# Ontology Metadata
+# =============================================================================
+
+<http://hypermind.ai/memory#> a owl:Ontology ;
+    rdfs:label "HyperMind Agent Memory Ontology"@en ;
+    rdfs:comment """
+        Formal vocabulary for AI agent memory in the HyperMind framework.
+
+        Enables:
+        - Episodic memory with temporal scoring
+        - Session persistence across agent invocations
+        - Provenance tracking for all agent actions
+        - Hyper-edge linking between memory and knowledge graph entities
+
+        Mathematical Foundation:
+        - Score = α × Recency + β × Relevance + γ × Importance
+        - Default weights: α=0.3, β=0.5, γ=0.2
+        - Recency decay: 0.995^hours (~12% per day)
+    """@en ;
+    owl:versionInfo "1.0.0" ;
+    dcterms:created "2025-12-15"^^xsd:date ;
+    dcterms:creator "HyperMind Team" ;
+    dcterms:license <https://opensource.org/licenses/Apache-2.0> .
+
+# =============================================================================
+# Class Definitions
+# =============================================================================
+
+# -----------------------------------------------------------------------------
+# Memory Tier Classes
+# -----------------------------------------------------------------------------
+
+am:Episode a owl:Class ;
+    rdfs:label "Episode"@en ;
+    rdfs:comment """
+        A discrete interaction record in episodic memory.
+
+        Each episode captures:
+        - The user prompt that initiated the execution
+        - The result/output produced
+        - Success/failure status
+        - Timing information
+        - Embedding vector for semantic retrieval
+
+        Episodes are stored in a named graph (default: http://hypermind.ai/memory/)
+        and linked to knowledge graph entities via am:linksToEntity.
+    """@en ;
+    rdfs:subClassOf prov:Activity .
+
+am:ExecutionRecord a owl:Class ;
+    rdfs:label "Execution Record"@en ;
+    rdfs:comment """
+        A record of tool execution within an episode.
+
+        Tracks the specific tool invoked, its input parameters,
+        and the output produced. Enables full auditability of
+        agent actions for compliance and debugging.
+    """@en ;
+    rdfs:subClassOf am:Episode .
+
+am:Agent a owl:Class ;
+    rdfs:label "Agent"@en ;
+    rdfs:comment """
+        A HyperMind agent identity.
+
+        Agents have persistent identity across sessions, enabling:
+        - Session state preservation
+        - Cross-session memory retrieval
+        - Multi-agent collaboration tracking
+
+        Each agent is identified by a UUID and optionally a human-readable name.
+    """@en ;
+    rdfs:subClassOf prov:SoftwareAgent .
+
+am:Session a owl:Class ;
+    rdfs:label "Session"@en ;
+    rdfs:comment """
+        A bounded interaction period with an agent.
+
+        Sessions group related episodes and provide context boundaries
+        for working memory. Session state can be persisted and restored.
+    """@en ;
+    rdfs:subClassOf prov:Activity .
+
+# -----------------------------------------------------------------------------
+# Memory Tier Structure
+# -----------------------------------------------------------------------------
+
+am:WorkingMemoryItem a owl:Class ;
+    rdfs:label "Working Memory Item"@en ;
+    rdfs:comment """
+        Ephemeral context item (like CPU registers).
+
+        Working memory has LRU eviction with configurable capacity.
+        Items are NOT persisted to the knowledge graph.
+    """@en .
+
+am:ProofDAG a owl:Class ;
+    rdfs:label "Proof DAG"@en ;
+    rdfs:comment """
+        Directed Acyclic Graph representing the reasoning chain.
+
+        Based on Curry-Howard correspondence, each proof node
+        corresponds to a type in the type system, ensuring
+        all reasoning is verifiable.
+    """@en .
+
+# =============================================================================
+# Datatype Properties
+# =============================================================================
+
+# -----------------------------------------------------------------------------
+# Episode Properties
+# -----------------------------------------------------------------------------
+
+am:prompt a owl:DatatypeProperty ;
+    rdfs:label "prompt"@en ;
+    rdfs:comment "The natural language prompt that initiated this episode."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range xsd:string .
+
+am:success a owl:DatatypeProperty ;
+    rdfs:label "success"@en ;
+    rdfs:comment "Whether the episode completed successfully."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range xsd:boolean .
+
+am:durationMs a owl:DatatypeProperty ;
+    rdfs:label "duration (milliseconds)"@en ;
+    rdfs:comment "Execution time in milliseconds."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range xsd:integer .
+
+am:timestamp a owl:DatatypeProperty ;
+    rdfs:label "timestamp"@en ;
+    rdfs:comment "ISO 8601 timestamp when the episode occurred."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range xsd:dateTime .
+
+am:accessCount a owl:DatatypeProperty ;
+    rdfs:label "access count"@en ;
+    rdfs:comment """
+        Number of times this episode has been retrieved.
+        Used in importance scoring: importance = log10(accessCount + 1) / log10(max + 1)
+    """@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range xsd:integer .
+
+am:result a owl:DatatypeProperty ;
+    rdfs:label "result"@en ;
+    rdfs:comment "The output/answer produced by this episode (JSON string)."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range xsd:string .
+
+# -----------------------------------------------------------------------------
+# Execution Record Properties
+# -----------------------------------------------------------------------------
+
+am:tool a owl:DatatypeProperty ;
+    rdfs:label "tool"@en ;
+    rdfs:comment """
+        The tool identifier that was executed.
+        Examples: 'kg.sparql.query', 'kg.motif.find', 'kg.pagerank'
+    """@en ;
+    rdfs:domain am:ExecutionRecord ;
+    rdfs:range xsd:string .
+
+am:input a owl:DatatypeProperty ;
+    rdfs:label "input"@en ;
+    rdfs:comment "The input parameters passed to the tool (JSON string)."@en ;
+    rdfs:domain am:ExecutionRecord ;
+    rdfs:range xsd:string .
+
+am:output a owl:DatatypeProperty ;
+    rdfs:label "output"@en ;
+    rdfs:comment "The output produced by the tool (JSON string)."@en ;
+    rdfs:domain am:ExecutionRecord ;
+    rdfs:range xsd:string .
+
+# -----------------------------------------------------------------------------
+# Agent Identity Properties
+# -----------------------------------------------------------------------------
+
+am:agentId a owl:DatatypeProperty ;
+    rdfs:label "agent ID"@en ;
+    rdfs:comment "UUID identifying the agent instance."@en ;
+    rdfs:domain am:Agent ;
+    rdfs:range xsd:string .
+
+am:agentName a owl:DatatypeProperty ;
+    rdfs:label "agent name"@en ;
+    rdfs:comment "Human-readable name for the agent."@en ;
+    rdfs:domain am:Agent ;
+    rdfs:range xsd:string .
+
+am:model a owl:DatatypeProperty ;
+    rdfs:label "model"@en ;
+    rdfs:comment "LLM model identifier (e.g., 'claude-sonnet-4', 'gpt-4o')."@en ;
+    rdfs:domain am:Agent ;
+    rdfs:range xsd:string .
+
+# -----------------------------------------------------------------------------
+# Session Properties
+# -----------------------------------------------------------------------------
+
+am:sessionId a owl:DatatypeProperty ;
+    rdfs:label "session ID"@en ;
+    rdfs:comment "UUID identifying the session."@en ;
+    rdfs:domain am:Session ;
+    rdfs:range xsd:string .
+
+am:startTime a owl:DatatypeProperty ;
+    rdfs:label "start time"@en ;
+    rdfs:comment "When the session began."@en ;
+    rdfs:domain am:Session ;
+    rdfs:range xsd:dateTime .
+
+am:endTime a owl:DatatypeProperty ;
+    rdfs:label "end time"@en ;
+    rdfs:comment "When the session ended (null if active)."@en ;
+    rdfs:domain am:Session ;
+    rdfs:range xsd:dateTime .
+
+# -----------------------------------------------------------------------------
+# Embedding Properties
+# -----------------------------------------------------------------------------
+
+am:embedding a owl:DatatypeProperty ;
+    rdfs:label "embedding"@en ;
+    rdfs:comment """
+        384-dimensional vector embedding for semantic similarity.
+        Stored as JSON array string for RDF compatibility.
+
+        Used for temporal scoring:
+        relevance = cosine_similarity(query_embedding, episode_embedding)
+    """@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range xsd:string .
+
+am:embeddingDimension a owl:DatatypeProperty ;
+    rdfs:label "embedding dimension"@en ;
+    rdfs:comment "Dimensionality of the embedding vector (default: 384)."@en ;
+    rdfs:range xsd:integer .
+
+# -----------------------------------------------------------------------------
+# Scoring Configuration Properties
+# -----------------------------------------------------------------------------
+
+am:recencyWeight a owl:DatatypeProperty ;
+    rdfs:label "recency weight"@en ;
+    rdfs:comment "Weight for recency in temporal scoring (default: 0.3)."@en ;
+    rdfs:range xsd:float .
+
+am:relevanceWeight a owl:DatatypeProperty ;
+    rdfs:label "relevance weight"@en ;
+    rdfs:comment "Weight for semantic relevance in temporal scoring (default: 0.5)."@en ;
+    rdfs:range xsd:float .
+
+am:importanceWeight a owl:DatatypeProperty ;
+    rdfs:label "importance weight"@en ;
+    rdfs:comment "Weight for access-based importance in temporal scoring (default: 0.2)."@en ;
+    rdfs:range xsd:float .
+
+am:decayRate a owl:DatatypeProperty ;
+    rdfs:label "decay rate"@en ;
+    rdfs:comment """
+        Exponential decay rate per hour for recency scoring.
+        Default: 0.995 (~12% decay per day)
+        Formula: recency = decayRate ^ hoursElapsed
+    """@en ;
+    rdfs:range xsd:float .
+
+# =============================================================================
+# Object Properties (Hyper-Edges)
+# =============================================================================
+
+am:linksToEntity a owl:ObjectProperty ;
+    rdfs:label "links to entity"@en ;
+    rdfs:comment """
+        Hyper-edge connecting an episode to a knowledge graph entity.
+
+        This is the critical link that enables:
+        1. Single SPARQL query to traverse memory AND knowledge
+        2. Agent context tied to specific business entities
+        3. Provenance tracking from decision to data
+
+        Example:
+            <episode:001> am:linksToEntity <http://insurance.org/P001> .
+
+        Query joining memory and KG:
+            SELECT ?episode ?finding ?providerRisk WHERE {
+              GRAPH <http://hypermind.ai/memory/> {
+                ?episode am:prompt ?finding ;
+                         am:linksToEntity ?provider .
+              }
+              ?provider ins:riskScore ?providerRisk .
+            }
+    """@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range rdfs:Resource .
+
+am:performedBy a owl:ObjectProperty ;
+    rdfs:label "performed by"@en ;
+    rdfs:comment "The agent that performed this episode."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range am:Agent ;
+    rdfs:subPropertyOf prov:wasAssociatedWith .
+
+am:inSession a owl:ObjectProperty ;
+    rdfs:label "in session"@en ;
+    rdfs:comment "The session containing this episode."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range am:Session .
+
+am:hasExecution a owl:ObjectProperty ;
+    rdfs:label "has execution"@en ;
+    rdfs:comment "Tool execution records within this episode."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range am:ExecutionRecord .
+
+am:previousEpisode a owl:ObjectProperty ;
+    rdfs:label "previous episode"@en ;
+    rdfs:comment "Temporal ordering link to the preceding episode."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range am:Episode .
+
+am:hasProof a owl:ObjectProperty ;
+    rdfs:label "has proof"@en ;
+    rdfs:comment "Link to the proof DAG for this episode's reasoning."@en ;
+    rdfs:domain am:Episode ;
+    rdfs:range am:ProofDAG .
+
+# =============================================================================
+# Named Graphs
+# =============================================================================
+
+# Default memory graph for episode storage
+<http://hypermind.ai/memory/> a owl:NamedIndividual ;
+    rdfs:label "HyperMind Memory Graph"@en ;
+    rdfs:comment """
+        Default named graph for storing agent episodes.
+
+        All episodes are stored here unless a custom graph is specified.
+        This graph exists in the SAME quad store as business knowledge,
+        enabling single SPARQL queries to join memory and data.
+    """@en .
+
+# Long-term memory graph (persistent)
+<http://memory.hypermind.ai/> a owl:NamedIndividual ;
+    rdfs:label "Long-Term Memory Graph"@en ;
+    rdfs:comment """
+        Persistent memory graph for cross-session storage.
+
+        Unlike episodic memory (which may be pruned), long-term
+        memory persists indefinitely for agent learning.
+    """@en .
+
+# =============================================================================
+# Example Usage
+# =============================================================================
+#
+# Storing an episode:
+#
+#   @prefix am: <http://hypermind.ai/memory#> .
+#   @prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+#   @prefix ins: <http://insurance.org/> .
+#
+#   <http://hypermind.ai/episode/550e8400-e29b-41d4-a716-446655440000>
+#       a am:Episode ;
+#       am:prompt "Find circular payment patterns in Provider P001" ;
+#       am:success "true"^^xsd:boolean ;
+#       am:durationMs "1234"^^xsd:integer ;
+#       am:timestamp "2025-12-15T10:30:00Z"^^xsd:dateTime ;
+#       am:accessCount "0"^^xsd:integer ;
+#       am:linksToEntity ins:P001 ;
+#       am:performedBy <http://hypermind.ai/agent/fraud-detector> .
+#
+# Querying memory with KG join:
+#
+#   PREFIX am: <http://hypermind.ai/memory#>
+#   PREFIX ins: <http://insurance.org/>
+#
+#   SELECT ?episode ?prompt ?riskScore WHERE {
+#     GRAPH <http://hypermind.ai/memory/> {
+#       ?episode a am:Episode ;
+#                am:prompt ?prompt ;
+#                am:linksToEntity ?entity .
+#     }
+#     ?entity ins:riskScore ?riskScore .
+#     FILTER(?riskScore > 0.8)
+#   }
+#   ORDER BY DESC(?riskScore)
+#
+# =============================================================================

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "rust-kgdb",
-  "version": "0.6.9",
-  "description": "Production-grade Neuro-Symbolic AI Framework with Memory Hypergraph: +86.4% accuracy improvement over vanilla LLMs. High-performance knowledge graph (2.78µs lookups, 35x faster than RDFox). Features Memory Hypergraph (temporal scoring, rolling context window, idempotent responses), fraud detection, underwriting agents, WASM sandbox, type/category/proof theory, and W3C SPARQL 1.1 compliance.",
+  "version": "0.6.13",
+  "description": "Production-grade Neuro-Symbolic AI Framework with Schema-Aware GraphDB, Context Theory, and Memory Hypergraph: +86.4% accuracy over vanilla LLMs. Features Schema-Aware GraphDB (auto schema extraction), BYOO (Bring Your Own Ontology) for enterprise, cross-agent schema caching, LLM Planner for natural language to typed SPARQL, ProofDAG with Curry-Howard witnesses. High-performance (2.78µs lookups, 35x faster than RDFox). W3C SPARQL 1.1 compliant.",
   "main": "index.js",
   "types": "index.d.ts",
   "napi": {
@@ -25,6 +25,13 @@
   "keywords": [
     "neuro-symbolic-ai",
     "agentic-framework",
+    "schema-aware-graphdb",
+    "context-theory",
+    "bring-your-own-ontology",
+    "schema-caching",
+    "llm-planner",
+    "proof-dag",
+    "curry-howard",
     "memory-hypergraph",
     "agent-memory",
     "temporal-memory",
@@ -73,6 +80,7 @@
     "secure-agent-sandbox-demo.js",
     "vanilla-vs-hypermind-benchmark.js",
     "examples/",
+    "ontology/",
     "README.md",
     "HYPERMIND_BENCHMARK_REPORT.md",
     "CHANGELOG.md",