用户手册 · 本体 × 智能体协作 Demo
面向使用者：系统有哪些功能、怎么用、边界在哪。所有命令均经实测验证（v0.3.0 + Unreleased 增量）。
配套阅读：《本体上手指南》（在线阅读）负责零基础教学；本手册负责查功能、查用法。
一、功能地图
| 能力 |
入口 |
章节 |
| OWL 2 RL 推理引擎 |
REST API / CLI / MCP |
02 推理与查询 |
| 业务规则 R1–R4 + 可解释推导链 / 结构化证明 |
/api/reason、explain、MCP |
02 推理与查询 |
| REST API（20+ 端点） |
http://127.0.0.1:8000/docs |
02 推理与查询 |
| CLI 双通道（query.py / ontologyctl） |
scripts/ |
02 推理与查询 / 04 运维 |
| 图谱工作台（三视图 + 在线编辑） |
http://127.0.0.1:8000（前端） |
03 前端与 MCP |
| MCP Server（智能体接入） |
http://127.0.0.1:9000/mcp |
03 前端与 MCP |
| 管线质量门禁（G1–G4 过闸） |
MCP pipeline_gate |
03 前端与 MCP / 06 二次开发 |
| Agent 调用护栏（预算/循环/缓存/审计） |
MCP guard_status + guard_config.json |
03 前端与 MCP / 04 运维 |
| CQ 自动出题与质检（LLM 出题闭环） |
MCP guide_cq_generation / validate_cqs |
03 前端与 MCP / 06 二次开发 |
| 本体管理（热重载 / 编辑 / 回滚 / 备份） |
API / ontologyctl / backup.sh |
04 运维与本体管理 |
| 二次开发（新增领域 / 扩展工具） |
domains/、reasoner/ |
06 二次开发指南 |
二、双服务架构
┌─────────────────────────────────────────────────────────┐
│ api :8000 FastAPI 本体推理服务 │
│ 领域推理 R1–R4 · 通用查询 · 本体管理 · 托管前端图谱工作台 │
├─────────────────────────────────────────────────────────┤
│ mcp :9000 MCP Server（streamable-http / stdio） │
│ 面向智能体：26 个工具（通用 12 + 领域 14），含质量门禁、 │
│ 调用护栏、CQ 出题质检；可经豆包连接器一行配置接入 │
└─────────────────────────────────────────────────────────┘
- 核心对象：本体（默认
agent_task_ontology.owl，智能体任务编排）→ 加载 → OWL 2 RL 推理（物化）→ 查询 / 编辑 / 接入。
- 通用引擎与领域语义分离：领域词汇外置在
domains/ 领域包，换本体不改代码。
- 建模质量闭环：出题（
guide_cq_generation）→ 建模（guide_tbox_draft / validate_tbox_draft）→ 质量门禁过闸（pipeline_gate G1–G4）→ 判卷（validate_cqs）。
三、阅读路径
四、版本与验证说明
- 手册基于 v0.3.0（2026-10-25）实测，并同步 Unreleased 增量（CQ 自动出题器 / Agent 调用护栏 / 管线质量门禁）；端点/命令随版本演进，以仓库 CHANGELOG 与
README.md 为准。
- 实测方式：连接已运行服务（api:8000 / mcp:9000）跑通关键命令；领域推理示例用
--local 内嵌引擎核对（结果与默认本体 HTTP 通道一致）；新增 MCP 工具（pipeline_gate 等）经代码级实测核对输出。