Razieh Mehri | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Volker Haarslev
5 publications
Hamidreza Chinaei
4 publications

research

∙ 04/20/2019

Learning the Right Expansion-ordering Heuristics for Satisfiability Testing in OWL Reasoners

Web Ontology Language (OWL) reasoners are used to infer new logical rela...

0 Razieh Mehri, et al. ∙

research

∙ 10/15/2018

Optimizing Heuristics for Tableau-based OWL Reasoners

Optimization techniques play a significant role in improving description...

0 Razieh Mehri, et al. ∙

Success!

An error occurred