arXiv Artificial Intelligence· Ralf L\"ammel·· 2 小时前AI 评分22
COATER：用外部资源持续保障本体论——软件语言工程案例研究
Continuous Ontology Assurance through External Resources -- An Ontology Engineering Method with a Case Study in Software Language Engineering
AI 导读
COATER 方法通过可执行的“arrows”审查组件，将本体论局部与外部资源比对，报告对公理的支撑或挑战，挑战可转为人工或智能体辅助分诊的任务。在软件语言工程（SLE）的 FSL 本体论案例中，arrows 审查语言覆盖、语言概念化和软件工程活动；LLM 辅助的链接练习将符合既定 Wikipedia 链接策略的实体从 600 个中的 405 个提升至 600 个。
来源：arXiv Artificial Intelligence · arxiv.org