KF 元模型形式化
人工智能
2014-12-23 v1 数据库
计算机科学中的逻辑
摘要
KF 元模型是一个全面的统一元模型，涵盖了 UML 类图（v2.4.1）、ER、EER、ORM 和 ORM2 的静态结构实体与约束，旨在提升常见概念数据建模语言的互操作性。它最初以带文本约束的 UML 设计，在本报告中，我们给出了其在 FOL 和 OWL 中的形式化，作为详细描述、讨论和分析 KF 元模型的论文的补充。这些新的形式化有助于赋予该元模型精确含义，理解其复杂性属性，并为未来实现提供基础。
引用
@article{arxiv.1412.6545,
title = {KF metamodel formalization},
author = {Pablo R. Fillottrani and C. Maria Keet},
journal= {arXiv preprint arXiv:1412.6545},
year = {2014}
}