Back to Search
Start Over
Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform
- Source :
- Electronic Proceedings in Theoretical Computer Science, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24-33. ⟨10.4204/EPTCS.271.2⟩, Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 24-33 (2018)
- Publication Year :
- 2018
-
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.<br />In Proceedings IMPEX 2017 and FM&MDD 2017, arXiv:1805.04636
- Subjects :
- FOS: Computer and information sciences
Computer Science - Logic in Computer Science
Computer science
Programming language
Computer Science - Artificial Intelligence
lcsh:Mathematics
020207 software engineering
02 engineering and technology
computer.software_genre
lcsh:QA1-939
[INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
lcsh:QA75.5-76.95
Logic in Computer Science (cs.LO)
Software Engineering (cs.SE)
Annotation
Computer Science - Software Engineering
Artificial Intelligence (cs.AI)
0202 electrical engineering, electronic engineering, information engineering
Domain knowledge
020201 artificial intelligence & image processing
lcsh:Electronic computers. Computer science
computer
Axiom
Subjects
Details
- Language :
- English
- ISSN :
- 20752180
- Database :
- OpenAIRE
- Journal :
- Electronic Proceedings in Theoretical Computer Science, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2018, Proceedings IMPEX 2017 and FM&MDD 2017, EPTCS 271, pp.24-33. ⟨10.4204/EPTCS.271.2⟩, Electronic Proceedings in Theoretical Computer Science, Vol 271, Iss Proc. IMPEX 2017 and FM&MDD 2017, Pp 24-33 (2018)
- Accession number :
- edsair.doi.dedup.....e4c29d85373d8b0ef75f782759d5404f
- Full Text :
- https://doi.org/10.4204/EPTCS.271.2⟩