arXiv:2504.05951v1 宣告类型: 新 摘要: 合规检查是确定受监管实体是否遵守这些规定的过程。目前，合规检查主要依赖人工操作，需要大量的时间和高技能专家，仍然容易受到人为因素引起错误的影响。尽管已经探索了多种自动化合规检查的方法，但在OWL DL语言中表示规定并通过OWL推理进行合规检查的做法尚未被采用。在这项工作中，我们提出了一种注解方案和一个算法，将文本注解转换为机器可解释的OWL DL代码。通过在建筑施工领域示例上实施概念验证实现来验证提出的方法。