@article{ameur_formal_2018,
	title = {Formal {Modelling} of {Ontologies} : {An} {Event}-{B} based {Approach} {Using} the {Rodin} {Platform}},
	volume = {271},
	issn = {2075-2180},
	shorttitle = {Formal {Modelling} of {Ontologies}},
	url = {http://arxiv.org/abs/1805.05518},
	doi = {10/ghwgbh},
	abstract = {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.},
	urldate = {2021-01-28},
	journal = {Electronic Proceedings in Theoretical Computer Science},
	author = {Ameur, Yamine Ait and Sadoune, Idir Ait and Hacid, Kahina and Oussaid, Linda Mohand},
	month = may,
	year = {2018},
	keywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, ⛔ No DOI found},
	pages = {24--33},
}

{"_id":"ZKFHs9RXJTMK7prcA","bibbaseid":"ameur-sadoune-hacid-oussaid-formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform-2018","author_short":["Ameur, Y. A.","Sadoune, I. A.","Hacid, K.","Oussaid, L. M."],"bibdata":{"bibtype":"article","type":"article","title":"Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform","volume":"271","issn":"2075-2180","shorttitle":"Formal Modelling of Ontologies","url":"http://arxiv.org/abs/1805.05518","doi":"10/ghwgbh","abstract":"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.","urldate":"2021-01-28","journal":"Electronic Proceedings in Theoretical Computer Science","author":[{"propositions":[],"lastnames":["Ameur"],"firstnames":["Yamine","Ait"],"suffixes":[]},{"propositions":[],"lastnames":["Sadoune"],"firstnames":["Idir","Ait"],"suffixes":[]},{"propositions":[],"lastnames":["Hacid"],"firstnames":["Kahina"],"suffixes":[]},{"propositions":[],"lastnames":["Oussaid"],"firstnames":["Linda","Mohand"],"suffixes":[]}],"month":"May","year":"2018","keywords":"Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, ⛔ No DOI found","pages":"24–33","bibtex":"@article{ameur_formal_2018,\n\ttitle = {Formal {Modelling} of {Ontologies} : {An} {Event}-{B} based {Approach} {Using} the {Rodin} {Platform}},\n\tvolume = {271},\n\tissn = {2075-2180},\n\tshorttitle = {Formal {Modelling} of {Ontologies}},\n\turl = {http://arxiv.org/abs/1805.05518},\n\tdoi = {10/ghwgbh},\n\tabstract = {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.},\n\turldate = {2021-01-28},\n\tjournal = {Electronic Proceedings in Theoretical Computer Science},\n\tauthor = {Ameur, Yamine Ait and Sadoune, Idir Ait and Hacid, Kahina and Oussaid, Linda Mohand},\n\tmonth = may,\n\tyear = {2018},\n\tkeywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, Computer Science - Software Engineering, ⛔ No DOI found},\n\tpages = {24--33},\n}\n\n","author_short":["Ameur, Y. A.","Sadoune, I. A.","Hacid, K.","Oussaid, L. M."],"key":"ameur_formal_2018","id":"ameur_formal_2018","bibbaseid":"ameur-sadoune-hacid-oussaid-formalmodellingofontologiesaneventbbasedapproachusingtherodinplatform-2018","role":"author","urls":{"Paper":"http://arxiv.org/abs/1805.05518"},"keyword":["Computer Science - Artificial Intelligence","Computer Science - Logic in Computer Science","Computer Science - Software Engineering","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["computer science - artificial intelligence","computer science - logic in computer science","computer science - software engineering","⛔ no doi found"],"search_terms":["formal","modelling","ontologies","event","based","approach","using","rodin","platform","ameur","sadoune","hacid","oussaid"],"title":"Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform","year":2018}