Scifaro

中文

本体的形式化建模：一种基于 Event-B 并使用 Rodin 平台的方法

软件工程 2018-05-16 v1 人工智能计算机科学中的逻辑

作者: Yamine Ait Ameur , Idir Ait Sadoune , Kahina Hacid , Linda Mohand Oussaid

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

本文报告了法国 ANR IMPEX 研究项目关于在设计模型中显式化领域知识的结果。本体被形式化为具有集合、公理、定理和推理规则的理论。它们通过一种标注机制集成到设计模型中。Event-B 被选为我们所有开发的基础形式化建模技术。在本文中，我们特别描述了本体如何被形式化为 Event-B 理论。

关键词

本体形式化建模 Event-B Rodin 平台领域知识理论标注机制

引用

@article{arxiv.1805.05518,
  title  = {Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform},
  author = {Yamine Ait Ameur and Idir Ait Sadoune and Kahina Hacid and Linda Mohand Oussaid},
  journal= {arXiv preprint arXiv:1805.05518},
  year   = {2018}
}

备注

In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636