轻量本体的代数
人工智能
2018-09-12 v1 计算机科学中的逻辑
摘要
本文主张，某些本体设计问题可通过将本体视为理论并定义一组从其他本体创建新本体（包括其约束）的操作而得到有益解决。本文首先展示了在本体复用语境中如何使用这些操作，如何利用这些操作比较不同本体或本体的不同版本，以及这些操作如何以自底向上的方式辅助设计中介模式。论文核心讨论了如何为轻量本体计算这些操作，并探讨了最小化轻量本体约束集的问题。最后，本文描述了这些操作作为 Prot\'eg\'e 插件的一种实现。
引用
@article{arxiv.1809.01621,
title = {An Algebra of Lightweight Ontologies},
author = {Marco A. Casanova and Rômulo Magalhães},
journal= {arXiv preprint arXiv:1809.01621},
year = {2018}
}