违规情形模式：合规违规的知识图谱模式

# 合规违规的知识图谱模式预印本. EKAW 2026审稿中. 来源: https://arxiv.org/html/2606.03326 11institutetext:DiliTrust，巴黎，法国 11email:\{nima\.kamali， fuqi\.song\}@dilitrust\.com22institutetext:信息系统与技术系，比尔肯大学，土耳其 22email:syedali@bilkent\.edu\.tr## 违规情境模式：合规违规的知识图谱模式††感谢：预印本. EKAW 2026审稿中. ###### 摘要合规管道将违规检测视为临时查询结果，而不将违规本身作为具有审核状态、受影响实体或审计历史的持久图对象保存。违规情境模式（VSP）填补了这一空白。基于Gangemi和Mika的情境模式，VSP将每个检测到的违规具体化为一个图节点，包含规则标识符、时间有效性区间、生命周期状态以及指向相关实体的证据链接。生命周期变迁存储为不可变的、符合PROV-O的事件，因此审计历史可以通过图遍历获得。我们在法律实体和合同生命周期属性图中实例化VSP，并通过FCL→Cypher→MERGE管道实现四个道义规则（V1未授权签名、V2过期授权、V3缺失保密条款、V4缺失违约通知条款）。我们使用BODACC公司高管出版物检查V1和V2，在73个GDPRhub执法决策上评估V4，并对V3和V4运行SHACL跨形式化检查。核心发现是规则体独立性：将V4从条款存在性检查扩展到截止日期检查，F1值从0.312提升至0.602，而模式的标识、生命周期和证据语义保持不变。这分离了模式贡献和检测器贡献，因此检测逻辑可以演变而不使累积的审计历史失效。 ## 1引言合规管道通常执行检测查询，返回一组标记结果，然后将它们丢弃。一旦查询完成，违规在图中不再作为持久实体存在。诸如原始检测时间、问题是否已被审查、拒绝或解决等信息，通常存储在外部工单或工作流系统中，与底层图数据分开。如果在稍后日期再次执行相同的查询，系统将产生相同的违规，而不会保留任何先前检测的记录。结果是，图可以表示合同、条款和签署人，但无法描述自身的合规历史。基于形状约束语言（SHACL）验证[1 (https://arxiv.org/html/2606.03326#bib.bib6)]和基于具体化通用数据保护条例（GDPR）表示的道义逻辑[17 (https://arxiv.org/html/2606.03326#bib.bib5)]的既定方法，在所需信息可用时，能有效识别违规，但两者都将违规视为临时查询结果，而非持久的图实体。知识图谱更普遍地将领域实体表示为持久的语义对象[8 (https://arxiv.org/html/2606.03326#bib.bib12)]，法律知识图谱将此方法应用于合同、条款、人员和签名[4 (https://arxiv.org/html/2606.03326#bib.bib2)，13 (https://arxiv.org/html/2606.03326#bib.bib11)]。这些实体产生的违规通常不以相同方式建模，因此图无法回答某个违规是否已被先前检测、审查或修复。违规情境模式（VSP）通过将每个检测到的违规表示为持久图节点解决了这个问题。每个违规节点包含规则标识符、由过时约束管理的时间有效性区间、用于审查和修复的有限状态生命周期，以及将违规与相关合同和人员关联的证据关系。该模式构建于Aldo Gangemi和Peter Mika提出的情境ODP[5 (https://arxiv.org/html/2606.03326#bib.bib1)]之上，并扩展了生命周期管理、过时处理和合规审计所需的显式身份条件。每个生命周期变迁都作为不可变的图事件存储，使得审计历史可以通过图遍历重构。将违规表示为持久的图实体改变了合规图能够回答的内容：重复检测会附加到现有事件而非产生重复记录，审查决策成为具有溯源意识的图事实，审计查询针对已包含合同和实体的同一模式运行。贡献如下： C1.定义了违规情境模式（VSP）——一种用于持久合规违规表示的图模式，定义为元组\(r,T,S,E\)，并基于情境ODP。 C2.具有显式变迁溯源和审计轨迹日志的生命周期模型：每个状态改变都是一个`LifecycleTransition`节点，包含参与者、原因和时间戳。 C3.跨领域验证：针对BODACC公司高管出版物进行公司授权合规性验证（V1未授权签名、V2过期授权），针对73个GDPRhub执法决策进行GDPR合规性验证（V4缺失DPA违约通知条款），以及通过SHACL跨形式化检查验证合同控制检测（V3缺失保密条款）。 C4.可移植性证据：对V3/V4进行SHACL跨形式化检查，并扩展词汇表。本工作的创新在于将持久身份、有限状态生命周期、不可变变迁溯源和多重参照证据关系组合成单个图模式；现有的本体设计模式单独覆盖这些属性，但没有一个将它们结合起来用于合规违规表示。 ## 2背景与问题设置 ### 2.1法律技术系统中的合规性大多数运营中的法律技术合规系统围绕警报驱动的工作流构建。规则作为查询在合同、治理数据集或过程记录上执行，生成的警报传递给合规人员进一步处理。审查、升级、驳回或修复等后续活动通常通过外部工单和工作流系统管理，而非在图中。结果，图存储诸如合同、组织、条款和签署人等实体，而它们生成的合规违规并未作为持久对象维护。治理需求不仅仅重复执行规则。在监管审查或审计期间，组织必须证明违规首次检测的时间、谁进行了评估以及如何解决。该历史很少存在于图中；它分散在电子邮件、电子表格和案例管理工具中，合规事件的生命周期无法仅从检测输出重构。 ### 2.2合规级表示的属性面向合规的表示需要三个核心属性：稳定身份、生命周期管理和不可变溯源。稳定身份确保当检测规则再次执行时，系统识别已有违规而非创建重复实例。生命周期管理记录违规的当前阶段，例如已检测、审查中、已确认、已修复或已驳回，以及每个状态相关的操作。不可变溯源确保每个变迁或决策成为审计历史的一部分，并可直接从存储数据重构。既定方法，包括SHACL `sh:ValidationReport`图、关系式警报仓库和事件驱动工单系统，单独支持其中一些能力。然而，没有一种方法在单个治理表示框架内结合所有三个。 ### 2.3法律知识图谱（LEM和CLM）DiliTrust的法律实体管理（LEM）捕获公司治理事实：公司、治理机构、带有任命和终止日期的授权，以及签署权限。合同生命周期管理（CLM）捕获合同级别事实，包括合同元数据、缔约方、签名和按类型分类的条款。为CLM摄入提供信息的条款边界和类型提取受到合同自然语言处理基准的启发，如CUAD[7 (https://arxiv.org/html/2606.03326#bib.bib3)]和ContractNLI[10 (https://arxiv.org/html/2606.03326#bib.bib4)]。这种形状的图支持实体级查询（谁在哪个董事会任职，公司签署了哪些合同），但合规检查是查询这些实体而非图中的事实。返回合同在无有效授权下签署的查询揭示了一个事实；该事实并未作为持久对象进入数据。 ### 2.4表示缺口在Aldo Gangemi和Peter Mika提出的框架[5 (https://arxiv.org/html/2606.03326#bib.bib1)]中，情境是连接实体、属性和时间范围的具体化上下文。检测到的合规违规符合此结构，因为它连接了规则、合同、条款或人员、检测时间以及随时间演变的审查状态。情境具体化在本体设计中已很成熟。然而，现有目录模式不包括合规特定需求，如生命周期自动机、不可变变迁历史、多重参照证据关系和过时约束。表1 (https://arxiv.org/html/2606.03326#S2.T1)比较了最接近的目录模式在四个标准上的表现：重复评估下的稳定身份、有限状态生命周期支持、不可变变迁跟踪和多重参照证据基数。没有一个同时满足所有四个。违规情境模式（VSP）通过扩展情境模式，增加生命周期自动机、过时约束和跨重复评估的显式身份机制，填补了这一缺口。 表 1：ODP目录缺口分析。列：ID = 跨重复评估的稳定身份；LC = 有限状态生命周期带命名变迁；AT = 不可变审计/变迁日志；EV = 多重参照证据基数。 ✓ = 直接提供；∼ = 部分提供；✗ = 未提供。模式（来源）IDLCATEVGap for VSPSituation / Description\+Situation[5 (https://arxiv.org/html/2606.03326#bib.bib1)]∼✗✗✓无身份、生命周期或变迁日志EventCore[11 (https://arxiv.org/html/2606.03326#bib.bib27)]✗✗✗∼仅时间点；无生命周期或AT日志TimeIndexedSituation (ODP目录)∼✗✗✓添加T；无S或AT日志TimeIndexedPersonRole (ODP目录)✓✗✗∼每个角色-期间有身份；无生命周期Participation / AgentRole (ODP目录)✗✗✗∼二元参与；无状态承载对象N-ary Relations[14 (https://arxiv.org/html/2606.03326#bib.bib19)]✓✗✗✓最接近的结构近亲；无LC或AT日志PROV-O `prov:Activity`[12 (https://arxiv.org/html/2606.03326#bib.bib14)]∼∼✓∼溯源轨迹；无原生LC状态或每个情境的变迁表我们审查了WOP 2023、2024（LKM会议录）和2025的论文集，以识别处理违规具体化、情境生命周期自动机或面向审计的检测事件的模式。未发现此类模式。WOP 2025的一个并行模式设计工作，ARGOS[15 (https://arxiv.org/html/2606.03326#bib.bib28)]，专注于LLM驱动应用和数据操作的治理模式，这与持久违规建模不同。这些扩展的组合对VSP目标的审计能力至关重要。重构违规的审查历史，包括被驳回后重新检测的情况，需要持久身份、生命周期状态管理和不可变变迁历史同时存在。 ## 3违规情境模式 参照图注图 1：违规情境模式。（a）模式组件：规则体（`r`）、带有`LifecycleTransition`日志的变迁（`T`）、状态（`S`）自动机和证据（`E`）。证据基数因规则而异；每个规则的细节见第4.3节。（b）五状态生命周期自动机。实线箭头表示前向变迁（人工审查或系统重新验证）；虚线箭头表示系统仅重新检测，从`REMEDIATED`或`DISMISSED`回到`DETECTED`。 ### 3.1模式直觉将每个检测到的违规视为图节点。节点具有稳定身份（使得重新评估可以识别它）、指向规则所涉及实体的证据边（使得违规可追溯）、生命周期状态（使得审查和修复可表达）以及使审计历史不可变的变迁日志。检测创建违规对象；审查和修复对其进行变迁；自动重新验证重新确认或释放它。 ### 3.2正式定义我们将违规情境模式定义为元组VSP=\(r,T,S,E\) (1)其中`r`是违规实例化的形式合同逻辑（FCL）规则标识符，`T=[detectedAt, validUntil]`是时间有效性区间，`S∈{DETECTED, CONFIRMED, UNDER_REVIEW, REMEDIATED, DISMISSED}`是生命周期状态，而`E`是一组证据边，将违规绑定到其参照实体。按照Presutti和Gangemi的ODP目录风格[16 (https://arxiv.org/html/2606.03326#bib.bib18)]： **上下文**。知识图谱中，重复的规则驱动检查产生检测事件，消费者需要历史查询而无需重新执行规则。 **解决方案**。将每个检测具体化为一个携带\(r,T,S,E\)的`ViolationInstance`节点。将其与不可变的`LifecycleTransition`类配对，使得投影（当前`ViolationInstance`状态）和事件日志（`LifecycleTransition`历史）都是图对象。在应用层强制两个不变量：只接受生命周期自动机中的变迁，并且`detectedAt`不可变。 **后果**。权衡是应用层（而非模式层）强制，以及属性图实现不直接支持OWL蕴涵。 **相关模式**。Situation[5 (https://arxiv.org/html/2606.03326#bib.bib1)]（祖先）；TimeIndexedPersonRole、Participation+AgentRole（参照节点模式）；PROV-O `prov:Activity`[12 (https://arxiv.org/html/2606.03326#bib.bib14)]（`LifecycleTransition`是属性图对应物）。 **能力查询**。\(r,T,S,E\)的组合支持无状态检测无法通过单次遍历回答的审计问题。例如：违规`v`是否先前被驳回后又重新检测？这是对`LifecycleTransition`日志的路径查询，条件为`fromStatus=DISMISSED`且`toStatus=DETECTED`；哪些违规在时间`t`处于活动状态？这是对`ViolationInstance`的时间窗口查询，限制条件`detectedAt ≤ t ≤ validUntil`；哪些实体共同涉及两个或更多未解决违规？这是跨规则特定证据边的多跳连接。在无状态检测下，这些需要关联外部工单或工作流系统与底层图；而在VSP下，每个都是一个Cypher遍历。 **重新评估下的属性**。 命题1（重新评估幂等性）。令κ\(r,x\)=\(r\.id, evidence\_key\(x\)\)为违规实例的唯一身份。在重新评估中，如果具有相同κ的