知识工程

翻译 GSA 的 CQ2Onto 指南，介绍如何从能力问题出发，通过语言分析、预设提取和形式化转换，设计本体的类、属性、公理与约束，并开展测试驱动开发。

翻译 GSA 的 BFO 自顶向下本体开发指南，介绍持续体、发生体、依赖关系与可实现实体，并以 AI 网络安全证据系统演示从顶层对齐到领域建模、实例填充与验证的全过程。

翻译 GSA 的本体能力问题指南，介绍五类 Competency Questions、从需求到形式化测试的开发流程，以及 AI 辅助生成、覆盖率评估与常见误区。