中文

概念模型中频繁结构的挖掘

广义相对论与量子宇宙学 2025-02-14 v2 高能物理 - 理论 微分几何

摘要

使用结构化方法表示知识的问题在概念建模领域已为人所知,并且已研究了许多年。已证明采用建模模式是有效的结构方法。模式确实是可泛化的、可重复出现的结构,可作为设计问题的解决方案。它们有助于理解和改进创建模型的过程。使用模式在概念建模中的价值已在多个实验研究中得到证明。然而,在概念模型中发现模式被广泛认识为高度复杂的任务,且目前缺乏系统化的模式识别解决方案。本文提出了解决概念建模语言中发现频繁结构的通用方法。作为概念验证,我们通过聚焦于两种广泛使用的概念建模语言来实现该方法。该实现包括一个探索性工具,将频繁子图挖掘算法与图操作技术集成。该工具处理多个概念模型,并基于各种标准识别循环结构。我们使用两个领先的精选数据集进行验证:一个由OntoUML编码的模型组成,另一个由ArchiMate编码的模型组成。我们方法的主要目标是为语言工程师提供支持工具。该工具可用于识别有效和无效的建模实践,从而支持概念建模语言的精炼和演化。此外,它促进了已积累expertise的复用,最终支持在给定语言中创建更高质量的模型。

关键词

引用

@article{arxiv.2406.07128,
  title  = {Rigidity of the extremal Kerr-Newman horizon},
  author = {Alex Colling and David Katona and James Lucietti},
  journal= {arXiv preprint arXiv:2406.07128},
  year   = {2025}
}

备注

7 pages, v2: published version, references added, no change in results