Login / Signup
Formalizing Ontologies for AI Models Validation: from OWL to Event-B.
Mohamed Ould Bah
Zakaryae Boudi
Mohamed Toub
Abderrahim Ait Wakrime
Ghassane Aniba
Published in:
ICSC (2021)
Keyphrases
</>
knowledge representation
semantic web
artificial intelligence
knowledge base
statistical models
model validation
probabilistic model
domain specific
owl ontologies
ai systems
model selection
semantic web technologies
conceptual models
reasoning systems