musubix 1.4.4 → 1.7.0

package/docs/API-REFERENCE.md

@@ -12,6 +12,12 @@
   - [Design](#design)
   - [Codegen](#codegen)
   - [Symbolic](#symbolic)
+  - [Inference](#inference) *(v1.4.5)*
+  - [REPL](#repl) *(v1.5.0)*
+  - [YATA Local](#yata-local) *(v1.6.3)*
+  - [YATA Global](#yata-global) *(v1.6.3)*
+  - [KGPR](#kgpr) *(v1.6.4)*
+  - [YATA Platform](#yata-platform) *(v1.7.0)*
   - [Validation](#validation)
   - [Utils](#utils)
 - [MCP Server](#mcp-server)
@@ -291,6 +297,99 @@ const violations = checker.check(code, 'typescript');
 
 ---
 
+### REPL
+
+*(New in v1.5.0, Enhanced in v1.6.0)*
+
+Interactive command-line interface components.
+
+#### ReplEngine
+
+Main REPL controller.
+
+```typescript
+import { createReplEngine } from '@nahisaho/musubix-core';
+
+const engine = createReplEngine({
+  history: { maxSize: 1000 },
+  prompt: { showProject: true, showPhase: true },
+  completion: { maxSuggestions: 10 },
+  output: { defaultFormat: 'auto' }
+});
+
+await engine.start();
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `start()` | - | `Promise<void>` | Starts REPL session |
+| `stop()` | - | `Promise<void>` | Stops REPL session |
+| `execute(command)` | `command: string` | `Promise<CommandResult>` | Executes command |
+| `isRunning()` | - | `boolean` | Returns running state |
+| `on(event, handler)` | `event: string, handler: Function` | `void` | Registers event handler |
+
+#### CommandCompleter
+
+TAB completion provider.
+
+```typescript
+import { createCommandCompleter } from '@nahisaho/musubix-core';
+
+const completer = createCommandCompleter({ maxSuggestions: 10 });
+completer.registerCommands(commandDefinitions);
+
+const result = completer.complete('req', 3);
+// { completions: ['requirements'], prefix: 'req' }
+```
+
+#### HistoryManager
+
+Command history persistence.
+
+```typescript
+import { createHistoryManager } from '@nahisaho/musubix-core';
+
+const history = createHistoryManager({
+  maxSize: 1000,
+  filePath: '~/.musubix_history'
+});
+
+await history.load();
+history.add('requirements analyze input.md');
+await history.save();
+```
+
+#### SessionState
+
+Session variable storage.
+
+```typescript
+import { createSessionState } from '@nahisaho/musubix-core';
+
+const session = createSessionState();
+session.set('project', 'my-app');
+const value = session.get('project'); // 'my-app'
+const expanded = session.expand('design $project'); // 'design my-app'
+```
+
+#### OutputFormatter
+
+Output formatting (JSON/YAML/Table).
+
+```typescript
+import { createOutputFormatter } from '@nahisaho/musubix-core';
+
+const formatter = createOutputFormatter({ defaultFormat: 'auto' });
+console.log(formatter.format(data));
+console.log(formatter.formatTable(arrayOfObjects));
+console.log(formatter.formatJson(object));
+console.log(formatter.formatYaml(object));
+```
+
+---
+
 ### Validation
 
 #### ConstitutionalValidator
@@ -457,6 +556,335 @@ const report = validator.generateApprovalReport(result);
 
 ---
 
+### Inference (v1.4.5)
+
+The inference module provides OWL 2 RL reasoning and Datalog evaluation capabilities.
+
+#### OWL2RLReasoner
+
+Performs OWL 2 RL profile reasoning with 20+ built-in entailment rules.
+
+```typescript
+import { OWL2RLReasoner } from '@nahisaho/musubix-ontology-mcp';
+
+const reasoner = new OWL2RLReasoner({
+  maxIterations: 100,
+  enablePropertyChains: true,
+  enableInverseProperties: true
+});
+
+const result = await reasoner.reason(store, {
+  onProgress: (progress) => console.log(`Iteration ${progress.iteration}`)
+});
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `reason(store, options)` | `store: N3Store, options?: ReasonerOptions` | `Promise<ReasoningResult>` | Execute reasoning |
+| `getProvenanceLog()` | - | `ProvenanceLog` | Get inference provenance |
+| `getRulesApplied()` | - | `string[]` | Get list of applied rules |
+
+**Built-in Rules:**
+
+| Rule | Description |
+|------|-------------|
+| `prp-dom` | Property domain inference |
+| `prp-rng` | Property range inference |
+| `prp-inv1/2` | Inverse property inference |
+| `prp-trp` | Transitive property chaining |
+| `prp-symp` | Symmetric property inference |
+| `cax-sco` | SubClassOf propagation |
+| `scm-spo` | SubPropertyOf inference |
+| `eq-rep-s/p/o` | SameAs replacement |
+
+---
+
+#### DatalogEngine
+
+Evaluates Datalog rules with stratified negation support.
+
+```typescript
+import { DatalogEngine } from '@nahisaho/musubix-ontology-mcp';
+
+const engine = new DatalogEngine();
+
+const rules = [
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?y'] },
+    body: [{ predicate: 'parent', args: ['?x', '?y'] }]
+  }
+];
+
+const result = await engine.evaluate(rules, facts);
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `evaluate(rules, facts, options)` | `rules: Rule[], facts: Fact[], options?: EvalOptions` | `Promise<EvaluationResult>` | Evaluate rules |
+| `stratify(rules)` | `rules: Rule[]` | `Rule[][]` | Stratify rules by dependency |
+
+---
+
+#### InferenceExplainer
+
+Generates human-readable explanations for inferred facts.
+
+```typescript
+import { InferenceExplainer, ExplanationFormat } from '@nahisaho/musubix-ontology-mcp';
+
+const explainer = new InferenceExplainer(provenanceLog);
+
+const explanation = explainer.explain(
+  subject, predicate, object,
+  ExplanationFormat.TEXT
+);
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `explain(s, p, o, format)` | `s: string, p: string, o: string, format: ExplanationFormat` | `string` | Generate explanation |
+| `getInferenceChain(s, p, o)` | `s: string, p: string, o: string` | `InferenceStep[]` | Get inference chain |
+
+**Explanation Formats:**
+
+| Format | Description |
+|--------|-------------|
+| `TEXT` | Plain text explanation |
+| `MARKDOWN` | Markdown formatted |
+| `HTML` | HTML with styling |
+
+---
+
+#### ProgressReporter
+
+Reports real-time inference progress.
+
+```typescript
+import { createProgressReporter } from '@nahisaho/musubix-ontology-mcp';
+
+const reporter = createProgressReporter({
+  onProgress: (info) => console.log(`${info.phase}: ${info.newInferences} new`),
+  throttleMs: 500
+});
+
+await reasoner.reason(store, { progressReporter: reporter });
+```
+
+**Configuration:**
+
+| Option | Type | Description |
+|--------|------|-------------|
+| `onProgress` | `(info: ProgressInfo) => void` | Progress callback |
+| `throttleMs` | `number` | Throttle interval (default: 500ms) |
+
+---
+
+### YATA Platform (v1.7.0)
+
+Version 1.7.0 introduces enhanced YATA platform APIs.
+
+#### IndexOptimizer
+
+Optimizes database indexes for improved query performance.
+
+```typescript
+import { IndexOptimizer } from '@nahisaho/yata-local';
+
+const optimizer = new IndexOptimizer(database);
+
+// Analyze query patterns
+const analysis = await optimizer.analyzeQueryPatterns();
+
+// Create optimal indexes
+const created = await optimizer.createOptimalIndexes();
+
+// Check index health
+const health = await optimizer.checkIndexHealth();
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `analyzeQueryPatterns()` | - | `QueryAnalysis` | Analyze query patterns |
+| `createOptimalIndexes()` | - | `IndexCreationResult` | Create composite indexes |
+| `checkIndexHealth()` | - | `IndexHealthReport` | Check fragmentation |
+| `rebuildIndex(name)` | `name: string` | `void` | Rebuild specific index |
+
+---
+
+#### ExportPipeline
+
+Exports knowledge graph data with transformation support.
+
+```typescript
+import { ExportPipeline } from '@nahisaho/yata-local';
+
+const pipeline = new ExportPipeline(database);
+
+// Full export
+const data = await pipeline.exportFull({ namespace: 'myproject' });
+
+// Incremental export
+const changes = await pipeline.exportIncremental({
+  since: lastExportTime,
+  format: 'json'
+});
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `exportFull(options)` | `ExportOptions` | `ExportData` | Full data export |
+| `exportIncremental(options)` | `IncrementalOptions` | `ExportData` | Export changes since timestamp |
+| `exportWithTransform(options)` | `TransformOptions` | `ExportData` | Export with format transformation |
+
+**Export Formats:**
+
+| Format | Description |
+|--------|-------------|
+| `json` | JSON format (default) |
+| `rdf` | RDF/Turtle format |
+| `ntriples` | N-Triples format |
+
+---
+
+#### GlobalSyncClient
+
+Synchronizes local knowledge graph with YATA Global.
+
+```typescript
+import { GlobalSyncClient } from '@nahisaho/yata-global';
+
+const client = new GlobalSyncClient({
+  endpoint: 'https://yata-global.example.com',
+  offlineMode: true
+});
+
+await client.initialize();
+
+const result = await client.sync({
+  namespace: 'myproject',
+  direction: 'push'
+});
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `initialize()` | - | `Promise<void>` | Initialize client |
+| `sync(options)` | `SyncOptions` | `SyncResult` | Synchronize data |
+| `getStatus()` | - | `SyncStatus` | Get sync status |
+| `resolveConflict(id, resolution)` | `id: string, resolution: Resolution` | `void` | Resolve conflict |
+
+---
+
+#### SyncEngine
+
+Core synchronization engine with conflict resolution.
+
+```typescript
+import { SyncEngine } from '@nahisaho/yata-global';
+
+const engine = new SyncEngine({
+  conflictStrategy: 'server-wins',
+  batchSize: 100
+});
+
+const result = await engine.sync(localData, remoteData);
+```
+
+**Conflict Strategies:**
+
+| Strategy | Description |
+|----------|-------------|
+| `server-wins` | Server data takes precedence |
+| `client-wins` | Client data takes precedence |
+| `merge` | Attempt automatic merge |
+| `manual` | Require manual resolution |
+
+---
+
+#### CacheManager
+
+Manages local caching for offline support.
+
+```typescript
+import { CacheManager } from '@nahisaho/yata-global';
+
+const cache = new CacheManager({
+  maxSize: 100 * 1024 * 1024, // 100MB
+  ttl: 24 * 60 * 60 * 1000    // 24 hours
+});
+
+await cache.set('key', data);
+const cached = await cache.get('key');
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `get(key)` | `key: string` | `T \| undefined` | Get cached item |
+| `set(key, value)` | `key: string, value: T` | `void` | Cache item |
+| `has(key)` | `key: string` | `boolean` | Check if exists |
+| `clearAll()` | - | `void` | Clear all cache |
+| `getStats()` | - | `CacheStats` | Get cache statistics |
+
+---
+
+#### YataUIServer
+
+Web-based visualization server for knowledge graphs.
+
+```typescript
+import { YataUIServer, createYataUIServer } from '@nahisaho/yata-ui';
+
+const server = createYataUIServer({
+  port: 3000,
+  host: 'localhost',
+  cors: true,
+  enableRealtime: true
+});
+
+server.setDataProvider(async () => ({
+  nodes: await getEntities(),
+  edges: await getRelationships()
+}));
+
+await server.start();
+```
+
+**Methods:**
+
+| Method | Parameters | Returns | Description |
+|--------|------------|---------|-------------|
+| `start()` | - | `Promise<void>` | Start server |
+| `stop()` | - | `Promise<void>` | Stop server |
+| `isRunning()` | - | `boolean` | Check if running |
+| `getUrl()` | - | `string` | Get server URL |
+| `setDataProvider(fn)` | `DataProvider` | `void` | Set data provider |
+| `broadcastUpdate(event, data)` | `event: string, data: any` | `void` | Broadcast to clients |
+
+**Configuration:**
+
+| Option | Type | Default | Description |
+|--------|------|---------|-------------|
+| `port` | `number` | `3000` | Server port |
+| `host` | `string` | `localhost` | Server host |
+| `cors` | `boolean` | `true` | Enable CORS |
+| `enableRealtime` | `boolean` | `true` | Enable WebSocket |
+
+---
+
 ### Utils
 
 #### I18nManager
@@ -754,6 +1182,6 @@ MIT License - see [LICENSE](./LICENSE) for details.
 
 ---
 
-**Version:** 1.3.0  
-**Generated:** 2026-01-05  
+**Version:** 1.7.0  
+**Generated:** 2026-01-06  
 **MUSUBIX Core Package**

package/docs/INSTALL-GUIDE.ja.md

@@ -1,8 +1,8 @@
 # MUSUBIX インストールガイド
 
 **文書ID**: INSTALL-GUIDE  
-**バージョン**: 1.4.1  
-**最終更新**: 2026-01-05
+**バージョン**: 1.7.0  
+**最終更新**: 2026-01-06
 
 ---
 

package/docs/INSTALL-GUIDE.md

@@ -1,8 +1,8 @@
 # MUSUBIX Installation Guide
 
 **Document ID**: INSTALL-GUIDE  
-**Version**: 1.4.1  
-**Last Updated**: 2026-01-05
+**Version**: 1.7.0  
+**Last Updated**: 2026-01-06
 
 ---