将法规文本转为可机器推理的OWL DL代码，实现自动合规检查
Representing Normative Regulations in OWL DL for Automated Compliance Checking Supported by Text Annotation
- 设计文本标注方案，将自然语言法规转化为OWL DL格式
- 通过建筑领域实例验证，实现基于逻辑推理的合规性自动判断
- 适合法律与合规自动化研究者，尤其是知识表示方向
合规检查是判断受监管实体是否遵守法规的过程。目前该过程主要依赖人工，耗时长且易因人为因素出错。尽管已有多种自动化方法被探索，但将法规以OWL DL语言表示并利用其推理能力进行合规检查尚未普及。本文提出一种标注模式和算法，可将文本标注转化为机器可读的OWL DL代码。该方法通过一个概念验证实现，应用于建筑施工领域的实例，证明了其可行性。
原文摘要 · Abstract (English)
Compliance checking is the process of determining whether a regulated entity adheres to these regulations. Currently, compliance checking is predominantly manual, requiring significant time and highly skilled experts, while still being prone to errors caused by the human factor. Various approaches have been explored to automate compliance checking, however, representing regulations in OWL DL language which enables compliance checking through OWL reasoning has not been adopted. In this work, we propose an annotation schema and an algorithm that transforms text annotations into machine-interpretable OWL DL code. The proposed approach is validated through a proof-of-concept implementation applied to examples from the building construction domain.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。