附录 · 速查表
A. REST API 全端点
领域推理（默认本体）
| 方法 |
路径 |
参数 |
说明 |
| POST |
/api/reason |
{type: capability_match\|orchestrate\|assign, task, agent?} |
领域推理（R1–R4），附推导链 |
| POST |
/api/classify |
{name, capabilities?, constraints?, risk?} |
新增任务个体并自动分类 |
| POST |
/api/explain |
— |
最近一次推理的推导链（中文） |
| POST |
/api/consistency |
— |
一致性 / 合规冲突全量检查 |
| GET |
/api/ontology |
— |
本体结构（图谱渲染数据） |
通用查询（任意本体）
| 方法 |
路径 |
参数 |
说明 |
| POST |
/api/query |
{sparql} |
SPARQL SELECT，结果 IRI 自动转短名 |
| POST |
/api/individuals |
{class_name} |
指定类（含子类）的个体列表 |
| POST |
/api/classes |
— |
全部类层次（name/label/parent） |
| POST |
/api/types |
{individual} |
个体推理后的全部类型 |
| POST |
/api/property |
{subject, property} |
主体-属性取值列表 |
| POST |
/api/infer |
— |
重新推理，返回三元组/个体统计 |
运维 / 本体管理
| 方法 |
路径 |
参数 |
说明 |
| POST |
/api/ontology/load |
文件 |
加载本体（进入通用模式） |
| POST |
/api/ontology/reload |
— |
热重载（原子替换，失败保留旧状态） |
| GET |
/api/ontology/status |
— |
本体状态（hash/dirty/changelog/counts） |
| GET |
/api/ontology/materialized |
— |
物化后本体 |
| GET |
/api/ontology/source |
— |
源 OWL |
| GET |
/api/ontology/export |
— |
导出 |
| DELETE |
/api/ontology/individual/{name} |
?persist&cascade |
删除个体（cascade 清理反向引用） |
| POST |
/api/ontology/revoke |
{task, agent, persist} |
撤销任务分配 |
| POST |
/api/ontology/import |
{individuals, persist} |
批量导入（事务） |
| GET |
/api/ontology/edit-model |
— |
结构化编辑模型 JSON |
| POST |
/api/ontology/save |
{model, filename, mode: new\|overwrite} |
保存编辑模型并重推理 |
| GET |
/api/ontology/download |
?name= |
下载已保存 OWL（白名单防穿越） |
| GET |
/api/health |
— |
健康检查 |
| GET |
/ |
— |
Demo 页面（图谱工作台） |
B. CLI 命令速查
query.py（推理与查询，HTTP 优先 / --local 回退）
| 命令 |
说明 |
capability_match --task X |
R1/R2 能力匹配（附推导链） |
orchestrate --task X |
复合任务拆解 + 依赖拓扑 + 逐环节匹配 |
assign --task X --agent A |
分配 + R4 合规冲突检测 |
classify --name X [--capabilities --constraints --risk] |
新增任务个体并分类 |
consistency |
全量一致性 / 合规检查 |
explain |
最近一次推导链 |
ontology |
本体结构 |
query-sparql --sparql "…" |
SPARQL SELECT |
individuals --class X |
类的个体 |
classes |
类层次 |
types --individual X |
个体推理类型 |
property --subject X --property P |
属性取值 |
infer |
重新推理统计 |
通道：--http 强制 / --local 强制 / DOUBAO_API_BASE 覆盖地址。
ontologyctl.py（运维）
| 命令 |
说明 |
status |
服务 + 本体 + MCP 一致性 |
reload |
API reload + MCP kill -HUP |
diff |
未提交变更预览 |
commit -m "msg" |
本体变更入 git 并打 tag |
rollback [tag] |
回滚并 reload |
log |
git log + changelog + tags |
其他
| 命令 |
说明 |
bash scripts/backup.sh |
快照备份 → backups/<时间戳>/ |
bash scripts/demo.sh |
一键演示 |
bash scripts/start.sh |
一键启动（macOS/Linux） |
.venv/bin/python -m pytest tests/ -q |
全量测试（29 passed） |
C. MCP 工具清单（26 个：通用 12 + 领域 14）
通用工具（任意本体）
| 工具 |
说明 |
query_sparql(sparql) |
SPARQL SELECT（IRI 转短名） |
individuals(class_name) |
指定类（含子类）的个体列表 |
classes() |
全部类层次 |
types_of(individual) |
个体推理后的全部类型 |
property_values(subject, property_name) |
主体-属性取值列表 |
infer() |
重新推理，三元组/个体统计 |
explain_proof(subject, predicate, object) |
结构化证明导出（asserted/derived/unproven） |
predefined_queries() / run_predefined_query(name, params) |
受控预定义查询（需语义白名单） |
active_facts(property, at?) |
时序事实（validFrom/validTo 半开区间） |
guard_status() |
调用护栏状态（预算/循环/缓存/审计） |
pipeline_gate(ttl, abox?, gates?) |
管线质量门禁 G1–G4 fail-fast 过闸 |
领域工具（默认绑定 agent_task）
| 工具 |
说明 |
capability_match(task) |
能力匹配（R1/R2） |
orchestrate(task) |
任务编排（R3 拓扑） |
assign(task, agent, persist?) |
分配 + R4 合规冲突 |
classify(name, capabilities, constraints, risk_level, persist?) |
新增任务个体并分类 |
consistency() |
全量一致性/合规检查 |
explain() |
最近推导链（"为什么"） |
ontology() |
本体结构 |
status() |
本体状态（与 API 一致性） |
entities() |
实体短名清单 |
guide_tbox_draft(cqs) |
CQ 建模-指南（TBox 生成指令） |
validate_tbox_draft(ttl, cqs?) |
CQ 建模-校验（L1–L5 + verdict） |
validate_shapes() |
SHACL 数据体检（conforms/violations） |
guide_cq_generation(focus?) |
CQ 自动出题-指南（四类题型指令） |
validate_cqs(cqs) |
CQ 自动出题-质检（usable/revise/duplicate） |
D. 常用本体短名
| 类型 |
短名 |
| 任务 |
t_req t_login_dev t_login_review t_login_test t_deploy t_compliance_dev t_feature（复合） t_double_dev（复合） |
| 智能体 |
req_agent dev_agent junior_dev test_agent deploy_agent |
| 能力类 |
RequirementAnalysis Coding CodeReview Testing Deployment |
| 约束类 |
ComplianceRequirement SecurityRequirement |