《Computers》：From Rule Engines to Ontologies: An OWL 2 DL Approach for Domain-Specific Evaluation Information Systems
编辑推荐：
领域特定信息系统通常将自身的数据模型、规则库及应用基础设施作为分离的制品加以维护，这使维护与部署前验证变得复杂。本研究探究这些制品能否在不改变预期分类结果的前提下，统一至一个可验证的本体到代码管道中。所提出的模型驱动架构采用业务应用构建器（Business A
领域特定信息系统通常将自身的数据模型、规则库及应用基础设施作为分离的制品加以维护，这使维护与部署前验证变得复杂。本研究探究这些制品能否在不改变预期分类结果的前提下，统一至一个可验证的本体到代码管道中。所提出的模型驱动架构采用业务应用构建器（Business Application Builder，BAB）框架与一个Web本体语言2描述逻辑（Web Ontology Language 2 Description Logic，OWL 2 DL）本体来表示领域结构、分类规则与生成元数据。在代码生成之前，HermiT推理机在开放世界语义下验证一致性（consistency）、可满足性（satisfiability）与包含关系（subsumption）。生成器产生持久层、业务逻辑层、数据传输层与表示层，而生成的Java应用程序在封闭世界语义下评估已存储的记录，并使用本体声明优先级解决重叠类别。在一项塞尔维亚研究评估案例研究中，生成系统复现了已有Jess实现的M30与M33分类。一项内部二次实验生成并执行了一个产前诊断应用；全部六个运行时分类均匹配HermiT的蕴涵与预期结果。公共制品独立复现了本体层面的实验，但排除了专有生成器与生成源代码。结果支持本体驱动生成对静态分类系统的可行性，而算术风险计算与时序事件处理仍更适合由互补的过程性技术承担。未声称性能优越性。
论文解读
**研究背景、存在问题与开展研究的动机**
在众多领域特定信息系统中，核心挑战在于将专家知识编码为机器可执行的规则。传统方法依赖过程性规则引擎（如CLIPS、Jess、Drools），这些系统普遍遵循“三制品模式”：领域数据模型、规则库及应用基础设施作为三个独立制品，分别以不同语言（如Java、引擎专用规则语言、SQL）编写，彼此之间缺乏共享的正式来源。这种模式带来三个固有局限：第一，缺乏验证规则库内部一致性的正式机制，矛盾规则只能在测试或部署后才能发现；第二，领域知识变更需要跨三个制品手动协调更新，维护负担随系统复杂度增长；第三，引擎专用规则语言造成互操作性障碍，不同引擎的规则无法相互消费，也不支持对整个规则库进行形式化推理。模型驱动架构（MDA）虽然提供了从平台无关模型（PIM）到生成代码的链条，但其主流工具链（UML+QVT）存在形式化严谨性不足、转换脚本难以验证等问题。本研究旨在探究能否将数据模型、分类规则与生成元数据统一在单个可验证的OWL 2 DL本体中，并通过确定性代码生成产生完整的多层信息系统，从而解决上述三制品模式带来的架构性局限。
**研究内容、结论与意义**
研究人员提出基于业务应用构建器（BAB）框架的替代方案。该方案以OWL 2 DL本体作为PIM，使用描述逻辑推理机HermiT在代码生成前验证本体一致性、类可满足性与包含关系，并通过BAB代码生成器自动产生持久层、业务逻辑层、数据传输层与表示层。在塞尔维亚研究评估案例（ICIST 2014）中，生成系统复现了已有Jess实现（M30、M33）的分类结果。在产前诊断领域，通过六条合成记录的内部端到端实验，所有运行时分类均匹配HermiT蕴涵与预期结果。结果支持本体驱动生成对静态分类系统的可行性，而算术风险计算与时序事件处理仍需过程性技术。论文发表在《Computers》。重要意义在于：证明了本体驱动开发可替代传统过程性规则引擎用于静态分类系统，统一了领域模型、规则定义与实现元数据，提供了可验证的、可追溯的、互操作（基于W3C标准）的软件开发管道，并指出了与过程性技术混合适用的边界。
**主要关键技术方法**
研究人员使用了以下关键技术方法：（1）BAB框架，包含BAB Core本体（作为PIM）与BABj平台特定本体（PSM，针对Jakarta EE/Vaadin栈）；（2）OWL 2 DL本体，用于表示领域实体、分类规则与生成元数据，分类规则编码为OWL定义的类（等价于必要且充分条件）；（3）HermiT推理机，在开放世界语义下进行一致性、可满足性与包含关系验证；（4）SPARQL查询，用于从本体中提取结构信息；（5）Apache FreeMarker模板，根据SPARQL查询结果生成Java源文件。样本来源：塞尔维亚研究评估案例（ICIST 2014会议论文，数据来自公开规则簿）与产前诊断合成记录（六条，非患者数据）。生成器为专有工具，未公开。
**研究结果**
**6.2.1 第一阶段：预生成推理**。HermiT对研究评估本体进行推理，确认本体一致、所有六个领域类与三个定义的评价类可满足，并产生包含层次：InternationalConference ? NationalConference，这证实了优先级分辨率步骤的必要性。
**6.2.2 第二阶段：代码生成**。BAB生成器处理所有babcore:Entity子类，通过BABj PSM本体产生持久层、服务层、数据传输层与表示层的Java源文件，生成过程确定性。
**6.2.3 第三阶段：评估执行**。生成的系统部署后，输入ICIST 2014数据，运行时分类：会议被归类为InternationalConference（M30），论文被归类为FullPaperAtInternationalConference（M33），与Jess实现结果一致。
**6.3 三路比较分析**。对比Jess、Drools与BAB三种架构，确认三制品模式的两个改进（无形式验证、手动同步、引擎专用格式）在Jess与Drools中共存，而BAB方法解决了这些局限；Drools在运行时灵活性与CEP时序事件处理方面保留独特优势。
**6.4 故障注入验证**。向本体注入五种代表性故障：F1（缺少必要数据）、F2（未满足阈值）、F3（数据类型冲突）、F4（不相交冲突）、F5（矛盾类定义）。DL推理机检测到F3、F4、F5；F1与F2由生成的Java验证在封闭世界语义下处理。结果表明语义错误在代码生成前被拒绝。
**6.5 跨领域验证**。产前诊断本体经HermiT验证一致、类可满足，且推断出Eclampsia ? Preeclampsia。六条合成记录（P1、P2阳性，B1、N1、N2、N3阴性）在生成系统中的运行分类均匹配HermiT蕴涵与预期结果，且无需修改BAB生成器。
**6.6 部分时间测量**。HermiT推理平均约1.37–1.47秒，代码生成平均约0.10–0.11秒（研究评估本体44个文件，产前诊断本体24个文件）。测量仅作描述性证据，不声称性能优越性。
**讨论与结论**
讨论部分指出：三制品模式是架构性反模式，BAB将其统一至单个本体；本体形式化并非普遍优越，而是适用于静态分类规则，算术计算与CEP更适合过程性引擎；混合架构是更现实的方向。局限性包括：验证范围限于两个案例；OWL 2 DL无法表达算术与时间推理；优先级分辨率需过程性后处理步骤；生成代码以可维护性为优先；学习曲线较高；BAB框架尚未独立规模评估。结论部分翻译如下：本研究检验了能否从OWL 2 DL源模型生成基于规则的信息系统，而不是围绕单独维护的数据模型、规则库与应用层来构建。通过分析两个代表性系统（基于Jess的研究评估系统与基于Drools的妊娠监测系统），研究人员识别出跨领域、跨年代、跨规则引擎的重复性三制品架构模式。该重复性架构模式暴露了独立于底层规则引擎的常见软件工程挑战。在BAB设置中，领域模型、规则定义与生成元数据表示在一个基于OWL的源模型中。在ICIST 2014塞尔维亚研究评估案例上验证，生成系统产生与Jess实现相同的结果（M30、M33），同时在部署前提供了逻辑一致性、可满足性与包含关系检查，这些能力在传统过程性规则引擎开发中不可用。该方法还实现了从领域公理到可执行制品的完全可追溯性，以及基于W3C标准（RDF、OWL、SPARQL）的互操作性。三路比较分析表明，过程性规则开发的局限是架构性的而非引擎特定的：Jess与Drools都缺乏形式验证、手动同步负担与引擎专用规则格式。本体方法解决了分类型规则的这些局限，而过程性引擎在算术计算与实时CEP能力方面保持优势。一次产前诊断领域的内部端到端二次实验提供了额外的可行性证据，表明同一本体到代码管道可在无需框架级修改的情况下跨领域迁移。不变BAB生成器产生了产前应用，六条验证记录的执行复现了HermiT蕴涵与预期诊断结果。两个实验共同表明该方法不限于最初的研究评估案例，可能支持静态分类系统的跨领域迁移。公共制品支持本体层验证的独立复现，而专有生成器执行保持内部评估。未来工作分为三个阶段：第一阶段将加强经验验证，包括受控对比实验、更大规模本体与数据集；第二阶段将扩展支持验证与决策语义（如SWRL、DMN、SHACL）；第三阶段将研究混合与辅助开发工作流，包括与Drools CEP模块集成以及LLM辅助规则获取与验证。可重用的架构模式包括五个阶段：（1）将领域模型、分类规则与生成元数据表示在基于OWL的PIM中；（2）在开放世界语义下验证一致性、可满足性与包含关系；（3）将验证模型投影到平台特定本体；（4）生成持久层、服务层、数据传输层与表示层；（5）在生成的Java应用中在封闭世界运行时语义下评估已存储记录，随后确定性解决重叠类别。该模式适用于主要业务规则对结构化记录进行分类的信息系统，而算术、概率或时间规则可委托给互补组件。总之，本研究证明，基于形式化DL推理与确定性代码生成的本体驱动开发，为静态分类系统提供了可行且有利的替代方案，以替代基于过程性规则引擎的开发。通过将领域模型、声明式规则定义与实现元数据统一在单个可验证的源制品中，所提出的方法解决了传统基于规则系统的架构局限，增强了可维护性与可追溯性，并为未来结合本体推理与过程性事件处理的混合架构奠定了基础。
