Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform

Autor:	Ameur, Yamine Ait, Sadoune, Idir Ait, Hacid, Kahina, Oussaid, Linda Mohand
Rok vydání:	2018
Předmět:	Computer Science - Software Engineering Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science
Zdroj:	EPTCS 271, 2018, pp. 24-33
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.271.2
Popis:	This paper reports on the results of the French ANR IMPEX research project dealing with making explicit domain knowledge in design models. Ontologies are formalised as theories with sets, axioms, theorems and reasoning rules. They are integrated to design models through an annotation mechanism. Event-B has been chosen as the ground formal modelling technique for all our developments. In this paper, we particularly describe how ontologies are formalised as Event-B theories. Comment: In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1805.05518 Zobrazit plný text záznamu View this record from Arxiv