musubix 1.4.3 → 1.6.0

package/AGENTS.md

@@ -8,13 +8,13 @@
 
 | 項目 | 詳細 |
 |------|------|
-| **バージョン** | 1.4.3 |
+| **バージョン** | 1.6.0 (開発中) |
 | **言語** | TypeScript |
 | **ランタイム** | Node.js >= 20.0.0 |
 | **パッケージマネージャ** | npm >= 10.0.0 |
 | **ビルドシステム** | モノレポ（npm workspaces） |
 | **テストフレームワーク** | Vitest |
-| **テスト数** | 853 (全合格) |
+| **テスト数** | 1208 (全合格) |
 | **コンポーネント数** | 249 (62ドメイン対応) |
 | **Agent Skills** | 12 (Claude Code対応) |
 
@@ -121,6 +121,11 @@ npx musubix ontology validate -f <file>    # 知識グラフ整合性検証
 npx musubix ontology check-circular -f <file>  # 循環依存チェック
 npx musubix ontology stats -f <file>       # 統計表示
 
+# Interactive REPL (v1.5.0 NEW!)
+npx musubix repl                           # 対話的シェルを起動
+npx musubix repl --history <file>          # カスタム履歴ファイル
+npx musubix repl --no-color                # 色なしモード
+
 # ヘルプ
 npx musubix --help
 npx musubix help <command>
@@ -482,6 +487,6 @@ npx musubix learn best-practices --format markdown
 ---
 
 **Agent**: GitHub Copilot / Claude
-**Last Updated**: 2025-01-05
-**Version**: 1.4.1
+**Last Updated**: 2026-01-06
+**Version**: 1.5.0
 **Repository**: https://github.com/nahisaho/MUSUBIX

package/README.ja.md

