arXiv · cs.AI· Ralf L\"ammel·· 1 天前
COATER 用外部资源持续审查领域本体
Continuous Ontology Assurance through External Resources -- An Ontology Engineering Method with a Case Study in Software Language Engineering
arXiv:2610.24322v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Ralf L\"ammel
研究任务与主要进展
COATER 提出一种本体工程方法，通过可执行的审查组件将本体局部内容与相关外部资源比较，报告对公理的支持或挑战，并支持人工或 Agent 辅助分流。基于论文摘要，软件语言工程 FSL 本体案例涵盖语言覆盖、语言概念化和软件工程活动；在定义的 Wikipedia-linkage policy 下，LLM 辅助链接练习将合规实体数从405提升至600。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org