中文

FOI-O: 新西兰首个用于信息自由流程建模的本体与验证方法包

综合经济学 2026-07-03 v1 计算与语言

摘要

公共官员信息请求记录包含流程信号。它们可以支持研究、工作流审查和人工监督的代理辅助。然而,它们也混合了观察到的通信、平台状态、推断事件和法律结果。FOI-O是一种可复用的流程建模方法和验证基础设施,用于信息自由管理。基于新西兰《官方信息法》的FOI-O NZ是当前存储库中唯一实现并验证的司法管辖区配置文件。更广泛的复用是设计意图和未来验证路径,而非本包的经验结果。FOI-O首先对请求记录进行建模。请求配置文件、观察到的通信事件、受控词汇和来源信息使所见内容及其变更方式可见。然后,它添加了审查队列、发布元数据、受限代理契约、语义资产、流程模型工件和仅限夹具的流程挖掘交换示例。法律上有意义结果的人工认证保持在自主工具之外。该存储库提供JavaScript对象表示法(JSON)Schema契约、Python数据模型、简单知识组织系统(SKOS)词汇表、Web本体语言(OWL)、资源描述框架(RDF)和形状约束语言(SHACL)资产。这些由确定性示例、发布元数据、质量门、测试、业务流程模型和表示法(BPMN)和Petri网标记语言(PNML)流程模型、XES和OCEL风格夹具导出以及计划中的新西兰注释任务集清单支持。本文描述了动机、架构、本体开发方法、验证证据和实现边界。该项目不是法律建议,不是官方政府出版物,也不认证发布、拒绝、编辑、收费、延期、转移、投诉或发布结果。

关键词

引用

@article{arxiv.2607.02947,
  title  = {FOI-O: An NZ-first ontology and verification methods package for Freedom of Information process modelling},
  author = {Dylan A Mordaunt},
  journal= {arXiv preprint arXiv:2607.02947},
  year   = {2026}
}

备注

20 pages, ancillary supplement