Formal Modelling of Ontologies : An Event-B based Approach Using the Rodin Platform.
Yamine Aït AmeurIdir Aït-SadouneKahina HacidLinda Mohand-OussaïdPublished in: IMPEX/FM&MDD (2017)
Keyphrases
- machine processable
- formal ontologies
- semantic web
- formal representation
- event detection
- ontological engineering
- event driven
- real time
- semantic mapping
- formal methods
- knowledge base
- knowledge representation
- news articles
- logical reasoning
- conceptual graphs
- formal model
- semantic web technologies
- event recognition
- domain ontology
- precisely defined
- ontology alignment
- collaborative editing
- fuzzy ontology
- ontology matching
- distributed architecture
- owl ontologies
- domain specific
- natural language processing
- information extraction
- artificial intelligence
- databases