@@ -6,11 +6,11 @@
 [![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
 [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
 [![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
-[![Tests](https://img.shields.io/badge/tests-775%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
+[![Tests](https://img.shields.io/badge/tests-1208%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
 
 > MUSUBI × YATA 統合による次世代AIコーディングシステム
 >
-> **v1.4.1** - 正誤性検証＆OWL制約チェック
+> **v1.6.0** - REPLテスト実装＆CLI統合
 
 ## 概要
 
@@ -30,6 +30,8 @@ MUSUBIXは、**ニューラル（LLM）** と **シンボリック（知識グ
 - 📚 **自己学習システム** - フィードバック収集とパターン抽出による適応的改善
 - 🏗️ **C4コード生成** - C4設計ドキュメントからTypeScriptスケルトン生成
 - ⚙️ **品質ゲート** - フェーズ移行前の自動品質検証
+- 🔮 **高度推論** - OWL 2 RL推論とDatalog評価 *(v1.4.5)*
+- 🖥️ **対話的REPL** - コマンド補完、履歴管理、セッション変数 *(v1.6.0)*
 
 ## アーキテクチャ
 
@@ -59,7 +61,7 @@ flowchart TB
 
 | パス | 説明 |
 |------|------|
-| `packages/core/` | コアライブラリ（224モジュール） |
+| `packages/core/` | コアライブラリ（249モジュール） |
 | `packages/core/auth/` | 認証・認可 |
 | `packages/core/cli/` | CLIインターフェース |
 | `packages/core/codegen/` | コード生成・解析 |
@@ -73,7 +75,7 @@ flowchart TB
 | `packages/core/types/` | 型定義 |
 | `packages/core/utils/` | ユーティリティ |
 | `packages/core/validators/` | EARS検証 |
-| `packages/mcp-server/` | MCPサーバー（16 tools, 3 prompts） |
+| `packages/mcp-server/` | MCPサーバー（19 tools, 3 prompts） |
 | `packages/yata-client/` | YATA クライアント |
 | `packages/pattern-mcp/` | **パターン学習（NEW!）** |
 | `packages/ontology-mcp/` | **オントロジーエンジン（NEW!）** |
@@ -233,6 +235,29 @@ Wake-Sleepアルゴリズムに基づく継続的学習システム:
 - `ontology_query` - オントロジーグラフへのクエリ
 - `ontology_infer` - オントロジーによる推論実行
 
+## 高度推論（v1.4.5）
+
+OWL 2 RLプロファイル推論とDatalog評価エンジン:
+
+### 推論コンポーネント
+- **OWL2RLReasoner** - OWL 2 RLプロファイル準拠推論（20+ビルトインルール）
+- **DatalogEngine** - ストラティファイドDatalog評価（否定サポート）
+- **InferenceExplainer** - 人間可読な推論説明生成
+- **ProgressReporter** - リアルタイム進捗フィードバック（500ms間隔）
+
+### OWL 2 RLビルトインルール
+| カテゴリ | ルール | 説明 |
+|----------|-------|------|
+| Class Axioms | cax-sco, cax-eqc | サブクラス、同値クラス推論 |
+| Property | prp-dom, prp-rng | ドメイン、レンジ推論 |
+| Property Characteristics | prp-symp, prp-trp, prp-inv | 対称、推移、逆プロパティ |
+| Equality | eq-ref, eq-sym, eq-trans | sameAs推論 |
+
+### 説明フォーマット
+- `text` - プレーンテキスト説明
+- `markdown` - Markdown形式
+- `html` - HTML形式（エスケープ対応）
+
 ## 憲法（9条）
 
 MUSUBIXは以下の9条の憲法に準拠しています：
@@ -262,5 +287,5 @@ nahisaho
 ---
 
 **文書ID**: README  
-**バージョン**: 1.3.0  
+**バージョン**: 1.4.5  
 **最終更新**: 2026-01-05

package/README.md

@@ -7,11 +7,11 @@
 [![Node.js Version](https://img.shields.io/badge/node-%3E%3D20.0.0-brightgreen)](https://nodejs.org/)
 [![License](https://img.shields.io/badge/license-MIT-blue)](LICENSE)
 [![TypeScript](https://img.shields.io/badge/TypeScript-5.3-blue)](https://www.typescriptlang.org/)
-[![Tests](https://img.shields.io/badge/tests-775%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
+[![Tests](https://img.shields.io/badge/tests-1208%20passing-brightgreen)](https://github.com/nahisaho/MUSUBIX)
 
 > Next-generation AI Coding System powered by MUSUBI × YATA Integration
 >
-> **v1.4.1** - Consistency Validation & OWL Constraint Checking
+> **v1.6.0** - REPL Test Implementation & CLI Enhancement
 
 **[日本語版 README](README.ja.md)**
 
@@ -33,6 +33,8 @@ MUSUBIX is an innovative AI coding system that integrates **Neural (LLM)** and *
 - 📚 **Self-Learning System** - Adaptive improvement through feedback collection and pattern extraction
 - 🏗️ **C4 Code Generation** - Generate TypeScript skeleton from C4 design documents
 - ⚙️ **Quality Gates** - Automated quality validation before phase transitions
+- 🔮 **Advanced Inference** - OWL 2 RL reasoning and Datalog evaluation *(v1.4.5)*
+- 🖥️ **Interactive REPL** - Command completion, history, session variables *(v1.6.0)*
 
 ## Architecture
 
@@ -62,7 +64,7 @@ flowchart TB
 
 | Path | Description |
 |------|-------------|
-| `packages/core/` | Core library (224 modules) |
+| `packages/core/` | Core library (249 modules) |
 | `packages/core/auth/` | Authentication & Authorization |
 | `packages/core/cli/` | CLI Interface |
 | `packages/core/codegen/` | Code Generation & Analysis |
@@ -76,7 +78,7 @@ flowchart TB
 | `packages/core/types/` | Type Definitions |
 | `packages/core/utils/` | Utilities |
 | `packages/core/validators/` | EARS Validation |
-| `packages/mcp-server/` | MCP Server (16 tools, 3 prompts) |
+| `packages/mcp-server/` | MCP Server (19 tools, 3 prompts) |
 | `packages/yata-client/` | YATA Client |
 | `packages/pattern-mcp/` | **Pattern Learning (NEW!)** |
 | `packages/ontology-mcp/` | **Ontology Engine (NEW!)** |
@@ -236,6 +238,29 @@ Continuous learning system based on the Wake-Sleep algorithm:
 - `ontology_query` - Query ontology graph
 - `ontology_infer` - Execute ontology-based inference
 
+## Advanced Inference (v1.4.5)
+
+OWL 2 RL profile reasoning and Datalog evaluation engine:
+
+### Inference Components
+- **OWL2RLReasoner** - OWL 2 RL profile compliant inference (20+ built-in rules)
+- **DatalogEngine** - Stratified Datalog evaluation with negation support
+- **InferenceExplainer** - Human-readable inference explanation generator
+- **ProgressReporter** - Real-time progress feedback (500ms interval)
+
+### OWL 2 RL Built-in Rules
+| Category | Rules | Description |
+|----------|-------|-------------|
+| Class Axioms | cax-sco, cax-eqc | Subclass, Equivalent class inference |
+| Property | prp-dom, prp-rng | Domain, Range inference |
+| Property Characteristics | prp-symp, prp-trp, prp-inv | Symmetric, Transitive, Inverse |
+| Equality | eq-ref, eq-sym, eq-trans | sameAs inference |
+
+### Explanation Formats
+- `text` - Plain text explanation
+- `markdown` - Markdown format
+- `html` - HTML format with escaping
+
 ## Constitutional Articles (9 Articles)
 
 MUSUBIX adheres to the following 9 constitutional articles:
@@ -265,5 +290,5 @@ See [CHANGELOG.md](CHANGELOG.md)
 ---
 
 **Document ID**: README  
-**Version**: 1.3.0  
+**Version**: 1.4.5  
 **Last Updated**: 2026-01-05

package/docs/API-REFERENCE.md

@@ -12,6 +12,8 @@
   - [Design](#design)
   - [Codegen](#codegen)
   - [Symbolic](#symbolic)
+  - [Inference](#inference) *(v1.4.5)*
+  - [REPL](#repl) *(v1.5.0)*
   - [Validation](#validation)
   - [Utils](#utils)
 - [MCP Server](#mcp-server)
@@ -291,6 +293,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 +552,135 @@ 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) |
+
+---
+
 ### Utils
 
 #### I18nManager
@@ -754,6 +978,6 @@ MIT License - see [LICENSE](./LICENSE) for details.
 
 ---
 
-**Version:** 1.3.0  
+**Version:** 1.4.5  
 **Generated:** 2026-01-05  
 **MUSUBIX Core Package**

package/docs/INSTALL-GUIDE.ja.md

@@ -1,8 +1,8 @@
 # MUSUBIX インストールガイド
 
 **文書ID**: INSTALL-GUIDE  
-**バージョン**: 1.4.1  
-**最終更新**: 2026-01-05
+**バージョン**: 1.6.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.6.0  
+**Last Updated**: 2026-01-06
 
 ---
 

package/docs/ROADMAP-v1.5.md

@@ -1,98 +1,102 @@
-# MUSUBIX v1.5.0 Roadmap
+# MUSUBIX v1.5.0 - v1.6.0 Roadmap
 
-## Release Target: 2026-Q1
+## ✅ v1.5.0 Released: 2026-01-05
+## ✅ v1.6.0 Released: 2026-01-06
 
 ## 🎯 Major Features
 
 ### 1. Real-time Pattern Learning (REQ-LEARN-010)
-**Priority: P0**
+**Priority: P0** - ✅ Implemented in v1.5.0
 
 現在のバッチ学習からリアルタイム学習への進化。
 
-| 機能 | 説明 |
-|------|------|
-| Stream Processing | コード変更のストリーム処理 |
-| Incremental Learning | 差分学習による効率化 |
-| Online Feedback | リアルタイムフィードバック反映 |
+| 機能 | 説明 | 状態 |
+|------|------|------|
+| Stream Processing | コード変更のストリーム処理 | ✅ |
+| Incremental Learning | 差分学習による効率化 | ✅ |
+| Online Feedback | リアルタイムフィードバック反映 | ✅ |
 
 ### 2. Pattern Sharing (REQ-SHARE-001)
-**Priority: P1**
+**Priority: P1** - ✅ Implemented in v1.5.0
 
 チーム間でパターンを共有する機能。
 
-| 機能 | 説明 |
-|------|------|
-| Pattern Export/Import | 標準フォーマットでのエクスポート |
-| Pattern Repository | 共有リポジトリ連携 |
-| Conflict Resolution | パターン競合の解決 |
+| 機能 | 説明 | 状態 |
+|------|------|------|
+| Pattern Export/Import | 標準フォーマットでのエクスポート | ✅ |
+| Pattern Repository | 共有リポジトリ連携 | ✅ |
+| Conflict Resolution | パターン競合の解決 | ✅ |
 
 ### 3. Advanced Inference (REQ-ONTO-010)
-**Priority: P1**
+**Priority: P1** - ✅ Implemented in v1.4.5
 
 オントロジー推論の高度化。
 
-| 機能 | 説明 |
-|------|------|
-| OWL 2 RL Support | OWL 2 RLプロファイル対応 |
-| Datalog Integration | Datalogルールエンジン統合 |
-| Explanation Generation | 推論過程の説明生成 |
+| 機能 | 説明 | 状態 |
+|------|------|------|
+| OWL 2 RL Support | OWL 2 RLプロファイル対応 | ✅ |
+| Datalog Integration | Datalogルールエンジン統合 | ✅ |
+| Explanation Generation | 推論過程の説明生成 | ✅ |
 
 ### 4. Interactive CLI Mode (REQ-CLI-010)
-**Priority: P2**
+**Priority: P2** - ✅ Implemented in v1.5.0, Enhanced in v1.6.0
 
 対話的なCLI操作モード。
 
-| 機能 | 説明 |
-|------|------|
-| REPL Mode | 対話的シェル |
-| Auto-completion | コマンド補完 |
-| History | コマンド履歴 |
+| 機能 | 説明 | 状態 |
+|------|------|------|
+| REPL Mode | 対話的シェル | ✅ |
+| Auto-completion | コマンド補完 | ✅ |
+| History | コマンド履歴 | ✅ |
+| CLI Integration | REPLからCLI実行 | ✅ v1.6.0 |
+| Session Variables | セッション変数 | ✅ v1.6.0 |
 
 ### 5. Performance Optimization (REQ-PERF-001)
-**Priority: P2**
+**Priority: P2** - ✅ Implemented in v1.5.1
 
 大規模プロジェクトでのパフォーマンス改善。
 
-| 機能 | 説明 |
-|------|------|
-| Lazy Loading | 遅延読み込み |
-| Cache Layer | キャッシュ層追加 |
-| Parallel Processing | 並列処理強化 |
+| 機能 | 説明 | 状態 |
+|------|------|------|
+| Lazy Loading | 遅延読み込み | ✅ |
+| Cache Layer | キャッシュ層追加 | ✅ |
+| Parallel Processing | 並列処理強化 | ✅ |
 
 ---
 
-## 📊 Current Status (v1.4.1)
+## 📊 Current Status (v1.6.0)
 
-| メトリクス | 値 |
-|-----------|-----|
-| テスト数 | 815 |
-| パッケージ数 | 8 |
-| MCPツール | 19 |
-| カバレッジ (lines) | 25% |
+| メトリクス | v1.4.1 | v1.6.0 |
+|-----------|--------|--------|
+| テスト数 | 815 | **1208** |
+| パッケージ数 | 8 | 8 |
+| MCPツール | 19 | 19 |
+| REPLテスト | 22 | **105** |
 
 ---
 
-## 📅 Implementation Schedule
+## 📅 Implementation Schedule - ✅ COMPLETED
 
-### Phase 1: Foundation (Week 1-2)
-- [ ] Real-time Learning基盤設計
-- [ ] Pattern Sharing API設計
-- [ ] テストカバレッジ向上 (25% → 40%)
+### Phase 1: Foundation (Week 1-2) ✅
+- [x] Real-time Learning基盤設計
+- [x] Pattern Sharing API設計
+- [x] テストカバレッジ向上
 
-### Phase 2: Core Features (Week 3-4)
-- [ ] Real-time Pattern Learning実装
-- [ ] Pattern Export/Import拡張
-- [ ] OWL 2 RL基本サポート
+### Phase 2: Core Features (Week 3-4) ✅
+- [x] Real-time Pattern Learning実装
+- [x] Pattern Export/Import拡張
+- [x] OWL 2 RL基本サポート
 
-### Phase 3: Integration (Week 5-6)
-- [ ] Pattern Repository連携
-- [ ] Interactive CLI Mode
-- [ ] Performance Optimization
+### Phase 3: Integration (Week 5-6) ✅
+- [x] Pattern Repository連携
+- [x] Interactive CLI Mode
+- [x] Performance Optimization
 
-### Phase 4: Stabilization (Week 7-8)
-- [ ] E2Eテスト追加
-- [ ] ドキュメント更新
-- [ ] リリース準備
+### Phase 4: Stabilization (Week 7-8) ✅
+- [x] E2Eテスト追加
+- [x] REPL完全テスト実装 (v1.6.0)
+- [x] ドキュメント更新
+- [x] リリース準備
 
 ---
 

package/docs/USER-GUIDE.ja.md

@@ -17,10 +17,12 @@
 11. [C4コード生成](#c4コード生成)
 12. [シンボリック推論](#シンボリック推論) *(v1.2.0)*
 13. [正誤性検証](#正誤性検証) *(v1.4.1)*
-14. [MCPサーバー連携](#mcpサーバー連携)
-15. [YATA知識グラフ](#yata知識グラフ)
-15. [ベストプラクティス](#ベストプラクティス)
-16. [トラブルシューティング](#トラブルシューティング)
+14. [高度な推論](#高度な推論) *(v1.4.5)*
+15. [対話的REPLモード](#対話的replモード) *(v1.5.0)*
+16. [MCPサーバー連携](#mcpサーバー連携)
+17. [YATA知識グラフ](#yata知識グラフ)
+18. [ベストプラクティス](#ベストプラクティス)
+19. [トラブルシューティング](#トラブルシューティング)
 
 ---
 
@@ -840,6 +842,237 @@ const semanticDuplicates = validator.findSemanticDuplicates(allTriples);
 
 ---
 
+## 高度な推論
+
+*(v1.4.5 新機能)*
+
+### 概要
+
+高度な推論は、知識グラフにOWL 2 RL推論とDatalog評価機能を提供します。暗黙的な事実の実体化、ルールベースの推論、人間が理解しやすい説明の生成をサポートします。
+
+### 主要コンポーネント
+
+| コンポーネント | 説明 |
+|--------------|------|
+| `OWL2RLReasoner` | 20以上のビルトインルールを持つOWL 2 RL推論エンジン |
+| `DatalogEngine` | 階層化評価対応のDatalogエンジン |
+| `InferenceExplainer` | 自然言語での説明生成 |
+| `ProgressReporter` | リアルタイム推論進捗追跡 |
+
+### OWL 2 RL 推論
+
+```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(`反復 ${progress.iteration}: ${progress.newTriples} 新規トリプル`);
+  }
+});
+
+console.log(`${result.inferredCount} 個の新しい事実を推論`);
+console.log(`適用ルール: ${result.rulesApplied.join(', ')}`);
+```
+
+### OWL 2 RL ルール
+
+| ルールID | 名称 | 説明 |
+|---------|------|------|
+| `prp-dom` | Property Domain | プロパティのドメインから型を推論 |
+| `prp-rng` | Property Range | プロパティのレンジから型を推論 |
+| `prp-inv1/2` | Inverse Properties | 逆関係を推論 |
+| `prp-trp` | Transitive Properties | 推移的プロパティを連鎖 |
+| `prp-symp` | Symmetric Properties | 対称関係を推論 |
+| `cax-sco` | SubClassOf | クラスメンバーシップを伝播 |
+| `scm-spo` | SubPropertyOf | プロパティの包摂関係 |
+| `eq-rep-s/p/o` | SameAs Replacement | 同一個体の置換 |
+
+### Datalog 評価
+
+```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'] }
+    ]
+  },
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?z'] },
+    body: [
+      { predicate: 'parent', args: ['?x', '?y'] },
+      { predicate: 'ancestor', args: ['?y', '?z'] }
+    ]
+  }
+];
+
+// ルールを評価
+const result = await engine.evaluate(rules, facts, {
+  onProgress: (progress) => {
+    console.log(`階層 ${progress.stratum}: ${progress.rule} を評価中`);
+  }
+});
+
+console.log(`${result.derivedFacts.length} 個の新しい事実を導出`);
+```
+
+### 推論説明
+
+```typescript
+import { InferenceExplainer, ExplanationFormat } from '@nahisaho/musubix-ontology-mcp';
+
+const explainer = new InferenceExplainer(reasoner.getProvenanceLog());
+
+// 特定のトリプルの説明を取得
+const explanation = explainer.explain(
+  'http://example.org/Animal',
+  'rdf:type',
+  'owl:Class',
+  ExplanationFormat.TEXT
+);
+
+console.log(explanation);
+// 出力: "Animal は owl:Class として宣言されているため Class です（ルール cax-sco）"
+
+// HTML形式の説明を生成
+const htmlExplanation = explainer.explain(
+  subject, predicate, object,
+  ExplanationFormat.HTML
+);
+```
+
+### 進捗レポート
+
+```typescript
+import { createProgressReporter } from '@nahisaho/musubix-ontology-mcp';
+
+const reporter = createProgressReporter({
+  onProgress: (info) => {
+    console.log(`フェーズ: ${info.phase}`);
+    console.log(`反復: ${info.iteration}/${info.maxIterations}`);
+    console.log(`トリプル数: ${info.totalTriples}`);
+    console.log(`新規推論: ${info.newInferences}`);
+  },
+  throttleMs: 500  // 500ms間隔でレポート
+});
+
+await reasoner.reason(store, { progressReporter: reporter });
+```
+
+---
+
+## 対話的REPLモード
+
+*(v1.5.0 新規、v1.6.0 強化)*
+
+MUSUBIXは、リアルタイムでコマンドを実行・探索できる対話的REPLシェルを提供します。
+
+### REPLの起動
+
+```bash
+# 対話的REPLを起動
+musubix repl
+
+# カスタム履歴ファイルを指定
+musubix repl --history ~/.musubix-repl-history
+
+# カラー表示なし
+musubix repl --no-color
+```
+
+### REPL機能
+
+| 機能 | 説明 |
+|------|------|
+| コマンド補完 | TABキーでコマンド・オプションを補完 |
+| 履歴ナビゲーション | 上下矢印、履歴検索 |
+| セッション変数 | `$name=value` で設定、`$name` で参照 |
+| 出力フォーマット | JSON、YAML、テーブル自動整形 |
+| CLI統合 | CLIコマンドをそのまま実行可能 |
+
+### 基本的な使い方
+
+```bash
+musubix> help                          # すべてのコマンドを表示
+musubix> help requirements             # コマンド詳細を表示
+musubix> requirements analyze input.md # CLIコマンドを実行
+musubix> $project=my-app               # セッション変数を設定
+musubix> design generate $project      # 変数をコマンドで使用
+musubix> history                       # コマンド履歴を表示
+musubix> exit                          # REPLを終了
+```
+
+### セッション変数
+
+```bash
+# 変数の設定
+musubix> $req=REQ-001
+musubix> $file=./docs/requirements.md
+
+# コマンドで使用
+musubix> requirements validate $file
+musubix> trace impact $req
+
+# 特殊変数: $_ は前回の実行結果を保持
+musubix> requirements analyze input.md
+musubix> $_                           # 前回の結果にアクセス
+```
+
+### 出力フォーマット
+
+```bash
+# 自動検出（デフォルト）
+musubix> learn status
+
+# JSON出力を強制
+musubix> set format json
+musubix> learn patterns
+
+# YAML出力を強制
+musubix> set format yaml
+
+# テーブル出力を強制
+musubix> set format table
+```
+
+### 履歴管理
+
+```bash
+# 最近のコマンドを表示
+musubix> history
+
+# 履歴を検索（Ctrl+Rスタイル）
+musubix> history search requirements
+
+# 履歴をクリア
+musubix> history clear
+```
+
+### REPLコンポーネント
+
+| コンポーネント | 役割 |
+|---------------|------|
+| `ReplEngine` | REPLメインコントローラー |
+| `CommandCompleter` | TAB補完プロバイダー |
+| `HistoryManager` | コマンド履歴の永続化 |
+| `SessionState` | 変数ストレージ |
+| `OutputFormatter` | JSON/YAML/テーブル出力 |
+| `PromptRenderer` | 動的プロンプト表示 |
+
+---
+
 ## MCPサーバー連携
 
 ### MCPサーバーの起動
@@ -1152,6 +1385,6 @@ const client = createYATAClient({
 
 ---
 
-**バージョン**: 1.3.0  
+**バージョン**: 1.4.5  
 **最終更新**: 2026-01-05  
 **MUSUBIX Project**

package/docs/USER-GUIDE.md

@@ -15,10 +15,12 @@
 7. [C4 Code Generation](#c4-code-generation)
 8. [Symbolic Reasoning](#symbolic-reasoning) *(v1.2.0)*
 9. [Consistency Validation](#consistency-validation) *(v1.4.1)*
-10. [MCP Server Integration](#mcp-server-integration)
-11. [YATA Integration](#yata-integration)
-12. [Best Practices](#best-practices)
-13. [Troubleshooting](#troubleshooting)
+10. [Advanced Inference](#advanced-inference) *(v1.4.5)*
+11. [Interactive REPL Mode](#interactive-repl-mode) *(v1.5.0)*
+12. [MCP Server Integration](#mcp-server-integration)
+13. [YATA Integration](#yata-integration)
+14. [Best Practices](#best-practices)
+15. [Troubleshooting](#troubleshooting)
 
 ---
 
@@ -513,6 +515,106 @@ export function createAuthService(): IAuthService {
 
 ---
 
+## Interactive REPL Mode
+
+*(New in v1.5.0, Enhanced in v1.6.0)*
+
+MUSUBIX provides an interactive REPL (Read-Eval-Print-Loop) shell for real-time command execution and exploration.
+
+### Starting REPL
+
+```bash
+# Start interactive REPL
+musubix repl
+
+# With custom history file
+musubix repl --history ~/.musubix-repl-history
+
+# Without colors
+musubix repl --no-color
+```
+
+### REPL Features
+
+| Feature | Description |
+|---------|-------------|
+| Command completion | TAB completion for commands, options |
+| History navigation | UP/DOWN arrows, history search |
+| Session variables | `$name=value` to set, `$name` to reference |
+| Output formatting | JSON, YAML, Table auto-formatting |
+| CLI integration | Execute any CLI command directly |
+
+### Basic Usage
+
+```bash
+musubix> help                          # Show all commands
+musubix> help requirements             # Show command details
+musubix> requirements analyze input.md # Execute CLI command
+musubix> $project=my-app               # Set session variable
+musubix> design generate $project      # Use variable in command
+musubix> history                       # Show command history
+musubix> exit                          # Exit REPL
+```
+
+### Session Variables
+
+```bash
+# Set variables
+musubix> $req=REQ-001
+musubix> $file=./docs/requirements.md
+
+# Use in commands
+musubix> requirements validate $file
+musubix> trace impact $req
+
+# Special variable: $_ holds last result
+musubix> requirements analyze input.md
+musubix> $_                           # Access last result
+```
+
+### Output Formats
+
+```bash
+# Auto-detect best format (default)
+musubix> learn status
+
+# Force JSON output
+musubix> set format json
+musubix> learn patterns
+
+# Force YAML output
+musubix> set format yaml
+
+# Force table output
+musubix> set format table
+```
+
+### History Management
+
+```bash
+# Show recent commands
+musubix> history
+
+# Search history (Ctrl+R style)
+musubix> history search requirements
+
+# Clear history
+musubix> history clear
+```
+
+### REPL Components
+
+| Component | Purpose |
+|-----------|---------|
+| `ReplEngine` | Main REPL controller |
+| `CommandCompleter` | TAB completion provider |
+| `HistoryManager` | Command history persistence |
+| `SessionState` | Variable storage |
+| `OutputFormatter` | JSON/YAML/Table output |
+| `PromptRenderer` | Dynamic prompt display |
+
+---
+
 ## MCP Server Integration
 
 ### CLI Startup
@@ -800,6 +902,137 @@ const semanticDuplicates = validator.findSemanticDuplicates(allTriples);
 
 ---
 
+## Advanced Inference
+
+*(v1.4.5 New Feature)*
+
+### Overview
+
+Advanced Inference provides OWL 2 RL reasoning and Datalog evaluation capabilities for the knowledge graph. It supports materialization of implicit facts, rule-based inference, and human-readable explanations.
+
+### Key Components
+
+| Component | Description |
+|-----------|-------------|
+| `OWL2RLReasoner` | OWL 2 RL profile reasoning with 20+ built-in rules |
+| `DatalogEngine` | Stratified Datalog evaluation engine |
+| `InferenceExplainer` | Natural language explanation generator |
+| `ProgressReporter` | Real-time inference progress tracking |
+
+### OWL 2 RL Reasoning
+
+```typescript
+import { OWL2RLReasoner } from '@nahisaho/musubix-ontology-mcp';
+
+const reasoner = new OWL2RLReasoner({
+  maxIterations: 100,
+  enablePropertyChains: true,
+  enableInverseProperties: true
+});
+
+// Run reasoning on store
+const result = await reasoner.reason(store, {
+  onProgress: (progress) => {
+    console.log(`Iteration ${progress.iteration}: ${progress.newTriples} new triples`);
+  }
+});
+
+console.log(`Inferred ${result.inferredCount} new facts`);
+console.log(`Rules applied: ${result.rulesApplied.join(', ')}`);
+```
+
+### OWL 2 RL Rules
+
+| Rule ID | Name | Description |
+|---------|------|-------------|
+| `prp-dom` | Property Domain | Infer type from property domain |
+| `prp-rng` | Property Range | Infer type from property range |
+| `prp-inv1/2` | Inverse Properties | Infer inverse relationships |
+| `prp-trp` | Transitive Properties | Chain transitive properties |
+| `prp-symp` | Symmetric Properties | Infer symmetric relationships |
+| `cax-sco` | SubClassOf | Propagate class membership |
+| `scm-spo` | SubPropertyOf | Property subsumption |
+| `eq-rep-s/p/o` | SameAs Replacement | Substitute equal individuals |
+
+### Datalog Evaluation
+
+```typescript
+import { DatalogEngine } from '@nahisaho/musubix-ontology-mcp';
+
+const engine = new DatalogEngine();
+
+// Define rules
+const rules = [
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?y'] },
+    body: [
+      { predicate: 'parent', args: ['?x', '?y'] }
+    ]
+  },
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?z'] },
+    body: [
+      { predicate: 'parent', args: ['?x', '?y'] },
+      { predicate: 'ancestor', args: ['?y', '?z'] }
+    ]
+  }
+];
+
+// Evaluate rules
+const result = await engine.evaluate(rules, facts, {
+  onProgress: (progress) => {
+    console.log(`Stratum ${progress.stratum}: evaluating ${progress.rule}`);
+  }
+});
+
+console.log(`Derived ${result.derivedFacts.length} new facts`);
+```
+
+### Inference Explanation
+
+```typescript
+import { InferenceExplainer, ExplanationFormat } from '@nahisaho/musubix-ontology-mcp';
+
+const explainer = new InferenceExplainer(reasoner.getProvenanceLog());
+
+// Get explanation for a specific triple
+const explanation = explainer.explain(
+  'http://example.org/Animal',
+  'rdf:type',
+  'owl:Class',
+  ExplanationFormat.TEXT
+);
+
+console.log(explanation);
+// Output: "Animal is a Class because it is declared as owl:Class via rule cax-sco"
+
+// Generate HTML explanation
+const htmlExplanation = explainer.explain(
+  subject, predicate, object,
+  ExplanationFormat.HTML
+);
+```
+
+### Progress Reporting
+
+```typescript
+import { createProgressReporter } from '@nahisaho/musubix-ontology-mcp';
+
+const reporter = createProgressReporter({
+  onProgress: (info) => {
+    console.log(`Phase: ${info.phase}`);
+    console.log(`Iteration: ${info.iteration}/${info.maxIterations}`);
+    console.log(`Triples: ${info.totalTriples}`);
+    console.log(`New inferences: ${info.newInferences}`);
+  },
+  throttleMs: 500  // Report every 500ms
+});
+
+await reasoner.reason(store, { progressReporter: reporter });
+```
+
+---
+
 ## YATA Integration
 
 ### What is YATA?
@@ -992,6 +1225,6 @@ const client = createYATAClient({
 
 ---
 
-**Version**: 1.3.0  
+**Version**: 1.4.5  
 **Last Updated**: 2026-01-05  
 **MUSUBIX Project**

package/docs/evolution-from-musubi-to-musubix.md

@@ -7,7 +7,7 @@ tags:
   - LLM
   - ニューロシンボリック
 private: false
-updated_at: '2026-01-05'
+updated_at: '2026-01-06'
 id: null
 organization_url_name: null
 slide: false
@@ -21,7 +21,7 @@ AIコーディング支援ツールは急速に進化しています。本記事
 
 # TL;DR
 
-> **最新バージョン**: v1.4.1 | **62ドメイン対応** | **243コンポーネント** | **775テスト** | **17ベストプラクティス**
+> **最新バージョン**: v1.6.0 | **62ドメイン対応** | **249コンポーネント** | **1208テスト** | **17ベストプラクティス**
 
 | 項目 | MUSUBI | MUSUBIX |
 |------|--------|---------|
@@ -34,6 +34,7 @@ AIコーディング支援ツールは急速に進化しています。本記事
 | **自己学習** | なし | フィードバックベースの適応学習 |
 | **知識共有** | なし | **プロジェクト間ポータビリティ**（v1.4.0） |
 | **正誤性検証** | なし | **OWL制約チェック**（v1.4.1） |
+| **対話的CLI** | なし | **Interactive REPL**（v1.6.0） |
 
 # 1. MUSUBIとは？
 
@@ -1253,6 +1254,99 @@ if (!consistency.consistent) {
   └──────────────┘
 ```
 
+## 4.10 高度推論（v1.4.5）
+
+v1.4.5では、**OWL 2 RLプロファイル推論エンジン**と**Datalog評価エンジン**を追加しました。これにより、知識グラフ上での自動推論と、人間可読な説明生成が可能になりました。
+
+### なぜ高度推論が必要か？
+
+従来の課題:
+- 明示的に登録された事実しか利用できない
+- 暗黙的な関係性を導出できない
+- 推論結果の根拠が不明確
+
+v1.4.5での解決:
+- **OWL2RLReasoner**: 20以上のビルトインルールによる自動推論
+- **DatalogEngine**: ストラティファイド評価による柔軟なルール適用
+- **InferenceExplainer**: 推論チェーンの自然言語説明
+
+### OWL 2 RL推論
+
+OWL 2 RLプロファイルは、OWL 2のサブセットであり、ルールベースの推論に適しています。
+
+| カテゴリ | ルール | 説明 |
+|----------|-------|------|
+| Class Axioms | `cax-sco`, `cax-eqc` | サブクラス、同値クラス推論 |
+| Property | `prp-dom`, `prp-rng` | ドメイン、レンジ推論 |
+| Property Characteristics | `prp-symp`, `prp-trp`, `prp-inv` | 対称、推移、逆プロパティ |
+| Equality | `eq-ref`, `eq-sym`, `eq-trans` | sameAs推論 |
+
+### 使用例
+
+```typescript
+import { OWL2RLReasoner, DatalogEngine, InferenceExplainer } from '@nahisaho/musubix-ontology-mcp';
+
+// OWL 2 RL推論
+const reasoner = new OWL2RLReasoner({
+  maxIterations: 100,
+  enablePropertyChains: true
+});
+
+const result = await reasoner.reason(store, {
+  onProgress: (p) => console.log(`反復 ${p.iteration}: ${p.newTriples} 新規`)
+});
+
+console.log(`${result.inferredCount} 個の事実を推論`);
+
+// Datalog評価
+const engine = new DatalogEngine();
+const rules = [
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?y'] },
+    body: [{ predicate: 'parent', args: ['?x', '?y'] }]
+  },
+  {
+    head: { predicate: 'ancestor', args: ['?x', '?z'] },
+    body: [
+      { predicate: 'parent', args: ['?x', '?y'] },
+      { predicate: 'ancestor', args: ['?y', '?z'] }
+    ]
+  }
+];
+const derived = await engine.evaluate(rules, facts);
+
+// 推論説明
+const explainer = new InferenceExplainer(reasoner.getProvenanceLog());
+const explanation = explainer.explain(subject, predicate, object, 'text');
+console.log(explanation);
+// → "Animal は owl:Class として宣言されているため Class です（ルール cax-sco）"
+```
+
+### 推論フロー
+
+```
+知識グラフ
+    │
+    ▼
+┌─────────────────┐
+│ OWL2RLReasoner  │  ← 20+ ビルトインルール
+└────────┬────────┘
+         │
+         ▼
+┌─────────────────┐
+│ 固定点到達まで   │  ← 反復推論
+│ 新規推論を生成   │
+└────────┬────────┘
+         │
+         ▼
+┌─────────────────┐
+│ InferenceExplainer │ ← 説明生成
+└────────┬────────┘
+         │
+         ▼
+人間可読な推論根拠
+```
+
 # 5. 9つの憲法条項
 
 MUSUBIXは、MUSUBIから継承した **9つの憲法条項（Constitutional Articles）** を遵守します。これらは開発プロセス全体を統治する不変の原則であり、AIコーディングエージェントが従うべきガバナンスフレームワークです。
@@ -1575,7 +1669,7 @@ claude mcp list
 }
 ```
 
-### 利用可能なMCPツール（16ツール）
+### 利用可能なMCPツール（19ツール）
 
 #### SDD基本ツール（9ツール）
 
@@ -1603,6 +1697,14 @@ claude mcp list
 | `ontology_query` | オントロジーグラフへのクエリ |
 | `ontology_infer` | オントロジーによる推論実行 |
 
+#### オントロジー検証ツール（3ツール）- v1.4.1 NEW!
+
+| ツール名 | 説明 |
+|---------|------|
+| `consistency_validate` | 知識グラフの整合性検証 |
+| `validate_triple` | 単一トリプルの事前検証 |
+| `check_circular` | 循環依存の検出 |
+
 ### メリット
 
 - ✅ **高度な機能**: 知識グラフ連携、矛盾検出
@@ -1649,4 +1751,4 @@ flowchart TD
 **著者**: nahisaho  
 **公開日**: 2026-01-02  
 **更新日**: 2026-01-05  
-**バージョン**: v1.3.0
+**バージョン**: v1.4.5

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "musubix",
-  "version": "1.4.3",
+  "version": "1.6.0",
   "description": "Neuro-Symbolic AI Coding System - MUSUBI × YATA Integration",
   "type": "module",
   "workspaces": [