本体 CI / KGCL

live localhost:5000

ROBOT 操作 (ROBOT operations)

每个按钮调用 ROBOT CLI 一条命令;输出与返回码实时显示在下方。
合并 (merge):把 BFO + CCO + 我们的军事扩展拼成一份完整本体; 推理 (reason):用 ELK 推出隐式继承事实; 质检 (report):检查孤儿类、缺标签、重复等质量问题。

command:
return code:

    

构建产物 (Build artifacts) ~/mil-onto/build/

FileSizeModified

最近一次质检报告 (Latest ROBOT report)


    

KGCL 变更脚本(仅预览,KGCL change script)

KGCL(Knowledge Graph Change Language,知识图谱变更语言)把"添加/删除/移动概念"建模为可审计的变更脚本—— 就像"给本体用的 git diff"。 下面是一段示例脚本(暂不执行,仅作为动态本体审计追溯的占位):

create class :NavalAsset
add label NavalAsset 'Naval Asset'@en
move :NavalAsset from owl:Thing to :WeaponPlatform
⏳ 已超出预估时长,但模型仍在推理(复杂文本 / 较大模型属正常),请继续等待